Ravi Mangal -

Registered user since Mon 4 Dec 2017

Name:Ravi Mangal

Country:United States

Affiliation:Carnegie Mellon University

Personal website:https://www.andrew.cmu.edu/user/rmangal/

Research interests:Program Verification, Trustworthy Machine Learning

Contributions

SPLASH 2020	Mentor in Mentors within the PLMW-track
SAS 2020	Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2019	Author of Robustness of Neural Networks: A Probabilistic and Practical Perspective within the New Ideas and Emerging Results-track
ISSTA 2018	Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
SPLASH 2017	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2016	Author of Accelerating Program Analyses by Cross-Program Training within the OOPSLA-track Programme Committee in Program Committee within the OOPSLA Artifacts-track
POPL 2016	Author of Query-Guided Maximum Satisfiability within the Research Papers-track