conf.researchr.org / Ravi Mangal
Ravi Mangal

Registered user since Mon 4 Dec 2017

Name: Ravi Mangal

Country: United States

Affiliation: Georgia Institute of Technology

Personal website: https://www.cc.gatech.edu/~rmangal3/

Research interests: Programming Languages

Contributions

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