Shalini Kaleeswaran

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 3

Top Topics

Feedback Information

Semi Supervised Clustering

Pairwise Constraints

Top Venues

J. Comput. Virol.

Publications

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
Semi-supervised verified feedback generation. SIGSOFT FSE (2016)
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade
Efficient race detection in the presence of programmatic event loops. ISSTA (2016)
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
Semi-Supervised Verified Feedback Generation. CoRR (2016)
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
MintHint: automated synthesis of repair hints. ICSE (2014)
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
MintHint: Automated Synthesis of Repair Hints. CoRR (2013)
P. G. Ranjith, Priya Chandran, Shalini Kaleeswaran
On covert channels between virtual machines. J. Comput. Virol. 8 (3) (2012)