| Scaling enumerative program synthesis via divide and conquer R Alur, A Radhakrishna, A Udupa Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 182 | 2017 |
| Quantitative synthesis for concurrent programs P Černı, K Chatterjee, T Henzinger, A Radhakrishna, R Singh Computer Aided Verification, 243-259, 2011 | 108 | 2011 |
| Simulation distances P Černı, TA Henzinger, A Radhakrishna CONCUR 2010-Concurrency Theory, 253-268, 2010 | 92 | 2010 |
| Synthesis through unification R Alur, P Černı, A Radhakrishna International Conference on Computer Aided Verification, 163-179, 2015 | 65 | 2015 |
| 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 | 62 | 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 | 52 | 2013 |
| 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 | 50 | 2019 |
| 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 | 40 | 2021 |
| Quantitative abstraction refinement P Cerny, TA Henzinger, A Radhakrishna Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 39 | 2013 |
| Gist: A Solver for Probabilistic Games K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 34 | 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 | 25 | 2015 |
| Regression-free synthesis for concurrency P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014 | 25 | 2014 |
| Battery transition systems U Boker, TA Henzinger, A Radhakrishna Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 25 | 2014 |
| 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 | 24 | 2017 |
| 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 | 23 | 2020 |
| 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 | 17 | 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 |
| DroidStar callback typestates for Android classes A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 12 | 2018 |
