Gokul Rajiv

I’m a final-year undergraduate at NUS studying Computer Science and Mathematics. I work with Ilya Sergey at VERSE lab on program (and language) synthesis, repair, and proof automation in interactive theorem provers. Before programming languages, I worked on autonomous marine vehicles (submarines and surface vessels) in a student competition team called Bumblebee.

Me in a hat

Broadly, I care about formal verification, logic, and PL design.

Feel free to reach me at one of these places: Email, Github, Telegram, Mastodon

News

[2025/04/02] I’ll be at HKUST this summer, working on MLscript with Lionel Parreaux

Publications

Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis
Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
USENIX Security 2025 [Paper] [Artifact]
Celestial Machine Learning - Discovering the Planarity, Heliocentricity, and Orbital Equation of Mars with AI Feynman
Zi-Yu Khoo, Gokul Rajiv, Abel Yang, Jonathan Sze Choong Low, Stéphane Bressan
iiWAS 2023 [Paper] [Artifact]