Scholar
Mukund Raghothaman
Google Scholar ID: 56YYqRcAAAAJ
University of Southern California
Citations & Impact
Citations
1,713
H-index
18
i10-index
27
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Published papers at top-tier venues including PLDI, POPL, FSE, ICSE, OOPSLA, IJCAI, UIST, VLHCC, HotNets, PPDP, and PADL.
- Proposed Semantic Regular Expressions, combining classical regex pattern matching with external oracles (e.g., LLMs).
- Introduced Subspecifications to improve programmer comprehension of verified/synthesized code (OOPSLA 2023, VLHCC 2024, HotNets 2024).
- Pioneered Bayesian program reasoning to incorporate uncertainty into program analysis (PLDI 2018/2019, FSE 2021, ICSE 2022).
- Worked on synthesizing Datalog programs for automatic program analysis (IJCAI 2019, POPL 2020, PLDI 2021, OOPSLA 2023, UIST 2021).
- Improved underlying Datalog solvers (PPDP 2021, PADL 2023).
Research Experience
- Currently faculty at the Thomas Lord Department of Computer Science, University of Southern California.
- Previously a postdoc at the University of Pennsylvania, working with Mayur Naik.
- Developed the Bingo and Drake probabilistic static analysis frameworks.
- Contributed to formalizing the SyGuS (Syntax-Guided Synthesis) framework.
- Designed domain-specific languages and programming abstractions for stream processing systems.
Co-authors