Shalini Kaleeswaran

Program Repair by Automated Generation of Hints

Shalini Kaleeswaran, S. Kaleeswaran, 2018 .

Semi-supervised verified feedback generation

Sumit Gulwani, Aditya Kanade, Anirudh Santhiar, 2016, SIGSOFT FSE.

MintHint: automated synthesis of repair hints

Alessandro Orso, Aditya Kanade, Varun Tulsian, 2013, ICSE.

Efficient race detection in the presence of programmatic event loops

Aditya Kanade, Anirudh Santhiar, Shalini Kaleeswaran, 2016, ISSTA.

On covert channels between virtual machines

Shalini Kaleeswaran, P. G. Ranjith, Priya Chandran, 2012, Journal in Computer Virology.