Ravi Mangal

According to our database, Ravi Mangal authored at least 26 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

IEEE Trans. Software Eng., June, 2024

Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach.

Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha

CoRR, 2024

Concept-Based Analysis of Neural Networks via Vision-Language Models.

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu

Proceedings of the AI Verification - First International Symposium, 2024

2023

Transfer Attacks and Defenses for Large Language Models on Coding Tasks.

Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu

CoRR, 2023

Is Certifying 𝓁_p Robustness Still Worthwhile?

Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson

CoRR, 2023

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

CoRR, 2023

Assumption Generation for Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Proceedings of the Runtime Verification - 23rd International Conference, 2023

On the Perils of Cascading Robust Classifiers.

Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Feature-Guided Analysis of Neural Networks.

Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Degradation Attacks on Certifiably Robust Neural Networks.

Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Trans. Mach. Learn. Res., 2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

CoRR, 2022

A Cascade of Checkers for Run-time Certification of Local Robustness.

Ravi Mangal, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Self-correcting Neural Networks for Safe Classification.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Reasoning about programs in statistically modeled first-order environments.

Ravi Mangal

PhD thesis, 2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

CoRR, 2021

2020

Probabilistic Lipschitz Analysis of Neural Networks.

Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Robustness of neural networks: a probabilistic and practical approach.

Ravi Mangal, Aditya V. Nori, Alessandro Orso

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2016

Query-guided maximum satisfiability.

Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Accelerating program analyses by cross-program training.

Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Scaling Relational Inference Using Proofs and Refutations.

Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A user-guided approach to program analysis.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Hybrid top-down and bottom-up interprocedural analysis.

Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.

Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2014