Ravi Mangal
TitleCited byYear
On abstraction refinement for program analyses in Datalog
X Zhang, R Mangal, R Grigore, M Naik, H Yang
ACM SIGPLAN Notices 49 (6), 239-248, 2014
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
Hybrid top-down and bottom-up interprocedural analysis
X Zhang, R Mangal, M Naik, H Yang
ACM SIGPLAN Notices 49 (6), 249-258, 2014
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
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
Scaling relational inference using proofs and refutations
R Mangal, X Zhang, A Kamath, AV Nori, M Naik
Thirtieth AAAI Conference on Artificial Intelligence, 2016
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
Query-guided maximum satisfiability
X Zhang, R Mangal, AV Nori, M Naik
ACM SIGPLAN Notices 51 (1), 109-122, 2016
Robustness of neural networks: a probabilistic and practical approach
R Mangal, AV Nori, A Orso
Proceedings of the 41st International Conference on Software Engineering …, 2019
Solving weighted constraints with applications to program analysis
R Mangal, X Zhang, M Naik, A Nori
Georgia Institute of Technology, 2015
Georgia Institute of Technology
R Mangal
A User-Guided Approach to Program Analysis
X Zhang, R Mangal, A Nori, M Naik
On Optimally Combining Static and Dynamic Analyses For Intensional Program Properties
R Mangal, D Devecsery, A Orso
Towards Flexible Offloading in Mobile-Cloud Computing
X Zhang, X Si, R Mangal, H Esmaeilzadeh, M Naik
The system can't perform the operation now. Try again later.
Articles 1–14