Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aditya Nori
conf.researchr.org general profile
ECOOP 2015 profile
ICSE 2019 profile
PEPM 2015 profile
PLDI 2015 profile
POPL 2016 profile
POPL 2019 profile
SPLASH 2017 profile
SPLASH 2020 profile
Registered user since Thu 13 Nov 2014
Name:
Aditya Nori
Contributions
2020
Static Analysis Symposium
Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track
2019
ICSE
Author of Robustness of Neural Networks: A Probabilistic and Practical Perspective within the New Ideas and Emerging Results-track
2017
SPLASH
Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track
2016
POPL
Session Chair of Track 2: Probabilistic and statistical analysis (part of Research Papers)
Author of Query-Guided Maximum Satisfiability within the Research Papers-track
2015
ML4PL
Committee Member in Program committee within the ML4PL-track
PLDI
Author of Efficient Synthesis of Probabilistic Programs within the Research Papers-track
PEPM
Author of Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources within the PEPM 2015-track
Share
x
Fri 16 May 18:13
