Ravi Mangal

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 23

Top Topics

Maximum Satisfiability

Top Venues

Publications

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR (2024)
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50 (6) (2024)
Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach. CoRR (2024)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for Learning-Enabled Autonomous Systems. RV (2023)
Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
Transfer Attacks and Defenses for Large Language Models on Coding Tasks. CoRR (2023)
Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huanfeng Yu
Feature-Guided Analysis of Neural Networks. FASE (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR (2023)
Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
Robustness Still Worthwhile? CoRR (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR (2023)
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
On the Perils of Cascading Robust Classifiers. ICLR (2023)
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR (2022)
Ravi Mangal, Corina S. Pasareanu
A Cascade of Checkers for Run-time Certification of Local Robustness. NSV/FoMLAS@CAV (2022)
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Self-correcting Neural Networks for Safe Classification. NSV/FoMLAS@CAV (2022)
Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Degradation Attacks on Certifiably Robust Neural Networks. Trans. Mach. Learn. Res. 2022 (2022)
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
On the Perils of Cascading Robust Classifiers. CoRR (2022)
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair. CoRR (2021)
Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso
Probabilistic Lipschitz Analysis of Neural Networks. SAS (2020)
Ravi Mangal, Aditya V. Nori, Alessandro Orso
Robustness of Neural Networks: A Probabilistic and Practical Approach. CoRR (2019)
Ravi Mangal, Aditya V. Nori, Alessandro Orso
Robustness of neural networks: a probabilistic and practical approach. ICSE (NIER) (2019)
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
Query-guided maximum satisfiability. POPL (2016)
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
Accelerating program analyses by cross-program training. OOPSLA (2016)
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
Scaling Relational Inference Using Proofs and Refutations. AAAI (2016)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
A user-guided approach to program analysis. ESEC/SIGSOFT FSE (2015)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. SAT (2015)
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
Hybrid top-down and bottom-up interprocedural analysis. PLDI (2014)
Ravi Mangal, Mayur Naik, Hongseok Yang
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. ESOP (2014)
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
On abstraction refinement for program analyses in Datalog. PLDI (2014)
Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV (2014)