Aditya Kanade

70 papers A* 13A 4B 4C 1Misc 2Journal 34Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
An empirical study of validating synthetic data for formula generation.
NAACL (Findings)
Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
2025 J jnl
Code Researcher: Deep Research Agent for Large Systems Code and Commit History.
CoRR
Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B. Bairi, Aditya Kanade, Nagarajan Natarajan
2025 J jnl
Do You See Me : A Multidimensional Benchmark for Evaluating Visual Perception in Multimodal LLMs.
CoRR
Aditya Kanade, Tanuja Ganu
2025 J jnl
Exposing Weak Links in Multi-Agent Systems under Adversarial Prompting.
CoRR
Nirmit Arora, Sathvik Joel, Ishan Kavathekar, Palak, Rohan Gandhi, Yash Pandya, Tanuja Ganu, Aditya Kanade, Akshay Nambi
2025 Misc conf
MazeNet: Protecting DNN Models on Public Cloud Platforms With TEEs.
ICISS
Kripa Shanker, Vivek Kumar, Aditya Kanade, Vinod Ganapathy
2025 A* conf
NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits.
ICML
Tushar Aggarwal, Swayam Singh, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan
2025 J jnl
Robust Learning of Diverse Code Edits.
CoRR
Tushar Aggarwal, Swayam Singh, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan
2024 J jnl
An Empirical Study of Validating Synthetic Data for Formula Generation.
CoRR
Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
2024 J jnl
CORE: Resolving Code Quality Issues using LLMs.
Proc. ACM Softw. Eng.
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
2024 J jnl
Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository.
CoRR
Ajinkya Pankaj Deshpande, Anmol Agarwal, Shashank Shet, Arun Iyer, Aditya Kanade, Ramakrishna Bairi, Suresh Parthasarathy
2024 J jnl
CodePlan: Repository-Level Coding using LLMs and Planning.
Proc. ACM Softw. Eng.
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
2024 — conf
CodeQueries: A Dataset of Semantic Queries over Code.
ISEC
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
2024 A* conf
FLAME: A Small Language Model for Spreadsheet Formulas.
AAAI
Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
2024 J jnl
MASAI: Modular Architecture for Software-engineering AI Agents.
CoRR
Daman Arora, Atharv Sonwane, Nalin Wadhwa, Abhav Mehrotra, Saiteja Utpala, Ramakrishna Bairi, Aditya Kanade, Nagarajan Natarajan
2024 J jnl
NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness.
CoRR
Manav Singhal, Tushar Aggarwal, Abhijeet Awasthi, Nagarajan Natarajan, Aditya Kanade
2023 J jnl
CodePlan: Repository-level Coding using LLMs and Planning.
CoRR
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
2023 J jnl
FLAME: A small language model for spreadsheet formulas.
CoRR
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
2023 J jnl
Frustrated with Code Quality Issues? LLMs can Help!
CoRR
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
2023 J jnl
GrACE: Generation using Associated Code Edits.
CoRR
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 — conf
Grace: Language Models Meet Code Edits.
ESEC/SIGSOFT FSE
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 J jnl
Guiding Language Models of Code with Global Context using Monitors.
CoRR
Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023 A* conf
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.
NeurIPS
Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023 J jnl
StaticFixer: From Static Analysis to Static Repair.
CoRR
Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2022 — conf
Automating Software Engineering with Machine Learning.
ISEC
Aditya Kanade
2022 J jnl
BNSynth: Bounded Boolean Functional Synthesis.
CoRR
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade
2022 J jnl
Learning to Answer Semantic Queries over Code.
CoRR
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
2021 J jnl
Stateful Detection of Model Extraction Attacks.
CoRR
Soham Pal, Yash Gupta, Aditya Kanade, Shirish K. Shevade
2020 A* conf
ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data.
AAAI
Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish K. Shevade, Vinod Ganapathy
2020 A* conf
Learning and Evaluating Contextual Embedding of Source Code.
ICML
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020 J jnl
Pre-trained Contextual Embedding of Source Code.
CoRR
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2019 J jnl
A framework for the extraction of Deep Neural Networks by leveraging public data.
CoRR
Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish K. Shevade, Vinod Ganapathy
2019 J jnl
Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses.
Adv. Comput.
Aditya Kanade
2019 J jnl
Deep Learning for Bug-Localization in Student Programs.
CoRR
Rahul Gupta, Aditya Kanade, Shirish K. Shevade
2019 A* conf
Deep Reinforcement Learning for Syntactic Error Repair in Student Programs.
AAAI
Rahul Gupta, Aditya Kanade, Shirish K. Shevade
2019 A* conf
Neural Attribution for Semantic Bug-Localization in Student Programs.
NeurIPS
Rahul Gupta, Aditya Kanade, Shirish K. Shevade
2019 — conf
Neural Program Repair by Jointly Learning to Localize and Repair.
ICLR (Poster)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2019 J jnl
Neural Program Repair by Jointly Learning to Localize and Repair.
CoRR
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2018 — conf
Active Learning for Efficient Testing of Student Programs.
AIED (2)
Ishan Rastogi, Aditya Kanade, Shirish K. Shevade
2018 J jnl
Active Learning for Efficient Testing of Student Programs.
CoRR
Ishan Rastogi, Aditya Kanade, Shirish K. Shevade
2018 J jnl
Deep Reinforcement Learning for Programming Language Correction.
CoRR
Rahul Gupta, Aditya Kanade, Shirish K. Shevade
2018 J jnl
Greybox fuzzing as a contextual bandits problem.
CoRR
Ketan Patil, Aditya Kanade
2017 A* conf
DeepFix: Fixing Common C Language Errors by Deep Learning.
AAAI
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade
2017 A conf
Efficient computation of happens-before relation for event-driven programs.
ISSTA
Pallavi Maiya, Aditya Kanade
2017 A* conf
Static deadlock detection for asynchronous C# programs.
PLDI
Anirudh Santhiar, Aditya Kanade
2016 C conf
Asynchrony-aware static analysis of Android applications.
MEMOCODE
Ashish Mishra, Aditya Kanade, Y. N. Srikant
2016 A conf
Efficient race detection in the presence of programmatic event loops.
ISSTA
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade
2016 A conf
Partial Order Reduction for Event-Driven Multi-threaded Programs.
TACAS
Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
2016 J jnl
Semi-Supervised Verified Feedback Generation.
CoRR
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
2016 — conf
Semi-supervised verified feedback generation.
SIGSOFT FSE
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
2015 J jnl
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.
CoRR
Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
2015 J jnl
Non-deterministic transducer models of retransmission protocols over noisy channels.
Inf. Process. Lett.
Jay Thakkar, Aditya Kanade
2015 — conf
P3: partitioned path profiling.
ESEC/SIGSOFT FSE
Mohammed Afraz, Diptikalyan Saha, Aditya Kanade
2015 B conf
Rely/Guarantee Reasoning for Asynchronous Programs.
CONCUR
Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
2014 A conf
MUX: algorithm selection for software model checkers.
MSR
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
2014 J jnl
Mining Unit Tests for Discovery and Migration of Math APIs.
ACM Trans. Softw. Eng. Methodol.
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
2014 A* conf
MintHint: automated synthesis of repair hints.
ICSE
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
2014 A* conf
Race detection for Android applications.
PLDI
Pallavi Maiya, Aditya Kanade, Rupak Majumdar
2013 B conf
Discovering Math APIs by Mining Unit Tests.
FASE
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
2013 J jnl
MintHint: Automated Synthesis of Repair Hints.
CoRR
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
2013 — conf
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.
FMOODS/FORTE
Jay Thakkar, Aditya Kanade, Rajeev Alur
2012 J jnl
A Logic for Correlating Temporal Properties across Program Transformations
CoRR
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
2012 — conf
Static Analysis for Checking Data Format Compatibility of Programs.
FSTTCS
Pranavadatta Devaki, Aditya Kanade
2010 — conf
Representation dependence testing using program inversion.
SIGSOFT FSE
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam
2009 A* conf
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
CAV
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
2009 J jnl
Validation of GCC optimizers through trace generation.
Softw. Pract. Exp.
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
2008 A* conf
Ranking Automata and Games for Prioritized Requirements.
CAV
Rajeev Alur, Aditya Kanade, Gera Weiss
2008 Misc conf
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.
EMSOFT
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar
2006 B conf
A PVS Based Framework for Validating Compiler Optimizations.
SEFM
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
2006 — conf
Structuring Optimizing Transformations and Proving Them Sound.
COCV
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
2005 B conf
Heterogeneous Fixed Points with Application to Points-To Analysis.
APLAS
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal