ABOUT ME

My name is Kia Rahmani and 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.

Publications

• Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  (Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari)
  [OOPSLA'21: ACM Conference on Object-Oriented Programming, Languages, Systems, and Applications]
  [Arxiv]

• Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
  (Kia Rahmani, Kartik Nagar, Benjamin Delaware and Suresh Jagannathan)
  [PLDI'21: ACM SIGPLAN Conference on Programming Language Design and Implementation]
  [pdf]

• CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
  (Kia Rahmani, Kartik Nagar, Benjamin Delaware and Suresh Jagannathan)
  [OOPSLA'19: ACM Conference on Object-Oriented Programming, Languages, Systems, and Applications]
  [Tech Report] [OOPSLA] [Midwest PL Summit] [Slides]

• Fine-grained Distributed Consistency Guarantees with Effect Orchestration
  (Kia Rahmani, Gowtham Kaki and Suresh Jagannathan)
  [PaPoC'18: Workshop on the Principles and Practice of Consistency for Distributed Data]
  [Tech Report] [Slides]