| 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 | 105 | 2015 |
| 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 | 99 | 2014 |
| 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 | 78 | 2019 |
| 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 | 51 | 2014 |
| Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016 | 25 | 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 | 20 | 2014 |
| Closed-loop analysis of vision-based autonomous systems: A case study CS Păsăreanu, R Mangal, D Gopinath, S Getir Yaman, C Imrie, ... International Conference on Computer Aided Verification, 289-303, 2023 | 15 | 2023 |
| 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 | 13 | 2015 |
| Probabilistic Lipschitz analysis of neural networks R Mangal, K Sarangmath, AV Nori, A Orso Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020 | 12 | 2020 |
| Scaling relational inference using proofs and refutations R Mangal, X Zhang, A Kamath, A Nori, M Naik Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 12 | 2016 |
| 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 | 11 | 2016 |
| Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components R Calinescu, C Imrie, R Mangal, GN Rodrigues, C Păsăreanu, ... IEEE Transactions on Software Engineering, 2024 | 10* | 2024 |
| Self-correcting Neural Networks for Safe Classification K Leino, A Fromherz, R Mangal, M Fredrikson, B Parno, C Păsăreanu Software Verification and Formal Methods for ML-Enabled Autonomous Systems …, 2022 | 10* | 2022 |
| Degradation Attacks on Certifiably Robust Neural Networks K Leino, C Zhang, R Mangal, M Fredrikson, B Parno, C Pasareanu Transactions of Machine Learning Research, 2022 | 4 | 2022 |
| Transfer Attacks and Defenses for Large Language Models on Coding Tasks C Zhang, Z Wang, R Mangal, M Fredrikson, L Jia, C Pasareanu arXiv preprint arXiv:2311.13445, 2023 | 2 | 2023 |
| 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 | 2 | 2018 |
| Feature-Guided Analysis of Neural Networks D Gopinath, L Lungeanu, R Mangal, C Păsăreanu, S Xie, H Yu International Conference on Fundamental Approaches to Software Engineering …, 2023 | 1 | 2023 |
| A Cascade of Checkers for Run-time Certification of Local Robustness R Mangal, C Păsăreanu Software Verification and Formal Methods for ML-Enabled Autonomous Systems …, 2022 | 1 | 2022 |
| Reasoning about programs in statistically modeled first-order environments R Mangal Georgia Institute of Technology, 2020 | 1 | 2020 |
| Solving weighted constraints with applications to program analysis R Mangal, X Zhang, M Naik, A Nori Georgia Institute of Technology, 2015 | 1 | 2015 |
Mayur NaikProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
