Machine and Deep Learning for Programs
-
Neural program repair by jointly learning to localize and repair
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
International Conference on Learning Representations (ICLR), 2019
- Deep reinforcement learning for syntactic error repair in student programs (PDF)
Rahul Gupta, Aditya Kanade, Shirish Shevade
AAAI Conference on Artificial Intelligence (AAAI), 2019.
- Greybox fuzzing as a contextual bandits problem (draft)
Ketan Patil, Aditya Kanade
Bandit AFL
- Active learning for efficient testing of student programs (Extended version)
Ishan Rastogi, Aditya Kanade, Shirish Shevade
Artificial Intelligence in Education (AIED), 2018.
-
DeepFix: Fixing common C language errors by deep learning
(PDF)
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish Shevade
AAAI Conference on Artificial Intelligence (AAAI), 2017.
DeepFix
-
Semi-supervised verified feedback generation
(PDF)
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
Foundations of Software Engineering (FSE), 2016.
CoderAssist
-
Mining unit tests for discovery and migration of math APIs
(PDF)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 24(1), 2014.
MathFinder
-
MintHint: Automated synthesis of repair hints
(PDF)
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
International Conference on Software Engineering (ICSE), 2014.
MintHint, Teaser video
-
MUX: Algorithm selection for software model checkers
(PDF)
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR), 2014.
-
Discovering math APIs by mining unit tests
(PDF)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Fundamental Approaches to Software Engineering (FASE), 2013.
MathFinder
Concurrency and Distribution
- Event-based concurrency: Applications, abstractions and analyses
Aditya Kanade
Invited book chapter, Advances in Computers, Volume 112, 2018.
-
Efficient computation of happens-before relation for event-driven programs
(PDF)
Pallavi Maiya, Aditya Kanade
International Symposium on Software Testing and Analysis (ISSTA), 2017.
EventTrack, Proofs
- Static deadlock detection for asynchronous C# programs
(PDF)
Anirudh Santhiar, Aditya Kanade
Programming Language Design and Implementation (PLDI), 2017.
DeadWait, Practical impact, Semantics
-
Efficient race detection in the presence of programmatic event loops
(PDF)
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade
International Symposium on Software Testing and Analysis (ISSTA), 2016.
SparseRacer, Practical impact
-
Partial order reduction for event-driven multi-threaded programs
(PDF)
Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016.
EM-Explorer
-
Rely/guarantee reasoning for asynchronous programs
(PDF)
Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
Concurrency Theory (CONCUR), 2015.
-
Race detection for Android applications
(PDF)
Pallavi Maiya, Aditya Kanade, Rupak Majumdar
Programming Language Design and Implementation (PLDI), 2014.
DroidRacer
Program Analysis and Verification
-
Asynchrony-aware static analysis of Android applications
(PDF)
Ashish Mishra, Aditya Kanade, Y. N. Srikant
Formal Methods and Models for System Design (MEMOCODE), 2016.
-
P3: Partitioned path profiling
(PDF)
Mohammed Afraz, Diptikalyan Saha, Aditya Kanade
Foundations of Software Engineering (FSE), 2015.
-
Non-deterministic transducer models of retransmission protocols over noisy channels
(PDF)
Jay Thakkar, Aditya Kanade
Information Processing Letters (IPL), Volume 115(9), 2015.
-
Transducer-based algorithmic verification of retransmission protocols over noisy channels
(PDF)
Jay Thakkar, Aditya Kanade, Rajeev Alur
Formal Techniques for Distributed Systems (FORTE), 2013.
-
Static analysis for checking data format compatibility of programs
(PDF)
Pranavadatta Devaki, Aditya Kanade
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2012.
-
A logic for correlating temporal properties across program transformations
(PDF)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Technical Report, CoRR abs/1209.5152, 2012.
-
Representation dependence testing using program inversion
(PDF)
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE), 2010.
-
Generating and analyzing symbolic traces of Simulink/Stateflow models
(PDF)
Aditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K.C. Shashidhar
Computer Aided Verification (CAV), 2009.
Prototype tool
-
Validation of GCC optimizers through trace generation
(PDF)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Software Practice and Experience (SPE), Volume 39(6), 2009.
SPOTS
-
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
(PDF)
Rajeev Alur, Aditya Kanade, S. Ramesh, K.C. Shashidhar
Embedded Software (EMSOFT), 2008.
ACM SIGBED EMSOFT best paper award
-
Ranking automata and games for prioritized requirements
(PDF)
Rajeev Alur, Aditya Kanade, Gera Weiss
Computer Aided Verification (CAV), 2008.
-
Structuring optimizing transformations and proving them sound
(PDF)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Electronic Notes in Theoretical Computer Science (ENTCS), Volume 176(3), 2007.
SPOTS
-
A PVS based framework for validating compiler optimizations
(PDF)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Software Engineering and Formal Methods (SEFM), 2006.
SPOTS
-
Heterogeneous fixed points with application to points-to analysis
(PDF)
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
Asian Symposium on Programming Languages and Systems (APLAS), 2005.
|
|