By topic | By date | Reports


Machine/Deep Learning for Programs

DeepFix: Fixing common C language errors by deep learning (DeepFix)
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish Shevade
AAAI'17
Semi-supervised verified feedback generation (CoderAssist)
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
FSE'16
Mining unit tests for discovery and migration of math APIs (MathFinder)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Volume 24, Number 1, September 2014 
ACM Trans. on
Soft. Engg. & Meth.
MintHint: Automated synthesis of repair hints (MintHint)
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso 
ICSE'14
MUX: Algorithm selection for software model checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
MSR'14
Discovering math APIs by mining unit tests (MathFinder)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
FASE'13

Concurrency and Distribution

Efficient race detection in the presence of programmatic event loops (SparseRacer)
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade
Practical impact
ISSTA'16
Partial order reduction for event-driven multi-threaded programs (EM-Explorer)
Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
TACAS'16
Rely/guarantee reasoning for asynchronous programs
Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
CONCUR'15
Race detection for Android applications (DroidRacer)
Pallavi Maiya, Aditya Kanade, Rupak Majumdar
PLDI'14

Program Analysis and Formal Methods

Asynchrony-aware static analysis of Android applications
Ashish Mishra, Aditya Kanade, Y. N. Srikant
MEMOCODE'16
P3: Partitioned path profiling
Mohammed Afraz, Diptikalyan Saha, Aditya Kanade
FSE'15
Non-deterministic transducer models of retransmission protocols over noisy channels
Jay Thakkar, Aditya Kanade
Volume 115, Number 9, September 2015

Inf. Proc. Letters
Transducer-based algorithmic verification of retransmission protocols over noisy channels
Jay Thakkar, Aditya Kanade, Rajeev Alur
FORTE'13
Static analysis for checking data format compatibility of programs
Pranavadatta Devaki, Aditya Kanade
FSTTCS'12
Representation dependence testing using program inversion
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
FSE'10
Generating and analyzing symbolic traces of Simulink/Stateflow models (Prototype tool)
Aditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K.C. Shashidhar
CAV'09
Validation of GCC optimizers through trace generation (SPOTS)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Volume 39, Number 6, April 2009 
Soft. Prac. & Exp.
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Rajeev Alur, Aditya Kanade, S. Ramesh, K.C. Shashidhar
ACM SIGBED EMSOFT best paper award
EMSOFT'08
Ranking automata and games for prioritized requirements
Rajeev Alur, Aditya Kanade, Gera Weiss
CAV'08
Structuring optimizing transformations and proving them sound (SPOTS)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Volume 176, Number 3, July 2007
Ele. Notes in TCS
A PVS based framework for validating compiler optimizations
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
SEFM'06
Heterogeneous fixed points with application to points-to analysis
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
APLAS'05