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 | 231 | 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 | 73 | 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 |
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 | 30 | 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 | 30 | 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 | 29 | 2020 |
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 | 28 | 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 | 24 | 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 | 20 | 2023 |