Gokul Rajiv

Hi, I'm Gokul! I recently graduated from the National University of Singapore, where I studied Computer Science and Mathematics. I work with Ilya Sergey at VERSE lab 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 a hat

Feel free to reach me via email at: grajiv@u.nus.edu

News

• [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
• [2025-04-02] I’m visiting HKUST TACO lab in the summer, to work on MLscript with Lionel Parreaux

Publications

• 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 [Paper] [Artifact]
  Zi-Yu Khoo, Gokul Rajiv, Abel Yang, Jonathan Sze Choong Low, Stéphane Bressan

Teaching