• Sign in
  • Sign up
conf.researchr.org / Ravi Mangal
  • ECOOP and ISSTA 2018 profile
  • ICSE 2019 profile
  • POPL 2016 profile
  • POPL 2020 profile
  • SPLASH 2016 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
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

Share
xFri 2 Jun 02:55
using conf.researchr.org (v1.60.0)
Support page
Sign Up