Advising
I have had the pleasure of working with wonderful students over the years.
PhD Students
- Sheera Shamsu (2019-) (co-supervised with Kartik Nagar)
- Vimala S (2020-) (co-supervised with Kartik Nagar)
- Sai Venkata Krishnan (2021-) (co-supervised with Chester Rebeiro)
- Durwasa Chakraborty (2025-)
MS Students
Alumni
- Deepali Ande, MS, IITM (2020-2023). Next: Goldman Sachs.
- Sumit Padhiyar, MS, IITM (2019-2021). thesis.
- Shashank Shekhar Dubey, MS, IITM (2019-2021). thesis.
MTech
Alumni
- Atul Dhiman, MTech, IITM (2019-2020). Next: Oracle India.
- Domainslib for Multicore OCaml
BTech
- Aditya Pravin Palwe (Spring 2025)
- Compiling OCaml to MLIR: Middle-end
- Aditya Srivastava (Spring 2025)
- Compiling OCaml to MLIR: Backend
- Chandaluru Hema Venkata Raadhes (Spring 2025)
- Athish Pranav, UGRC, IITM (Monsoon 2024)
- Verifiable voting systems
Alumni
- Sooraj Srinivasan, UGRC, IITM (2023)
- Mantra Trambadia, UGRC, IITM (2023)
- Verified interval trees in F*
- Narasimha YSS, UGRC, IITM (2023)
- Anirudh Sunder Raj (Dual Degree Project; 2020 - 2021). Next: Rubrick.
- Stack switching support in Wasmtime
- Arnhav Datar, UGRC, IITM (2021). Next: MSCS @ CMU.
Interns
Alumni
- Dipesh Kafle (NITT; 2022-2023).
- Adharsh Kamath (NITK; 2021-2022). Next: Research Fellow @ Microsoft Research India.
- Shagun Goel (Stanford University), Intern at OCaml Labs (Summer 2020). Next: continuing at Stanford.
- Anmol Sahoo, RSDE, IITM (2019-2020). Next: PhD student at Purdue University.
- Anirudh Sunder Raj (IITM), Intern at OCaml Labs (Summer 2020). Next: continuing at IITM.
- Pratap Singh (Harvard University), Intern at IITM (Summer 2019). Next: continuing at Harvard.
Research Software Development Engineers (RSDEs)
Alumni
- Shakti Kannan, RSDE, IITM (2020-2021). Next: Segfault Systems.
- Shubham Kumar, RSDE, IITM (2019-2021). Next: Segfault Systems.
- Sudha Parimala, RSDE, IITM (2019-2021). Next: Segfault Systems.
- Sai Venkata Krishnan, RSDE, IITM (2019-2021). Next: PhD student at IITM.
- Shubhendra Singhal, RSDE, IITM (2020-2021). Next: MS student at U Penn.
At University of Cambridge
- Simon Fowler, Intern, University of Edinburgh
- Matevz Polijanc, Part II Project, University of Cambridge
- Charlie Crisp, Part II Project, University of Cambridge
- Henry Mercer, Part II Project, University of Cambridge
- Nicolas Assouad, Intern, ENS Paris
- Matt Harrison, Part II Project, University of Cambridge
- Maxime Lesourd, Intern, ENS de Lyon
- Philip Dexter, Intern, Binghampton University
- James Wright, Intern, University of Cambridge
- Armael Gueneau, Intern, ENS de Lyon
- Theo Laurent, Intern, ENS Paris
- Guillain Potron, Intern, ENS de Lyon
Advice
It is a pity that advising cannot but include advice. There is very good advice
from the Programming Language Mentoring
Workshops. Many of the talks are
available online on YouTube. Here are the ones that I found to be quite useful: