Follow
Ravi Mangal
Title
Cited by
Cited by
Year
On abstraction refinement for program analyses in Datalog
X Zhang, R Mangal, R Grigore, M Naik, H Yang
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
942014
A user-guided approach to program analysis
R Mangal, X Zhang, AV Nori, M Naik
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
902015
Robustness of neural networks: A probabilistic and practical approach
R Mangal, AV Nori, A Orso
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
482019
Hybrid top-down and bottom-up interprocedural analysis
X Zhang, R Mangal, M Naik, H Yang
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
452014
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
232016
A correspondence between two approaches to interprocedural analysis in the presence of join
R Mangal, M Naik, H Yang
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
152014
Scaling relational inference using proofs and refutations
R Mangal, X Zhang, A Kamath, AV Nori, M Naik
Thirtieth AAAI Conference on Artificial Intelligence, 2016
132016
Query-guided maximum satisfiability
X Zhang, R Mangal, AV Nori, M Naik
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
112016
Volt: A lazy grounding framework for solving very large MaxSAT instances
R Mangal, X Zhang, AV Nori, M Naik
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
112015
Probabilistic Lipschitz analysis of neural networks
R Mangal, K Sarangmath, AV Nori, A Orso
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2021
82021
Self-Correcting Neural Networks For Safe Classification
K Leino, A Fromherz, R Mangal, M Fredrikson, B Parno, C Păsăreanu
Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2022
4*2022
Creating an interprocedural analyst-oriented data flow representation for binary analysts (CIAO)
MA Leger, KM Butler, D Bueno, M Crepeau, C Cuellar, MJ Haas, ...
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2018
22018
Discrete-event controller synthesis for autonomous systems with deep-learning perception components
R Calinescu, C Imrie, R Mangal, C Păsăreanu, MA Santana, G Vázquez
arXiv preprint arXiv:2202.03360, 2022
12022
Reasoning about programs in statistically modeled first-order environments
R Mangal
Georgia Institute of Technology, 2020
12020
Solving weighted constraints with applications to program analysis
R Mangal, X Zhang, M Naik, A Nori
Georgia Institute of Technology, 2015
12015
On the Perils of Cascading Robust Classifiers
R Mangal, Z Wang, C Zhang, K Leino, C Pasareanu, M Fredrikson
arXiv preprint arXiv:2206.00278, 2022
2022
A Cascade of Checkers for Run-Time Certification of Local Robustness
R Mangal, C Păsăreanu
Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2022
2022
Observational Abstract Interpreters
R Mangal
2020
Checking Probabilistic Properties of Neural Networks via Symbolic Methods and Sampling
R Mangal, AV Nori, A Orso
First ICSE Workshop on Testing for Deep Learning and Deep Learning for …, 2019
2019
Degradation Attacks on Certifiably Robust Neural Networks
K Leino, C Zhang, R Mangal, M Fredrikson, B Parno, C Pasareanu
Transactions of Machine Learning Research, 0
The system can't perform the operation now. Try again later.
Articles 1–20