Publications (22)
Membership Testing for Semantic Regular Expressions
Yifei Huang, Matin Amini, Alexis Le Glaunec +2
Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables
Nicolaas Weideman, Sima Arasteh, Mukund Raghothaman +2
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman +1
Synthesizing Finite-state Protocols from Scenarios and Requirements
Rajeev Alur, Milo Martin, Mukund Raghothaman +3
Language to Specify Syntax-Guided Synthesis Problems
Mukund Raghothaman, Abhishek Udupa
Generating Complex Code Analyzers from Natural Language Questions
Amirmohammad Nazari, Sadra Sabouri, Wang Bill Zhu +3
Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, Mukund Raghothaman +1
SWIM: Synthesizing What I Mean
Mukund Raghothaman, Yi Wei, Youssef Hamadi
Generative Explanations for Program Synthesizers
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta +1
Data-Driven Template-Free Invariant Generation
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman +1
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis
Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu +4
Regular Combinators for String Transformations
Rajeev Alur, Adam Freilich, Mukund Raghothaman
Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware
Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman +4
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh +2
Automatic Completion of Distributed Protocols with Symmetry
Rajeev Alur, Mukund Raghothaman, Christos Stergiou +2
Synthesizing Datalog Programs Using Numerical Relaxation
Xujie Si, Mukund Raghothaman, Kihong Heo +1
Decision Problems for Additive Regular Functions
Rajeev Alur, Mukund Raghothaman
The SyGuS Language Standard Version 2.1
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman +2
Streamable Regular Transductions
Rajeev Alur, Dana Fisman, Konstantinos Mamouras +2
On Repair with Probabilistic Attribute Grammars
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss +1
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
Sara Baradaran, Liyan Huang, Mukund Raghothaman +1
Superflows: A New Tool for Forensic Network Flow Analysis
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh +3