Mukund Raghothaman

Mukund Raghothaman is a researcher at the University of Southern California, focusing on the intersection of programming languages, software engineering, and automated reasoning. He leverages techniques from machine learning and formal methods to develop tools for program synthesis, verification, and static analysis that improve software quality and developer productivity.

• Key research areas: Semantic Regular Expressions, Subspecifications, Bayesian Program Reasoning, Datalog Synthesis
• Contributed to foundational frameworks like SyGuS and Bingo/Drake for probabilistic static analysis
• Active in program committee roles for conferences like POPL, PLDI, and SPLASH

Scientific contributions include:

• Distinguished Artifact Award (ICSE 2022)
• Distinguished Paper Award (PLDI 2019)

His recent work explores LLM integration for invariant generation, network configuration explanations, and function name synthesis to enhance program understanding.