| 2025 | ICISS | MazeNet: Protecting DNN Models on Public Cloud Platforms With TEEs. | Kripa Shanker, Vivek Kumar, Aditya Kanade, Vinod Ganapathy |
| 2025 | ICML | NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits. | Tushar Aggarwal, Swayam Singh, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan |
| 2025 | NAACL | An empirical study of validating synthetic data for formula generation. | Usneek Singh, Jos Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen |
| 2024 | AAAI | FLAME: A Small Language Model for Spreadsheet Formulas. | Harshit Joshi, Abishai Ebenezer, Jos Pablo Cambronero Snchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen |
| 2024 | ECCV | Fashion Attribute Extraction Under an Evolving Ontology. | Aditya Kanade, Manasi Patwardhan, Mayur Patidar, Lovekesh Vig, Bagyalakshmi Vasudevan |
| 2023 | ICASSP | Attention-Guided Deep Learning Framework For Movement Quality Assessment. | Aditya Kanade, Mansi Sharma, Manivannan Muniyandi |
| 2022 | ECCV | Tele-EvalNet: A Low-Cost, Teleconsultation System for Home Based Rehabilitation of Stroke Survivors Using Multiscale CNN-ConvLSTM Architecture. | Aditya Kanade, Mansi Sharma, Manivannan Muniyandi |
| 2020 | AAAI | ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data. | Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish K. Shevade, Vinod Ganapathy |
| 2020 | ICML | Learning and Evaluating Contextual Embedding of Source Code. | Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi |
| 2019 | AAAI | Deep Reinforcement Learning for Syntactic Error Repair in Student Programs. | Rahul Gupta, Aditya Kanade, Shirish K. Shevade |
| 2019 | ICLR | Neural Program Repair by Jointly Learning to Localize and Repair. | Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh |
| 2018 | AIED | Active Learning for Efficient Testing of Student Programs. | Ishan Rastogi, Aditya Kanade, Shirish K. Shevade |
| 2017 | AAAI | DeepFix: Fixing Common C Language Errors by Deep Learning. | Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade |
| 2017 | ISSTA | Efficient computation of happens-before relation for event-driven programs. | Pallavi Maiya, Aditya Kanade |
| 2017 | PLDI | Static deadlock detection for asynchronous C# programs. | Anirudh Santhiar, Aditya Kanade |
| 2016 | ISSTA | Efficient race detection in the presence of programmatic event loops. | Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade |
| 2016 | MEMOCODE | Asynchrony-aware static analysis of Android applications. | Ashish Mishra, Aditya Kanade, Y. N. Srikant |
| 2016 | TACAS | Partial Order Reduction for Event-Driven Multi-threaded Programs. | Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar |
| 2015 | CONCUR | Rely/Guarantee Reasoning for Asynchronous Programs. | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
| 2014 | ICSE | MintHint: automated synthesis of repair hints. | Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso |
| 2014 | MSR | MUX: algorithm selection for software model checkers. | Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori |
| 2014 | PLDI | Race detection for Android applications. | Pallavi Maiya, Aditya Kanade, Rupak Majumdar |
| 2013 | FASE | Discovering Math APIs by Mining Unit Tests. | Anirudh Santhiar, Omesh Pandita, Aditya Kanade |
| 2013 | FORTE | Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. | Jay Thakkar, Aditya Kanade, Rajeev Alur |
| 2009 | CAV | Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar |
| 2008 | CAV | Ranking Automata and Games for Prioritized Requirements. | Rajeev Alur, Aditya Kanade, Gera Weiss |
| 2008 | EMSOFT | Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. | Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar |
| 2006 | SEFM | A PVS Based Framework for Validating Compiler Optimizations. | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
| 2005 | APLAS | Heterogeneous Fixed Points with Application to Points-To Analysis. | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |