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
762014
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
582015
Hybrid top-down and bottom-up interprocedural analysis
X Zhang, R Mangal, M Naik, H Yang
ACM SIGPLAN Notices 49 (6), 249-258, 2014
302014
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
172016
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
Thirtieth AAAI Conference on Artificial Intelligence, 2016
82016
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
72015
Query-guided maximum satisfiability
X Zhang, R Mangal, AV Nori, M Naik
ACM SIGPLAN Notices 51 (1), 109-122, 2016
62016
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
12019
Solving weighted constraints with applications to program analysis
R Mangal, X Zhang, M Naik, A Nori
Georgia Institute of Technology, 2015
12015
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