Anirudh Santhiar

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 6

Top Topics

Deadlock Detection

Feedback Information

Frequent Pattern Discovery

Subspace Learning

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar
Data-driven test selection at scale. ESEC/SIGSOFT FSE (2021)
Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta
Root causing flaky tests in a large-scale industrial setting. ISSTA (2019)
Anirudh Santhiar, Aditya Kanade
Static deadlock detection for asynchronous C# programs. PLDI (2017)
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)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Mining Unit Tests for Discovery and Migration of Math APIs. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Anirudh Santhiar, Omesh Pandita, Aditya Kanade
Discovering Math APIs by Mining Unit Tests. FASE (2013)