Mukund Raghothaman

62 papers A* 13A 2B 4C 2Misc 2Journal 28Unranked 10
YearRankTypeTitle / Venue / Authors
2025 B conf
"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits.
FMCAD
Amirmohammad Nazari, Matin Amini, Mukund Raghothaman
2025 — conf
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis.
SIGSOFT FSE Companion
Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser
2025 J jnl
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis.
CoRR
Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser
2025 J jnl
Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables.
CoRR
Nicolaas Weideman, Sima Arasteh, Mukund Raghothaman, Jelena Mirkovic, Christophe Hauser
2025 — conf
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.
VMCAI (1)
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 B conf
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.
FMCAD
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh
2025 — conf
Interpretable Network Verification via Subspecifications.
APNet
Yongzheng Zhang, Haoxian Chen, Amirmohammad Nazari, Mukund Raghothaman
2025 Misc conf
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
SAC
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 J jnl
Membership Testing for Semantic Regular Expressions.
Proc. ACM Program. Lang.
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman
2025 J jnl
Provenance Guided Rollback Suggestions.
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 J jnl
Provenance Guided Rollback Suggestions.
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 J jnl
Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware.
CoRR
Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman, Dennis Perepech, Mukund Raghothaman, Christophe Hauser, Luis Garcia
2024 A conf
BinHunter: A Fine-Grained Graph Representation for Localizing Vulnerabilities in Binary Executables
ACSAC
Sima Arasteh, Jelena Mirkovic, Mukund Raghothaman, Christophe Hauser
2024 B conf
Generating Function Names to Improve Comprehension of Synthesized Programs.
VL/HCC
Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, Mukund Raghothaman
2024 J jnl
Generative Explanations for Program Synthesizers.
CoRR
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
2024 Misc conf
Localized Explanations for Automatically Synthesized Network Configurations.
HotNets
Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen
2024 J jnl
Membership Testing for Semantic Regular Expressions.
CoRR
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman
2024 — conf
NomNom: Explanatory Function Names for Program Synthesizers.
ICSE Companion
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
2024 — conf
Optimal Flow Collector Placement In Experimental Networks.
EuroS&P Workshops
Ganesh Chennimalai Sankaran, Mukund Raghothaman, M. Patrick Collins
2024 J jnl
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation.
CoRR
Sara Baradaran, Liyan Huang, Mukund Raghothaman, Weihang Wang
2024 J jnl
Superflows: A New Tool for Forensic Network Flow Analysis.
CoRR
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
2023 C conf
Automatic Rollback Suggestions for Incremental Datalog Evaluation.
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2023 J jnl
Data-Driven Template-Free Invariant Generation.
CoRR
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2023 J jnl
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang.
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
2023 J jnl
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.
Proc. ACM Program. Lang.
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2023 J jnl
Synthesizing Formal Network Specifications From Input-Output Examples.
IEEE/ACM Trans. Netw.
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
2023 J jnl
The SyGuS Language Standard Version 2.1.
CoRR
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
2022 A* conf
Learning Probabilistic Models for Static Analysis Alarms.
ICSE
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
2021 — conf
Boosting static analysis accuracy with instrumented test executions.
ESEC/SIGSOFT FSE
Tianyi Chen, Kihong Heo, Mukund Raghothaman
2021 A* conf
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
ICSE
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021 J jnl
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
CoRR
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021 A* conf
Example-guided synthesis of relational queries.
PLDI
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2021 A* conf
GENSYNTH: Synthesizing Datalog Programs without Language Bias.
AAAI
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
2021 A* conf
Sporq: An Interactive Environment for Exploring Code using Query-by-Example.
UIST
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
2021 C conf
Towards Elastic Incrementalization for Datalog.
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2020 J jnl
Provenance-guided synthesis of Datalog programs.
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
2020 J jnl
Streamable regular transductions.
Theor. Comput. Sci.
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2019 A* conf
Continuously reasoning about programs using differential Bayesian inference.
PLDI
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
2019 J jnl
Synthesizing Datalog Programs Using Numerical Relaxation.
CoRR
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2019 A* conf
Synthesizing Datalog Programs using Numerical Relaxation.
IJCAI
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2018 A* conf
Learning Loop Invariants for Program Verification.
NeurIPS
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
2018 J jnl
Streamable Regular Transductions.
CoRR
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2018 A* conf
User-guided program reasoning using Bayesian inference.
PLDI
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
2017 J jnl
On Repair with Probabilistic Attribute Grammars.
CoRR
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak
2017 A* conf
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data.
PLDI
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
2016 A conf
Regular Programming for Quantitative Properties of Data Streams.
ESOP
Rajeev Alur, Dana Fisman, Mukund Raghothaman
2016 A* conf
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis.
ICSE
Mukund Raghothaman, Yi Wei, Youssef Hamadi
2015 — conf
Automatic Completion of Distributed Protocols with Symmetry.
CAV (2)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015 J jnl
Automatic Completion of Distributed Protocols with Symmetry.
CoRR
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015 A* conf
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.
POPL
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
2015 J jnl
SWIM: Synthesizing What I Mean.
CoRR
Mukund Raghothaman, Yi Wei, Youssef Hamadi
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2014 J jnl
Language to Specify Syntax-Guided Synthesis Problems.
CoRR
Mukund Raghothaman, Abhishek Udupa
2014 J jnl
Regular Combinators for String Transformations.
CoRR
Rajeev Alur, Adam Freilich, Mukund Raghothaman
2014 — conf
Regular combinators for string transformations.
CSL-LICS
Rajeev Alur, Adam Freilich, Mukund Raghothaman
2014 — conf
Synthesizing Finite-State Protocols from Scenarios and Requirements.
Haifa Verification Conference
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014 J jnl
Synthesizing Finite-state Protocols from Scenarios and Requirements.
CoRR
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2013 J jnl
Decision Problems for Additive Regular Functions
CoRR
Rajeev Alur, Mukund Raghothaman
2013 — conf
Decision Problems for Additive Regular Functions.
ICALP (2)
Rajeev Alur, Mukund Raghothaman
2013 A* conf
Regular Functions and Cost Register Automata.
LICS
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
2013 B conf
Syntax-guided synthesis.
FMCAD
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2011 J jnl
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
CoRR
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan