| Root causing flaky tests in a large-scale industrial setting W Lam, P Godefroid, S Nath, A Santhiar, S Thummalapenta Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 159 | 2019 |
| Semi-supervised verified feedback generation S Kaleeswaran, A Santhiar, A Kanade, S Gulwani Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 84 | 2016 |
| Static deadlock detection for asynchronous C# programs A Santhiar, A Kanade Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 21 | 2017 |
| Efficient race detection in the presence of programmatic event loops A Santhiar, S Kaleeswaran, A Kanade Proceedings of the 25th International Symposium on Software Testing and …, 2016 | 11 | 2016 |
| Data-driven test selection at scale S Mehta, F Farmahinifarahani, R Bhagwan, S Guptha, S Jafari, R Kumar, ... Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 7 | 2021 |
| Mining unit tests for discovery and migration of math APIs A Santhiar, O Pandita, A Kanade ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-33, 2014 | 7 | 2014 |
| Semantics of Asynchronous C♯ A Santhiar, A Kanade | 2 | 2017 |
| Discovering math APIs by mining unit tests A Santhiar, O Pandita, A Kanade Fundamental Approaches to Software Engineering: 16th International …, 2013 | 2 | 2013 |
| Concurrency Analysis and Mining Techniques for APIs A Santhiar | | 2018 |
Aditya KanadeMicrosoft Research IndiaVerified email at microsoft.com
