Ashutosh Trivedi -

Not registered as user yet

Name:Ashutosh Trivedi

Contributions

SAS 2021	Author of Selectively-Amortized Resource Bounding within the SAS-track
ICSE 2022	Author of Fairness-aware Configuration of Machine Learning Libraries within the Technical Track-track
ISSTA 2020	Author of Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries within the Technical Papers-track
VMCAI 2019	Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
TACAS 2019	Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track