Browse by Author

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.

Mishra, Ashish and Kanade, Aditya and Srikant, Y N (2016) Asynchrony-Aware Static Analysis of Android Applications. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), NOV 18-20, 2016, Kanpur, INDIA, pp. 163-172.

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.

Afraz, Mohammed and Saha, Diptikalyan and Kanade, Aditya (2015) P3: Partitioned Path Profiling. In: 10th Joint Meeting of the European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), AUG 30-SEP 04, 2015 , Bergamo, ITALY , pp. 485-495.

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.

Conference Paper

Devaki, Pranavadatta and Kanade, Aditya (2012) Static analysis for checking data format compatibility of programs. In: FSTTCS 2012 : IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15 to 17, 2012, Hyderabad, India.

Journal Article

Kanade, Aditya (2019) Event-Based Concurrency: Applications, Abstractions, and Analyses. In: ADVANCES IN COMPUTERS, 112 . pp. 379-412.

Thakkar, Jay and Kanade, Aditya (2015) Non-deterministic transducer models of retransmission protocols over noisy channels. In: INFORMATION PROCESSING LETTERS, 115 (9). pp. 694-698.

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).

Maiya, Pallavi and Kanade, Aditya and Majumdar, Rupak (2014) Race Detection for Android Applications. In: ACM SIGPLAN NOTICES, 49 (6). pp. 316-325.