Shalini Kaleeswaran

According to our database, Shalini Kaleeswaran authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Semi-supervised verified feedback generation.

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Efficient race detection in the presence of programmatic event loops.

Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2014

MintHint: automated synthesis of repair hints.

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

Proceedings of the 36th International Conference on Software Engineering, 2014

2012

On covert channels between virtual machines.

P. G. Ranjith, Priya Chandran, Shalini Kaleeswaran

J. Comput. Virol., 2012