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)
  • Prime Minister’s Research Fellow
• Sai Venkata Krishnan (2021-) (co-supervised with Chester Rebeiro)
  • Prime Minister’s Research Fellow

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)
  • MMTK for OCaml
• Athish Pranav, UGRC, IITM (Monsoon 2024)
  • Verifiable voting systems

Alumni

• Sooraj Srinivasan, UGRC, IITM (2023)
  • Irmin
• 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:

• Derek Dreyer’s series of talks on writing papers and giving talks:
  • How to write papers and give talks that people can follow
  • How To Write Papers So People Can Read Them