Mukund Raghothaman

Department of Computer and Information Science
University of Pennsylvania
3330 Walnut St GRW 571, Philadelphia, PA 19104
Telephone: +1 (302) 438-2978
Google Scholar Profile · DBLP


I am a Ph.D. student at the University of Pennsylvania, advised by Rajeev Alur, and am funded by the NSF ExCAPE grant.

I study automata theory and its applications to processing streaming data. I designed DReX, a domain-specific language to describe stream transformations, and am now looking at extensions to quantitative functions, approximate query evaluation, and applications to the static analysis of string manipulating programs.

More broadly, I am interested in formal verification and program synthesis. Program synthesis is the problem of converting human intentions into concrete programs. The input is often vague and exploratory: I spent two summers working with Youssef Hamadi and Yi Wei on the synthesis of idiomatic code snippets for the Bing Code Search Tool at Microsoft Research Cambridge. I was also part of the team that formalized SyGuS.

In 2010, I graduated from the Indian Institute of Technology, Guwahati with an undergraduate degree in computer science.


In submission

  1. Mukund Raghothaman, Yi Wei, and Youssef Hamadi. SWIM: Synthesize What I Mean. 2015.
  2. Rajeev Alur, Dana Fisman, and Mukund Raghothaman. Regular programming for quantitative properties of data streams. 2015.


  1. Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa. Automatic completion of distributed protocols with symmetry. CAV, 2015.
  2. Rajeev Alur, Loris D'Antoni, and Mukund Raghothaman. DReX: A declarative language for efficiently evaluating regular string transformations. POPL, 2015.
  3. Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa. Synthesizing finite-state protocols from scenarios and requirements. HVC, 2014.
  4. Rajeev Alur, Adam Freilich, and Mukund Raghothaman. Regular combinators for string transformations. CSL-LICS, 2014.
  5. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo Martin, Mukund Raghothaman, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. FMCAD, 2013.
  6. Rajeev Alur and Mukund Raghothaman. Decision problems for additive regular functions. ICALP, 2013.
  7. Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan. Regular functions and cost register automata. LICS, 2013.

Technical reports

  1. Mukund Raghothaman. Regular programming over data streams. Ph.D. Thesis Proposal, 2015.
  2. Mukund Raghothaman and Abhishek Udupa. Language to specify syntax-guided synthesis problems. CoRR, abs/1405.5590, 2014.



  • Research Intern at Microsoft Research Ltd., Cambridge, U.K.
    June–August, 2014, June–August, 2013
    Advised by: Youssef Hamadi, Yi Wei
  • Software Development Engineer Intern at Microsoft Corporation, Redmond, WA
    May–July, 2009


  • Spring 2012, Teaching assistant for Software Foundations, CIS 500
  • Fall 2011, Teaching assistant for Automata, Computability, and Complexity, CIS 262

Professional activities

  • POPL 2016, Artifact Evaluation Committee
  • PLDI 2016, External Review Committee