Heterogeneous Fixed Points with Application to Points-To Analysis. - Aditya Kanade 001; Uday P. Khedker; Amitabha Sanyal (APLAS, 2005)

A PVS Based Framework for Validating Compiler Optimizations. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (SEFM, 2006)

Structuring Optimizing Transformations and Proving Them Sound. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (COCV@ETAPS, 2006)

Ranking Automata and Games for Prioritized Requirements. - Rajeev Alur; Aditya Kanade 001; Gera Weiss (CAV, 2008)

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. - Rajeev Alur; Aditya Kanade 001; S. Ramesh 002; K. C. Shashidhar (EMSOFT, 2008)

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. - Aditya Kanade 001; Rajeev Alur; Franjo Ivancic; S. Ramesh 002; Sriram Sankaranarayanan 001; K. C. Shashidhar (CAV, 2009)

Validation of GCC optimizers through trace generation. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (Softw. Pract. Exp., 2009)

Representation dependence testing using program inversion. - Aditya Kanade 001; Rajeev Alur; Sriram K. Rajamani; Ganesan Ramalingam (SIGSOFT FSE, 2010)

Static Analysis for Checking Data Format Compatibility of Programs. - Pranavadatta Devaki; Aditya Kanade 001 (FSTTCS, 2012)

A Logic for Correlating Temporal Properties across Program Transformations - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2012)

Discovering Math APIs by Mining Unit Tests. - Anirudh Santhiar; Omesh Pandita; Aditya Kanade 001 (FASE, 2013)

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. - Jay Thakkar; Aditya Kanade 001; Rajeev Alur (FMOODS/FORTE, 2013)

MintHint: automated synthesis of repair hints. - Shalini Kaleeswaran; Varun Tulsian; Aditya Kanade 001; Alessandro Orso (ICSE, 2014)

MUX: algorithm selection for software model checkers. - Varun Tulsian; Aditya Kanade 001; Rahul Kumar 002; Akash Lal; Aditya V. Nori (MSR, 2014)

Race detection for Android applications. - Pallavi Maiya; Aditya Kanade 001; Rupak Majumdar (PLDI, 2014)

Mining Unit Tests for Discovery and Migration of Math APIs. - Anirudh Santhiar; Omesh Pandita; Aditya Kanade 001 (ACM Trans. Softw. Eng. Methodol., 2014)

Rely/Guarantee Reasoning for Asynchronous Programs. - Ivan Gavran; Filip Niksic; Aditya Kanade 001; Rupak Majumdar; Viktor Vafeiadis (CONCUR, 2015)

P3: partitioned path profiling. - Mohammed Afraz; Diptikalyan Saha; Aditya Kanade 001 (ESEC/SIGSOFT FSE, 2015)

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. - Pallavi Maiya; Rahul Gupta; Aditya Kanade 001; Rupak Majumdar (CoRR, 2015)

Non-deterministic transducer models of retransmission protocols over noisy channels. - Jay Thakkar; Aditya Kanade 001 (Inf. Process. Lett., 2015)

Efficient race detection in the presence of programmatic event loops. - Anirudh Santhiar; Shalini Kaleeswaran; Aditya Kanade 001 (ISSTA, 2016)

Asynchrony-aware static analysis of Android applications. - Ashish Mishra 002; Aditya Kanade 001; Y. N. Srikant (MEMOCODE, 2016)

Semi-supervised verified feedback generation. - Shalini Kaleeswaran; Anirudh Santhiar; Aditya Kanade 001; Sumit Gulwani (SIGSOFT FSE, 2016)

Partial Order Reduction for Event-Driven Multi-threaded Programs. - Pallavi Maiya; Rahul Gupta; Aditya Kanade 001; Rupak Majumdar (TACAS, 2016)

DeepFix: Fixing Common C Language Errors by Deep Learning. - Rahul Gupta; Soham Pal; Aditya Kanade 001; Shirish K. Shevade (AAAI, 2017)

Efficient computation of happens-before relation for event-driven programs. - Pallavi Maiya; Aditya Kanade 001 (ISSTA, 2017)

Static deadlock detection for asynchronous C# programs. - Anirudh Santhiar; Aditya Kanade 001 (PLDI, 2017)

Active Learning for Efficient Testing of Student Programs. - Ishan Rastogi; Aditya Kanade 001; Shirish K. Shevade (AIED (2), 2018)

Deep Reinforcement Learning for Programming Language Correction. - Rahul Gupta; Aditya Kanade 001; Shirish K. Shevade (CoRR, 2018)

Greybox fuzzing as a contextual bandits problem. - Ketan Patil; Aditya Kanade 001 (CoRR, 2018)

Deep Reinforcement Learning for Syntactic Error Repair in Student Programs. - Rahul Gupta; Aditya Kanade 001; Shirish K. Shevade (AAAI, 2019)

Neural Program Repair by Jointly Learning to Localize and Repair. - Marko Vasic; Aditya Kanade 001; Petros Maniatis; David Bieber; Rishabh Singh (ICLR (Poster), 2019)

Neural Attribution for Semantic Bug-Localization in Student Programs. - Rahul Gupta; Aditya Kanade 001; Shirish K. Shevade (NeurIPS, 2019)

Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses. - Aditya Kanade 001 (Adv. Comput., 2019)

A framework for the extraction of Deep Neural Networks by leveraging public data. - Soham Pal; Yash Gupta; Aditya Shukla; Aditya Kanade 001; Shirish K. Shevade; Vinod Ganapathy (CoRR, 2019)

Deep Learning for Bug-Localization in Student Programs. - Rahul Gupta; Aditya Kanade 001; Shirish K. Shevade (CoRR, 2019)

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data. - Soham Pal; Yash Gupta; Aditya Shukla; Aditya Kanade 001; Shirish K. Shevade; Vinod Ganapathy (AAAI, 2020)

Learning and Evaluating Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (ICML, 2020)

Pre-trained Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (CoRR, 2020)

Stateful Detection of Model Extraction Attacks. - Soham Pal; Yash Gupta; Aditya Kanade 001; Shirish K. Shevade (CoRR, 2021)

Automating Software Engineering with Machine Learning. - Aditya Kanade 001 (ISEC, 2022)

Learning to Answer Semantic Queries over Code. - Surya Prakash Sahu; Madhurima Mandal; Shikhar Bharadwaj; Aditya Kanade 001; Petros Maniatis; Shirish K. Shevade (CoRR, 2022)

BNSynth: Bounded Boolean Functional Synthesis. - Ravi Raja; Stanly Samuel; Chiranjib Bhattacharyya; Deepak D'Souza; Aditya Kanade 001 (CoRR, 2022)

Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. - Lakshya A. Agrawal; Aditya Kanade 001; Navin Goyal; Shuvendu K. Lahiri; Sriram K. Rajamani (NeurIPS, 2023)

Grace: Language Models Meet Code Edits. - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (ESEC/SIGSOFT FSE, 2023)

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

Guiding Language Models of Code with Global Context using Monitors. - Lakshya A. Agrawal; Aditya Kanade 001; Navin Goyal; Shuvendu K. Lahiri; Sriram K. Rajamani (CoRR, 2023)

StaticFixer: From Static Analysis to Static Repair. - Naman Jain; Shubham Gandhi; Atharv Sonwane; Aditya Kanade 001; Nagarajan Natarajan; Suresh Parthasarathy; Sriram K. Rajamani; Rahul Sharma 001 (CoRR, 2023)

Frustrated with Code Quality Issues? LLMs can Help! - Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 001; Suresh Parthasarathy; Sriram K. Rajamani (CoRR, 2023)

FLAME: A Small Language Model for Spreadsheet Formulas. - Harshit Joshi; Abishai Ebenezer; José Pablo Cambronero Sánchez; Sumit Gulwani; Aditya Kanade 001; Vu Le 002; Ivan Radicek; Gust Verbruggen (AAAI, 2024)

CodeQueries: A Dataset of Semantic Queries over Code. - Surya Prakash Sahu; Madhurima Mandal; Shikhar Bharadwaj; Aditya Kanade 001; Petros Maniatis; Shirish K. Shevade (ISEC, 2024)

NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness. - Manav Singhal; Tushar Aggarwal; Abhijeet Awasthi; Nagarajan Natarajan; Aditya Kanade 001 (CoRR, 2024)

Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository. - Ajinkya Pankaj Deshpande; Anmol Agarwal; Shashank Shet; Arun Iyer; Aditya Kanade 001; Ramakrishna Bairi; Suresh Parthasarathy (CoRR, 2024)

MASAI: Modular Architecture for Software-engineering AI Agents. - Daman Arora; Atharv Sonwane; Nalin Wadhwa; Abhav Mehrotra; Saiteja Utpala; Ramakrishna Bairi; Aditya Kanade 001; Nagarajan Natarajan (CoRR, 2024)

CodePlan: Repository-Level Coding using LLMs and Planning. - Ramakrishna Bairi; Atharv Sonwane; Aditya Kanade 001; Vageesh D. C.; Arun Iyer; Suresh Parthasarathy; Sriram K. Rajamani; Balasubramanyan Ashok; Shashank Shet (Proc. ACM Softw. Eng., 2024)

CORE: Resolving Code Quality Issues using LLMs. - Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 001; Suresh Parthasarathy; Sriram K. Rajamani (Proc. ACM Softw. Eng., 2024)

An empirical study of validating synthetic data for formula generation. - Usneek Singh; José Cambronero; Sumit Gulwani; Aditya Kanade 001; Anirudh Khatry; Vu Le 002; Mukul Singh; Gust Verbruggen (NAACL (Findings), 2025)

Robust Learning of Diverse Code Edits. - Tushar Aggarwal; Swayam Singh; Abhijeet Awasthi; Aditya Kanade 001; Nagarajan Natarajan (CoRR, 2025)

Do You See Me : A Multidimensional Benchmark for Evaluating Visual Perception in Multimodal LLMs. - Aditya Kanade 001; Tanuja Ganu (CoRR, 2025)

Code Researcher: Deep Research Agent for Large Systems Code and Commit History. - Ramneet Singh; Sathvik Joel; Abhav Mehrotra; Nalin Wadhwa; Ramakrishna B. Bairi; Aditya Kanade 001; Nagarajan Natarajan (CoRR, 2025)