By date | By topic

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.
      2018
      • 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.
      • Event-based concurrency: Applications, abstractions and analyses
        Aditya Kanade
        Invited book chapter, Advances in Computers, Volume 112, 2018.
      2017
      • 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
      • 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
      2016
      • Asynchrony-aware static analysis of Android applications (PDF)
        Ashish Mishra, Aditya Kanade, Y. N. Srikant
        Formal Methods and Models for System Design (MEMOCODE), 2016.
      • Semi-supervised verified feedback generation (PDF)
        Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
        Foundations of Software Engineering (FSE), 2016.
        CoderAssist
      • 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
      2015
      • Rely/guarantee reasoning for asynchronous programs (PDF)
        Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
        Concurrency Theory (CONCUR), 2015.
      • 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.
      2014
      • 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
      • Race detection for Android applications (PDF)
        Pallavi Maiya, Aditya Kanade, Rupak Majumdar
        Programming Language Design and Implementation (PLDI), 2014.
        DroidRacer
      • 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.
      2013
      • Transducer-based algorithmic verification of retransmission protocols over noisy channels (PDF)
        Jay Thakkar, Aditya Kanade, Rajeev Alur
        Formal Techniques for Distributed Systems (FORTE), 2013.
      • Discovering math APIs by mining unit tests (PDF)
        Anirudh Santhiar, Omesh Pandita, Aditya Kanade
        Fundamental Approaches to Software Engineering (FASE), 2013.
      2012
      • 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.
      2010
      • Representation dependence testing using program inversion (PDF)
        Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
        Foundations of Software Engineering (FSE), 2010.
      2009
      • 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
      2008
      • 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.
      2007 and before
      • 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.