Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference - Anton Xue; Avishree Khare; Rajeev Alur; Surbhi Goel; Eric Wong (CoRR, 2024)

Grace: Language Models Meet Code Edits - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, 2023)

GrACE: Generation using Associated Code Edits - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari (CoRR, 2023)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities - Avishree Khare; Saikat Dutta; Ziyang Li; Alaia Solko-Breslin; Rajeev Alur; Mayur Naik (CoRR, 2023)

KD-Lib: A PyTorch library for Knowledge Distillation, Pruning and Quantization - Het Shah; Avishree Khare; Neelay Shah; Khizir Siddiqui (CoRR, 2020)