Gokul Rajiv

Hi, I'm Gokul! I am a masters student at ETH Zürich, advised by Peter Müller. Previously, I studied Computer Science and Mathematics at the National University of Singapore, where I worked with Ilya Sergey on program (and language) synthesis, repair, and verification. Before programming languages, I worked on autonomous submarines and marine surface vessels in a student competition team called Bumblebee.

Broadly, my interests revolve around formal methods, program verification and PL design.

Me in an elevator

Feel free to reach me by email at: grajiv@ethz.ch

News

• [2026-08-01] I’m moving to Zurich in the fall for graduate studies at ETH.
• [2025-10-05] I’m attending ICFP/SPLASH 2025 in Singapore as a student volunteer.
• [2025-05-14] I’m attending PLDI 2025 in Seoul as a student volunteer.

All news updates →

Publications

• Grammar Repair with Examples and Tree Automata
  OOPSLA 2026 [Paper] [arXiv] [Artifact]
  Yunjeong Lee, Gokul Rajiv, Ilya Sergey
  

• Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis
  USENIX Security 2025 [Paper] [Artifact]
  Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
  

• Celestial Machine Learning - Discovering the Planarity, Heliocentricity, and Orbital Equation of Mars with AI Feynman
  iiWAS 2023 [arXiv] [Artifact]
  Zi-Yu Khoo, Gokul Rajiv, Abel Yang, Jonathan Sze Choong Low, Stéphane Bressan

Teaching