| 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 | 172 | 2017 |
| Quantitative synthesis for concurrent programs P Černı, K Chatterjee, T Henzinger, A Radhakrishna, R Singh Computer Aided Verification, 243-259, 2011 | 109 | 2011 |
| Simulation distances P Černı, TA Henzinger, A Radhakrishna CONCUR 2010-Concurrency Theory, 253-268, 2010 | 90 | 2010 |
| Model checking of linearizability of concurrent list implementations P Černı, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 62 | 2010 |
| Synthesis through unification R Alur, P Černı, A Radhakrishna Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 61 | 2015 |
| Efficient synthesis for concurrency by semantics-preserving transformations P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 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 | 44 | 2019 |
| Quantitative abstraction refinement P Cerny, TA Henzinger, A Radhakrishna Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 38 | 2013 |
| Gist: A Solver for Probabilistic Games. K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna CAV 10, 665-669, 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 |
| Regression-free synthesis for concurrency P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 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 |
| 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 | 24 | 2015 |
| Battery transition systems U Boker, TA Henzinger, A Radhakrishna Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 24 | 2014 |
| Feedback-driven semi-supervised synthesis of program transformations. X Gao, S Barke, A Radhakrishna, G Soares, S Gulwani, A Leung, ... Proc. ACM Program. Lang. 4 (OOPSLA), 219:1-219:30, 2020 | 21 | 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 | 14 | 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 | 13 | 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 |
| Interface simulation distances P Černı, M Chmelik, TA Henzinger, A Radhakrishna Theoretical Computer Science 560, 348-363, 2014 | 11 | 2014 |
