2025 | |
| 2025 | David Zhao, Pavle Subotić, Mukund Raghothaman, Bernhard Scholz. Provenance Guided Rollback Suggestions. In submission. Extended version of [PADL 2023]. [Preprint] |
| VMCAI 2025 | Yuan Xia, Deepayan Sur, Aabha Pingle, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi. Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. Invited talk. [Preprint] |
2024 | |
| 2024 | Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman. Membership Testing for Semantic Regular Expressions. In submission. [Preprint] |
| ACSAC 2024 | Sima Arasteh, Jelena Mirkovic, Mukund Raghothaman, Christophe Hauser. BinHunter: A Fine-Grained Graph Representation for Localizing Vulnerabilities in Binary Executables. [Preprint], [Slides] |
| HotNets 2024 | Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen. Localized Explanations for Automatically Synthesized Network Configurations. [Paper] |
| ICSE 2024 | Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman. NomNom: Explanatory Function Names for Program Synthesizers. Invited poster. Full paper presented at [VLHCC 2024]. [Paper], [Poster] |
| VLHCC 2024 | Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, Mukund Raghothaman. Generating Function Names to Improve Comprehension of Synthesized Programs. [Paper], [Slides] |
2023 | |
| OOPSLA 2023 | Aalok Thakkar, Nathaniel Sands, Georgios Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. [Paper], [Slides] |
| OOPSLA 2023 | Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman. Explainable Program Synthesis by Localizing Specifications. [Paper], [Slides] |
| TNET 2023 | Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo. Synthesizing Formal Network Specifications from Input-Output Examples. IEEE / ACM Transactions on Networking. [Paper] |
| 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 | |
| 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] |
| ICSE 2021 | Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang. Data-Driven Synthesis of Provably Sound Side Channel Analyses. [Paper], [Preprint] |
| PLDI 2021 | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman. Example-Guided Synthesis of Relational Queries. [Paper], [Video], [Artifact] |
| PPDP 2021 | David Zhao, Mukund Raghothaman, Pavle 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] |
| 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] |
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, Abhishek Udupa. Syntax-Guided Synthesis. In Dependable Software Systems Engineering. This is the extended version of the SyGuS proposal. [Paper] |
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, 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 Alur and Mukund Raghothaman. Decision Problems for Additive Regular Functions. [Paper], [Full version], [Slides] |
| LICS 2013 | Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, Yifei Yuan. Regular Functions and Cost Register Automata. [Paper], [Full version] |
Last updated: Mon Jan 27 01:28:10 PM PST 2025