Aditya Kanade

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 46

Top Topics

Partial Order Reduction

Static Analysis

Top Venues

Publications

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