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
• Durwasa Chakraborty (2025-)
  • co-supervised with Kartik Nagar
• Nitish Yadav (2025-)
  • co-supervised with Kartik Nagar

MS Students

• Vishakh Desai (2025-)
  • co-supervised with Aishwarya T
• Sanjeev Reddy (2025-)

MTech

• Surendar M (2025-)
• Sagar Biswas (2025-)

BTech Students

• Md. Isfarul Haque, UGRC, (Moonsoon 2025)
• Pranav Ramesh, UGRC, (Moonsoon 2025)

Research Staff

• Alina Banerjee (2025-)

Interns

Alumni

• 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
• Deepali Ande, MS, IITM (2020-2023). Next: Goldman Sachs.
• Sooraj Srinivasan, UGRC, IITM (2023)
  • Irmin
• Mantra Trambadia, UGRC, IITM (2023)
  • Verified interval trees in F*
• Narasimha YSS, UGRC, IITM (2023)
• Dipesh Kafle, Intern, (NITT; 2022-2023).
• Adharsh Kamath, Intern, (NITK; 2021-2022). Next: Research Fellow @ Microsoft Research India.
• Sumit Padhiyar, MS, IITM (2019-2021). thesis.
• Shashank Shekhar Dubey, MS, IITM (2019-2021). thesis.
• Anirudh Sunder Raj (Dual Degree Project; 2020 - 2021). Next: Rubrick.
  • Stack switching support in Wasmtime
• Arnhav Datar, UGRC, IITM (2021). Next: MSCS @ CMU.
• 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.
• Atul Dhiman, MTech, IITM (2019-2020). Next: Oracle India.
  • Domainslib for Multicore OCaml
• 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.
• 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:

• How to write papers and give talks that people can follow
• How To Write Papers So People Can Read Them
• How To Read a Research Paper: Seven Simple Ideas