Kia Rahmani

Registered user since Thu 6 Apr 2017

Name:Kia Rahmani
Bio:

I am a PhD candidate of computer science at Purdue University. I am a member of the programming languages group, working under the supervision of Professor Suresh Jagannathan and Professor Benjamin Delaware.

My PhD thesis is focused around compilation, synthesis, and testing of modern database-backed programs. More broadly, I am interested in all formal methods for modeling and analysis of (classical or quantum) computer programs.

I was previously a research intern at Microsoft, working on a new program synthesis technique based on pre-trained language models. My work was supervised by Dr. Mohammad Raza and Dr. Sumit Gulwani.

Country:United States
Affiliation:Purdue University
Research interests:Programming Languages, Distributed Systems, Program Synthesis

Contributions

SPLASH 2021 Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the SIGPLAN Papers-track
Author of Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis within the OOPSLA-track
PLDI 2021 Author of Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring within the PLDI-track
SPLASH 2019 Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track