I am currently on the academic job market, looking for tenure-track positions starting Fall 2018.
- Research statement
- Teaching statement
- Selected papers:
- Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik. Interactive program
reasoning using Bayesian inference. In submission. Manuscript available on request.
- Mukund Raghothaman, Yi Wei, and Youssef Hamadi. SWIM: Synthesize What I Mean. ICSE,
- Rajeev Alur, Loris D'Antoni, and Mukund Raghothaman. DReX: A declarative
language for efficiently evaluating regular string transformations. POPL, 2015.