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, my interests revolve around formal methods, logic, and PL design.

Reach me via email at: grajiv@u.nus.edu

News

[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
[2025/04/01] New site !! 🎉

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]

Teaching

CS1101S: Programming Methodology ┆ AY2122 S1, AY2223 S1, AY2324 S1
[Material]
CS2030S: Programming Methodology II ┆ AY2122 S2
[Material]
CS2106: Introduction to Operating Systems ┆ AY2324 S2
CS2103T: Software Engineering ┆ AY2223 S1