publications

2025

1. Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference

   Anton Xue^*, Avishree Khare^*, Rajeev Alur, Surbhi Goel, and Eric Wong

   In The Thirteenth International Conference on Learning Representations (ICLR), 2025
2. Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

   Avishree Khare^*, Saikat Dutta^*, Ziyang Li, Alaia Solko-Breslin, Mayur Naik, and Rajeev Alur

   In Proceedings of the 2025 IEEE Conference on Software Testing, Validation and Verification (ICST), 2025

2023

1. Grace: Language models meet code edits

   Priyanshu Gupta^*, Avishree Khare^*, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari

   In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2023