SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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 Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
Show activities from other conferences

Using general profile