MintHint: automated synthesis of repair hints. - Shalini Kaleeswaran; Varun Tulsian; Aditya Kanade 001; Alessandro Orso (ICSE, 2014)

MUX: algorithm selection for software model checkers. - Varun Tulsian; Aditya Kanade 001; Rahul Kumar 002; Akash Lal; Aditya V. Nori (MSR, 2014)