On covert channels between virtual machines. - P. G. Ranjith; Priya Chandran; Shalini Kaleeswaran (J. Comput. Virol., 2012)

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

Efficient race detection in the presence of programmatic event loops. - Anirudh Santhiar; Shalini Kaleeswaran; Aditya Kanade 001 (ISSTA, 2016)

Semi-supervised verified feedback generation. - Shalini Kaleeswaran; Anirudh Santhiar; Aditya Kanade 001; Sumit Gulwani (SIGSOFT FSE, 2016)