| Scaling enumerative program synthesis via divide and conquer R Alur, A Radhakrishna, A Udupa International conference on tools and algorithms for the construction and …, 2017 | 229 | 2017 |
| Quantitative synthesis for concurrent programs P Černý, K Chatterjee, T Henzinger, A Radhakrishna, R Singh Computer Aided Verification, 243-259, 2011 | 113 | 2011 |
| Simulation distances P Černý, TA Henzinger, A Radhakrishna CONCUR 2010-Concurrency Theory, 253-268, 2010 | 94 | 2010 |
| Synthesis through unification R Alur, P Černý, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015 | 86 | 2015 |
| Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 68 | 2021 |
| On the fly synthesis of edit suggestions A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ... Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 68 | 2019 |
| Model checking of linearizability of concurrent list implementations P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur International Conference on Computer Aided Verification, 465-479, 2010 | 63 | 2010 |
| Efficient synthesis for concurrency by semantics-preserving transformations P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International Conference on Computer Aided Verification, 951-967, 2013 | 55 | 2013 |
| Quantitative abstraction refinement P Cerny, TA Henzinger, A Radhakrishna Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 41 | 2013 |
| Gist: A Solver for Probabilistic Games K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 36 | 2010 |
| Feedback-driven semi-supervised synthesis of program transformations X Gao, S Barke, A Radhakrishna, G Soares, S Gulwani, A Leung, ... Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 29 | 2020 |
| From non-preemptive to preemptive scheduling using synchronization synthesis P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ... Formal methods in system design 50, 97-139, 2017 | 29 | 2017 |
| Succinct representation of concurrent trace sets A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 29 | 2015 |
| Flashfill++: Scaling programming by example by cutting to the chase J Cambronero, S Gulwani, V Le, D Perelman, A Radhakrishna, C Simon, ... Proceedings of the ACM on Programming Languages 7 (POPL), 952-981, 2023 | 27 | 2023 |
| Regression-free synthesis for concurrency P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014 | 27 | 2014 |
| Segment abstraction for worst-case execution time analysis P Černý, TA Henzinger, L Kovács, A Radhakrishna, J Zwirchmayr Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 26 | 2015 |
| Battery transition systems U Boker, TA Henzinger, A Radhakrishna Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 26 | 2014 |
| Synthesis and machine learning for heterogeneous extraction A Iyer, M Jonnalagedda, S Parthasarathy, A Radhakrishna, SK Rajamani Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 23 | 2019 |
| Conformance constraint discovery: Measuring trust in data-driven systems A Fariha, A Tiwari, A Radhakrishna, S Gulwani, A Meliou Proceedings of the 2021 International Conference on Management of Data, 499-512, 2021 | 21 | 2021 |
| Towards more effective AI-assisted programming: A systematic design exploration to improve Visual Studio IntelliCode’s user experience P Vaithilingam, EL Glassman, P Groenwegen, S Gulwani, AZ Henley, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 19 | 2023 |
