| 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 | 205 | 2017 |
| Quantitative synthesis for concurrent programs P Černý, K Chatterjee, T Henzinger, A Radhakrishna, R Singh Computer Aided Verification, 243-259, 2011 | 110 | 2011 |
| Simulation distances P Černý, TA Henzinger, A Radhakrishna CONCUR 2010-Concurrency Theory, 253-268, 2010 | 93 | 2010 |
| Synthesis through unification R Alur, P Černý, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015 | 74 | 2015 |
| 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 | 62 | 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 | 61 | 2010 |
| 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 | 57 | 2021 |
| 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 | 54 | 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 | 35 | 2010 |
| 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 |
| 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 | 27 | 2015 |
| 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 | 26 | 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 | 26 | 2017 |
| Regression-free synthesis for concurrency P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014 | 26 | 2014 |
| Battery transition systems U Boker, TA Henzinger, A Radhakrishna Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 26 | 2014 |
| 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 | 20 | 2023 |
| 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 | 20 | 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 | 19 | 2021 |
| Synthesis from incompatible specifications P Černý, S Gopi, TA Henzinger, A Radhakrishna, N Totla Proceedings of the tenth ACM international conference on Embedded software …, 2012 | 14 | 2012 |
