ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference Proceedings

Santhiar, Anirudh and Kanade, Aditya (2017) Static Deadlock Detection for Asynchronous C# Programs. In: 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), JUN 18-23, 2017, Barcelona, SPAIN, pp. 292-305.

Kaleeswaran, Shalini and Santhiar, Anirudh and Kanade, Aditya and Gulwani, Sumit (2016) Semi-supervised Verified Feedback Generation. In: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), NOV 13-18, 2016, Seattle, WA, pp. 739-750.

Santhiar, Anirudh and Pandita, Omesh and Kanade, Aditya (2013) Discovering Math APIs by Mining Unit Tests. In: 16th International Conference on Fundamental Approaches to Software Engineering (FASE), MAR 16-24, 2013, Rome, ITALY, pp. 327-342.

Journal Article

Santhiar, Anirudh and Pandita, Omesh and Kanade, Aditya (2014) Mining Unit Tests for Discovery and Migration of Math APIs. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 24 (1).

This list was generated on Fri Oct 11 08:47:38 2024 IST.