By topicBy date Reports

  1. Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani Semi-supervised verified feedback generation CoRR abs/1603.04584, 2016. Superseded by our FSE'16 paper.
  2. Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar A partial order reduction technique for event-driven multi-threaded programs CoRR abs/1511.03213, 2015. Superseded by our TACAS'16 paper.
  3. Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso MintHint: Automated synthesis of repair hints CoRR abs/1306.1286, 2013. Superseded by our ICSE'14 paper.
  4. Jay Thakkar, Aditya Kanade Transducer models of sliding window ARQ protocols for noisy channels (Poster) IBM Collaborative Academia Exchange (I-CARE), 2012. First runner-up award
  5. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker A logic for correlating temporal properties across program transformations CoRR abs/1209.5152, 2012.
  6. Aditya Kanade SPOTS: A system for proving optimizing transformations sound PhD thesis, IIT Bombay, 2007.