| Syntax-Guided Synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... Formal Methods in Computer-Aided Design (FMCAD), 1-8, 2013 | 845 | 2013 |
| SWIM: Synthesizing What I Mean (Code Search and Idiomatic Snippet Synthesis) M Raghothaman, Y Wei, Y Hamadi 38th International Conference on Software Engineering (ICSE), 357-367, 2016 | 182 | 2016 |
| Learning Loop Invariants for Program Verification X Si, H Dai, M Raghothaman, M Naik, L Song Advances in Neural Information Processing Systems 31 (NeurIPS), 7751-7762, 2018 | 112 | 2018 |
| Regular Functions and Cost Register Automata R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan 28th Annual Symposium on Logic in Computer Science (LICS), 13-22, 2013 | 104 | 2013 |
| Regular Programming for Quantitative Properties of Data Streams R Alur, D Fisman, M Raghothaman Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 79 | 2016 |
| Regular Combinators for String Transformations R Alur, A Freilich, M Raghothaman Joint Meeting of the 23rd Annual Conference on Computer Science Logic (CSL …, 2014 | 64 | 2014 |
| StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries Over Streaming Data K Mamouras, M Raghothaman, R Alur, ZG Ives, S Khanna 38th Conference on Programming Language Design and Implementation (PLDI …, 2017 | 57 | 2017 |
| User-Guided Program Reasoning Using Bayesian Inference M Raghothaman, S Kulkarni, K Heo, M Naik 39th Conference on Programming Language Design and Implementation (PLDI …, 2018 | 53 | 2018 |
| Provenance-Guided Synthesis of Datalog Programs M Raghothaman, J Mendelson, D Zhao, B Scholz, M Naik 47th Annual Symposium on Principles of Programming Languages (POPL), 2020 | 50 | 2020 |
| Synthesizing Datalog Programs Using Numerical Relaxation X Si, M Raghothaman, K Heo, M Naik 28th International Joint Conference on Artificial Intelligence (IJCAI-19), 2019 | 49 | 2019 |
| Synthesizing Finite-State Protocols From Scenarios and Requirements R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa 10th Haifa Verification Conference (HVC), 75-91, 2014 | 41 | 2014 |
| DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations R Alur, L D'Antoni, M Raghothaman 42nd Symposium on Principles of Programming Languages (POPL), 125-137, 2015 | 40 | 2015 |
| Language to Specify Syntax-Guided Synthesis Problems M Raghothaman, A Udupa arXiv preprint arXiv:1405.5590, 2014 | 29 | 2014 |
| Decision Problems for Additive Regular Functions R Alur, M Raghothaman International Colloquium on Automata, Languages, and Programming (ICALP), 37-48, 2013 | 29 | 2013 |
| Automatic Completion of Distributed Protocols With Symmetry R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa 27th International Conference on Computer Aided Verification (CAV), 395-412, 2015 | 27 | 2015 |
| Streamable Regular Transductions R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford Theoretical Computer Science (TCS) 807, 15-41, 2020 | 18 | 2020 |
| Continuously Reasoning About Programs Using Differential Bayesian Inference K Heo, M Raghothaman, X Si, M Naik 40th Conference on Programming Language Design and Implementation (PLDI …, 2019 | 10 | 2019 |
| Example-guided synthesis of relational queries A Thakkar, A Naik, N Sands, R Alur, M Naik, M Raghothaman Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 9 | 2021 |
| On Repair With Probabilistic Attribute Grammars M Koukoutos, M Raghothaman, E Kneuss, V Kuncak arXiv preprint arXiv:1707.04148, 2017 | 9 | 2017 |
| Sporq: An Interactive Environment for Exploring Code using Query-by-Example A Naik, J Mendelson, N Sands, Y Wang, M Naik, M Raghothaman The 34th Annual ACM Symposium on User Interface Software and Technology, 84-99, 2021 | 7 | 2021 |
