Varun Tulsian

According to our database, Varun Tulsian authored at least 2 papers in 2014.

Collaborative distances:

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

2014

MUX: algorithm selection for software model checkers.

Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori

Proceedings of the 11th Working Conference on Mining Software Repositories, 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