Gokul Rajiv

Hi, I'm Gokul! I am an incoming masters student at ETH Zurich. 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 PL design, metatheory, and their applications to program verification.

Me in an elevator

Feel free to reach me via 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