Aditya Kanade

According to our database, Aditya Kanade authored at least 57 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness.

Manav Singhal, Tushar Aggarwal, Abhijeet Awasthi, Nagarajan Natarajan, Aditya Kanade

CoRR, 2024

CodeQueries: A Dataset of Semantic Queries over Code.

Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

FLAME: A Small Language Model for Spreadsheet Formulas.

Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Frustrated with Code Quality Issues? LLMs can Help!

Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani

CoRR, 2023

CodePlan: Repository-level Coding using LLMs and Planning.

Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C, Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet

CoRR, 2023

StaticFixer: From Static Analysis to Static Repair.

Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma

CoRR, 2023

Guiding Language Models of Code with Global Context using Monitors.

Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani

CoRR, 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

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, 2023

Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.

Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Attention-Guided Deep Learning Framework For Movement Quality Assessment.

Aditya Kanade, Mansi Sharma, Manivannan Muniyandi

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

BNSynth: Bounded Boolean Functional Synthesis.

Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade

CoRR, 2022

Learning to Answer Semantic Queries over Code.

Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade

CoRR, 2022

A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment.

Aditya Kanade, Mansi Sharma, Manivannan Muniyandi

CoRR, 2022

Automating Software Engineering with Machine Learning.

Aditya Kanade

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

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

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021

Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture.

Aditya Kanade, Mansi Sharma, M. Manivannan

CoRR, 2021

Stateful Detection of Model Extraction Attacks.

Soham Pal, Yash Gupta, Aditya Kanade, Shirish K. Shevade

CoRR, 2021

2020

Pre-trained Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

CoRR, 2020

Learning and Evaluating Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

Proceedings of the 37th International Conference on Machine Learning, 2020

ActiveThief: Model Extraction Using Active Learning and Unannotated Public Data.

Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish K. Shevade, Vinod Ganapathy

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Deep Learning for Bug-Localization in Student Programs.

Rahul Gupta, Aditya Kanade, Shirish K. Shevade

CoRR, 2019

A framework for the extraction of Deep Neural Networks by leveraging public data.

Soham Pal, Yash Gupta, Aditya Shukla, Aditya Kanade, Shirish K. Shevade, Vinod Ganapathy

CoRR, 2019

Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses.

Aditya Kanade

Adv. Comput., 2019

Neural Attribution for Semantic Bug-Localization in Student Programs.

Rahul Gupta, Aditya Kanade, Shirish K. Shevade

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Neural Program Repair by Jointly Learning to Localize and Repair.

Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh

Proceedings of the 7th International Conference on Learning Representations, 2019

Deep Reinforcement Learning for Syntactic Error Repair in Student Programs.

Rahul Gupta, Aditya Kanade, Shirish K. Shevade

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Greybox fuzzing as a contextual bandits problem.

Ketan Patil, Aditya Kanade

CoRR, 2018

Deep Reinforcement Learning for Programming Language Correction.

Rahul Gupta, Aditya Kanade, Shirish K. Shevade

CoRR, 2018

Active Learning for Efficient Testing of Student Programs.

Ishan Rastogi, Aditya Kanade, Shirish K. Shevade

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

Static deadlock detection for asynchronous C# programs.

Anirudh Santhiar, Aditya Kanade

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Efficient computation of happens-before relation for event-driven programs.

Pallavi Maiya, Aditya Kanade

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

DeepFix: Fixing Common C Language Errors by Deep Learning.

Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Partial Order Reduction for Event-Driven Multi-threaded Programs.

Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Semi-supervised verified feedback generation.

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Asynchrony-aware static analysis of Android applications.

Ashish Mishra, Aditya Kanade, Y. N. Srikant

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Efficient race detection in the presence of programmatic event loops.

Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Non-deterministic transducer models of retransmission protocols over noisy channels.

Jay Thakkar, Aditya Kanade

Inf. Process. Lett., 2015

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.

Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar

CoRR, 2015

P3: partitioned path profiling.

Mohammed Afraz, Diptikalyan Saha, Aditya Kanade

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Rely/Guarantee Reasoning for Asynchronous Programs.

Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Mining Unit Tests for Discovery and Migration of Math APIs.

Anirudh Santhiar, Omesh Pandita, Aditya Kanade

ACM Trans. Softw. Eng. Methodol., 2014

Race detection for Android applications.

Pallavi Maiya, Aditya Kanade, Rupak Majumdar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

MUX: algorithm selection for software model checkers.

Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

MintHint: automated synthesis of repair hints.

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

Jay Thakkar, Aditya Kanade, Rajeev Alur

Proceedings of the Formal Techniques for Distributed Systems, 2013

Discovering Math APIs by Mining Unit Tests.

Anirudh Santhiar, Omesh Pandita, Aditya Kanade

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

A Logic for Correlating Temporal Properties across Program Transformations

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

CoRR, 2012

Static Analysis for Checking Data Format Compatibility of Programs.

Pranavadatta Devaki, Aditya Kanade

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2010

Representation dependence testing using program inversion.

Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

Validation of GCC optimizers through trace generation.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Softw. Pract. Exp., 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Ranking Automata and Games for Prioritized Requirements.

Rajeev Alur, Aditya Kanade, Gera Weiss

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Structuring Optimizing Transformations and Proving Them Sound.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

A PVS Based Framework for Validating Compiler Optimizations.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Heterogeneous Fixed Points with Application to Points-To Analysis.

Aditya Kanade, Uday P. Khedker, Amitabha Sanyal

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005