Ravi Mangal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
15
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? | Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen |
| 2025 | CAIN | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). | Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha |
| 2025 | CAIN | Random Perturbation Attack on LLMs for Code Generation. | Qiulu Peng, Chi Zhang, Ravi Mangal, Corina S. Pasareanu, Limin Jia |
| 2025 | ICML | Validating Mechanistic Interpretations: An Axiomatic Approach. | Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha |
| 2025 | RV | Conformal Safety Shielding for Imperfect-Perception Agents. | William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal |
| 2023 | CAV | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
| 2023 | FASE | Feature-Guided Analysis of Neural Networks. | Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | ICLR | On the Perils of Cascading Robust Classifiers. | Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson |
| 2023 | RV | Assumption Generation for Learning-Enabled Autonomous Systems. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
| 2022 | CAV | Self-correcting Neural Networks for Safe Classification. | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2022 | CAV | A Cascade of Checkers for Run-time Certification of Local Robustness. | Ravi Mangal, Corina S. Pasareanu |
| 2020 | SAS | Probabilistic Lipschitz Analysis of Neural Networks. | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
| 2019 | ICSE | Robustness of neural networks: a probabilistic and practical approach. | Ravi Mangal, Aditya V. Nori, Alessandro Orso |
| 2016 | AAAI | Scaling Relational Inference Using Proofs and Refutations. | Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik |
| 2016 | OOPSLA | Accelerating program analyses by cross-program training. | Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik |
| 2016 | POPL | Query-guided maximum satisfiability. | Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik |
| 2015 | SAT | Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. | Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik |
| 2014 | ESOP | A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. | Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | PLDI | On abstraction refinement for program analyses in Datalog. | Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
| 2014 | PLDI | Hybrid top-down and bottom-up interprocedural analysis. | Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang |