Mukund Raghothaman

Department of Computer and Information Science
University of Pennsylvania
3330 Walnut St GRW 571, Philadelphia, PA 19104
Telephone: +1 (302) 438-2978
CV · 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.

My research goal is to make programming easier by building new programming abstractions and assistance tools. In my thesis, I design DReX, a domain-specific language to describe stream transformations. I am now studying 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.


  1. Mukund Raghothaman, Yi Wei, and Youssef Hamadi. SWIM: Synthesize What I Mean. ICSE, 2016.
    [arXiv], [Slides], [EPFL Visit 2016 Slides]
  2. Rajeev Alur, Dana Fisman, and Mukund Raghothaman. Regular programming for quantitative properties of data streams. ESOP, 2016.
    [Paper], [Full version], [Slides], [IBM PL Day 2015 Slides]
  3. Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa. Automatic completion of distributed protocols with symmetry. CAV, 2015.
    [Paper], [arXiv]
  4. Rajeev Alur, Loris D'Antoni, and Mukund Raghothaman. DReX: A declarative language for efficiently evaluating regular string transformations. POPL, 2015.
    [Paper], [Full version], [Slides], [Demo website!]
  5. Rajeev Alur, Adam Freilich, and Mukund Raghothaman. Regular combinators for string transformations. CSL-LICS, 2014.
    [Paper], [arXiv], [Slides]
  6. Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa. Synthesizing finite-state protocols from scenarios and requirements. HVC, 2014.
    [Paper], [arXiv]
  7. 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.
  8. Rajeev Alur and Mukund Raghothaman. Decision problems for additive regular functions. ICALP, 2013.
    [Paper], [arXiv], [Slides]
  9. Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan. Regular functions and cost register automata. LICS, 2013.
    [Paper], [arXiv]

Technical reports

  1. Mukund Raghothaman. Regular programming over data streams. Ph.D. Thesis Proposal, 2015.
    [Document], [Slides]
  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

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