2023 | |
| PADL 2023 | David Zhao, Pavle Subotić, Mukund Raghothaman,
Bernhard Scholz. Automatic Rollback Suggestions for Incremental Datalog Evaluation. Extended version invited for submission to the Theory and Practice of Logic Programming [Paper] |
2022 | |
| ICSE 2022 | Hyunsu Kim, Mukund Raghothaman, Kihong Heo. Learning Probabilistic Models for Static Analysis Alarms. Distinguished Artifact Award [Paper], [Artifact] |
2021 | |
| UIST 2021 | Aaditya Naik, Jonathan Mendelson, Nathaniel Sands,
Yuepeng Wang, Mayur Naik, Mukund Raghothaman. Sporq: An Interactive Environment for Exploring Code Using Query-by-Example. [Paper] |
| PPDP 2021 | David Zhao, Mukund Raghothaman, Pavel Subotić,
Bernhard Scholz. Towards Elastic Incrementalization for Datalog. [Paper] |
| FSE 2021 | Tianyi Chen, Kihong Heo, Mukund Raghothaman. Boosting Static Analysis Accuracy With Instrumented Test Executions. [Paper], [Slides], [Artifact] |
| PLDI 2021 | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev
Alur, Mayur Naik, Mukund Raghothaman Example-Guided Synthesis of Relational Queries. [Paper], [Video], [Artifact] |
| ICSE 2021 | Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao
Wang. Data-Driven Synthesis of Provably Sound Side Channel Analyses. [Paper], [Preprint] |
| AAAI 2021 | Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman,
Mayur Naik. GenSynth: Synthesizing Datalog Programs Without Language Bias. [Paper], [Short talk], [Long talk], [Demo], [Code 1], [Code 2] |
2020 | |
| POPL 2020 | Mukund Raghothaman, Jonathan Mendelson, David Zhao,
Mayur Naik, Bernhard Scholz. Provenance-Guided Synthesis of Datalog Programs. [Paper], [Slides], [Code], [Artifact] |
| TCS 2020 | Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund
Raghothaman, Caleb Stanford. Streamable Regular Transductions. [Paper] |
2019 | |
| IJCAI 2019 | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur
Naik. Synthesizing Datalog Programs Using Numerical Relaxation. [Paper], [Full version] |
| PLDI 2019 | Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur
Naik. Continuously Reasoning About Programs Using Differential Bayesian Inference. Distinguished Paper Award [Paper], [Slides], [Video Abstract] |
2018 | |
| NeurIPS 2018 Spotlight | Xujie Si, Hanjun Dai, Mukund
Raghothaman, Mayur Naik, Le Song. Learning Loop Invariants for Program Verification. [Paper], [Poster], [Video] |
| MLP 2018 | Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang,
Xujie Si, Kihong Heo, Woosuk Lee, Mayur Naik. Beyond Deductive Methods in Program Analysis. [Draft], [Slides], [Video] |
| PLDI 2018 | Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo,
Mayur Naik. User-Guided Program Reasoning Using Bayesian Inference. [Paper], [Full version], [Slides], [Video] |
2017 | |
| PLDI 2017 | Konstantinos Mamouras, Mukund Raghothaman, Rajeev
Alur, Zachary Ives, Sanjeev Khanna. StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries Over Streaming Data. [Paper] |
| 2017 | Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor
Kuncak. On Repair With Probabilistic Attribute Grammars. [Draft] |
| 2017 | Mukund Raghothaman. Regular Programming Over Data Streams. Ph.D. Thesis. University of Pennsylvania. [Thesis], [Slides] |
2016 | |
| ICSE 2016 | Mukund Raghothaman, Yi Wei, Youssef Hamadi. SWIM: Synthesize What I Mean. Code Search and Idiomatic Snippet Synthesis [Paper], [Full version], [Slides], [Extended Slides] |
| ESOP 2016 | Rajeev Alur, Dana Fisman, Mukund Raghothaman. Regular Programming for Quantitative Properties of Data Streams. [Paper], [Full version], [Slides], [IBM PL Day 2015 Slides] |
2015 | |
| CAV 2015 | Rajeev Alur, Mukund Raghothaman, Christos Stergiou,
Stavros Tripakis, Abhishek Udupa. Automatic Completion of Distributed Protocols With Symmetry. [Paper], [Full version] |
| POPL 2015 | Rajeev Alur, Loris D'Antoni, Mukund Raghothaman. DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. [Paper], [Full version], [Slides] |
| 2015 | Rajeev Alur, Rastislav Bodik, Eric Dallal, Dana Fisman, Pranav
Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo Martin, Mukund Raghothaman, Shambwaditya Saha,
Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-Guided Synthesis. In Dependable Software Systems Engineering. [Paper] (This is the extended version of the SyGuS proposal) |
2014 | |
| CSL-LICS 2014 | Rajeev Alur, Adam Freilich, Mukund
Raghothaman. Regular Combinators for String Transformations. [Paper], [Full version], [Slides] |
| HVC 2014 | Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos
Stergiou, Stavros Tripakis, and Abhishek Udupa. Synthesizing Finite-State Protocols From Scenarios and Requirements. [Paper], [Full version] |
| 2014 | Mukund Raghothaman and Abhishek Udupa. Language to specify syntax-guided synthesis problems. CoRR, abs/1405.5590. [arXiv] |
2013 | |
| FMCAD 2013 | Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo
Martin, Mukund Raghothaman, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek
Udupa. Syntax-Guided Synthesis. [Paper], [Extended version] |
| ICALP 2013 | Rajeev Alu and Mukund Raghothaman. Decision Problems for Additive Regular Functions. [Paper], [Full version], [Slides] |
| LICS 2013 | Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh,
Mukund Raghothaman, and Yifei Yuan. Regular Functions and Cost Register Automata. [Paper], [Full version] |
Last updated: Fri Aug 23 11:29:34 AM PDT 2024