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
(Sept'15)
|
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
|
A logic for correlating temporal properties across program transformations
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
|
Tech. Report
(Sep'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.
(Apr'09)
|
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
(Jul'07)
|
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 |
Efficient computation of happens-before relation for event-driven programs (EventTrack)
Pallavi Maiya, Aditya Kanade
| ISSTA'17 | Static deadlock detection for asynchronous C# programs
Anirudh Santhiar, Aditya Kanade | PLDI'17 | 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
|
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.
(Sept'14)
|
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 |
Efficient computation of happens-before relation for event-driven programs (EventTrack)
Pallavi Maiya, Aditya Kanade |
ISSTA'17 |
Static deadlock detection for asynchronous C# programs
Anirudh Santhiar, Aditya Kanade |
PLDI'17 |
DeepFix: Fixing common C language errors by deep learning (DeepFix)
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish Shevade
|
AAAI'17
|
Asynchrony-aware static analysis of Android applications
Ashish Mishra, Aditya Kanade, Y. N. Srikant
|
MEMOCODE'16
|
Semi-supervised verified feedback generation (CoderAssist)
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
|
FSE'16
|
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
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
|
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. Prof. Letters
(Sep'15)
|
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.
(Sep'14)
|
Race detection for Android applications (DroidRacer)
Pallavi Maiya, Aditya Kanade, Rupak Majumdar
|
PLDI'14
|
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
|
Transducer-based algorithmic verification of retransmission protocols over noisy channels
Jay Thakkar, Aditya Kanade, Rajeev Alur
|
FORTE'13
|
Discovering math APIs by mining unit tests (MathFinder)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
|
FASE'13
|
Static analysis for checking data format compatibility of programs
Pranavadatta Devaki, Aditya Kanade
|
FSTTCS'12
|
A logic for correlating temporal properties across program transformations
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
|
Tech. Report
(Sep'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.
(Apr'09)
|
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
(Jul'07)
|
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
|
|
|