| Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... 2013 Formal Methods in Computer-Aided Design, 1-8, 2013 | 992 | 2013 |
| TRANSIT: specifying protocols with concolic snippets A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur ACM SIGPLAN Notices 48 (6), 287-296, 2013 | 263 | 2013 |
| 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 | 228 | 2017 |
| Software pipelined execution of stream programs on GPUs A Udupa, R Govindarajan, MJ Thazhuthaveetil 2009 International Symposium on Code Generation and Optimization, 200-209, 2009 | 144 | 2009 |
| 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 |
| Synthesizing finite-state protocols from scenarios and requirements R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 50 | 2014 |
| ALTER: exploiting breakable dependences for parallelization A Udupa, K Rajan, W Thies Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 50 | 2011 |
| Language to specify syntax-guided synthesis problems M Raghothaman, A Udupa arXiv preprint arXiv:1405.5590, 2014 | 32 | 2014 |
| Automatic completion of distributed protocols with symmetry R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 31 | 2015 |
| Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017 | 28 | 2017 |
| Depth bounded explicit-state model checking A Udupa, A Desai, S Rajamani International SPIN Workshop on Model Checking of Software, 57-74, 2011 | 28 | 2011 |
| Synergistic execution of stream programs on multicores with accelerators A Udupa, R Govindarajan, MJ Thazhuthaveetil Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009 | 27 | 2009 |
| Synthesized programming-by-example programs A Udupa, S Gulwani US Patent 10,831,451, 2020 | 14 | 2020 |
| Output prefix specification transformers S Gulwani, A Udupa US Patent 10,635,414, 2020 | 11 | 2020 |
| The SyGuS Language Standard Version 2.1 S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa arXiv preprint arXiv:2312.06001, 2023 | 8 | 2023 |
| Quantitative programming by examples S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa arXiv preprint arXiv:1909.05964, 2019 | 5 | 2019 |
| The SyGuS language standard version 2.0 M Raghothaman, A Reynolds, A Udupa Tech. rep, 2019 | 2 | 2019 |
| ALTER: Exploiting breakable dependences for parallelization K Rajan, B Thies Proceedings of the ACM SIGPLAN Conference on Programming Language Design and …, 2011 | 2 | 2011 |
| Egress traffic engineering in public clouds with commodity routers on the WAN edge A Udupa, S Agarwal, RA Beckett, R Singh, P Bahl US Patent 11,979,318, 2024 | 1 | 2024 |
| Representation and orchestration for virtual wide area networks RA Beckett, S Agarwal, P Bahl, R Singh, A Udupa US Patent 11,799,731, 2023 | 1 | 2023 |
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
