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 marine vehicles (submarines and surface vessels) in a student 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/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
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