Mukund Raghothaman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
21
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables. | Nicolaas Weideman, Sima Arasteh, Mukund Raghothaman, Jelena Mirkovic, Christophe Hauser |
| 2026 | SIGCOMM | Explainable Network Verification via Localized Subspecification. | Yongzheng Zhang, Yaxuan Lin, Haoxian Chen, Ruize Ma, Amirmohammad Nazari, Mukund Raghothaman, Peng Zhang |
| 2026 | SANER | Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation. | Sara Baradaran, Liyan Huang, Mukund Raghothaman, Weihang Wang |
| 2026 | SANER | Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing. | Sara Baradaran, Mukund Raghothaman |
| 2025 | FMCAD | "How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits. | Amirmohammad Nazari, Matin Amini, Mukund Raghothaman |
| 2025 | FMCAD | Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models. | Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh |
| 2025 | SAC | LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants. | Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi |
| 2025 | VMCAI | Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. | Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi |
| 2024 | ACSAC | BinHunter: A Fine-Grained Graph Representation for Localizing Vulnerabilities in Binary Executables | Sima Arasteh, Jelena Mirkovic, Mukund Raghothaman, Christophe Hauser |
| 2024 | HOTNETS | Localized Explanations for Automatically Synthesized Network Configurations. | Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen |
| 2024 | ICSE | NomNom: Explanatory Function Names for Program Synthesizers. | Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman |
| 2023 | PADL | Automatic Rollback Suggestions for Incremental Datalog Evaluation. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2022 | ICSE | Learning Probabilistic Models for Static Analysis Alarms. | Hyunsu Kim, Mukund Raghothaman, Kihong Heo |
| 2021 | AAAI | GENSYNTH: Synthesizing Datalog Programs without Language Bias. | Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik |
| 2021 | ICSE | Data-Driven Synthesis of Provably Sound Side Channel Analyses. | Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang |
| 2021 | PLDI | Example-guided synthesis of relational queries. | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
| 2021 | PPDP | Towards Elastic Incrementalization for Datalog. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2021 | UIST | Sporq: An Interactive Environment for Exploring Code using Query-by-Example. | Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman |
| 2019 | IJCAI | Synthesizing Datalog Programs using Numerical Relaxation. | Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik |
| 2019 | PLDI | Continuously reasoning about programs using differential Bayesian inference. | Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik |
| 2018 | PLDI | User-guided program reasoning using Bayesian inference. | Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik |
| 2017 | PLDI | StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. | Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
| 2016 | ESOP | Regular Programming for Quantitative Properties of Data Streams. | Rajeev Alur, Dana Fisman, Mukund Raghothaman |
| 2016 | ICSE | SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. | Mukund Raghothaman, Yi Wei, Youssef Hamadi |
| 2015 | CAV | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2015 | POPL | DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. | Rajeev Alur, Loris D'Antoni, Mukund Raghothaman |
| 2014 | CSL | Regular combinators for string transformations. | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | ICALP | Decision Problems for Additive Regular Functions. | Rajeev Alur, Mukund Raghothaman |
| 2013 | LICS | Regular Functions and Cost Register Automata. | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |