Varun Tulsian

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Algorithm Has Been Developed

Algorithm Employs

Top Venues

Publications

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
MintHint: automated synthesis of repair hints. ICSE (2014)
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
MUX: algorithm selection for software model checkers. MSR (2014)
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
MintHint: Automated Synthesis of Repair Hints. CoRR (2013)