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
792014
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
642015
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
392014
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
202016
A correspondence between two approaches to interprocedural analysis in the presence of join
R Mangal, M Naik, H Yang
European Symposium on Programming Languages and Systems, 513-533, 2014
112014
Scaling Relational Inference Using Proofs and Refutations.
R Mangal, X Zhang, A Kamath, AV Nori, M Naik
AAAI, 3278-3286, 2016
102016
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
92019
Volt: A lazy grounding framework for solving very large MaxSAT instances
R Mangal, X Zhang, AV Nori, M Naik
International Conference on Theory and Applications of Satisfiability …, 2015
92015
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
82016
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
12018
Solving weighted constraints with applications to program analysis
R Mangal, X Zhang, M Naik, A Nori
Georgia Institute of Technology, 2015
12015
Observational Abstract Interpreters
R MANGAL
Probabilistic Lipschitz Analysis of Neural Networks
R Mangal, K Sarangmath, AV Nori, A Orso
On Optimally Combining Static and Dynamic Analyses For Intensional Program Properties
R Mangal, D Devecsery, A Orso
The system can't perform the operation now. Try again later.
Articles 1–14