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 on analysis of concurrency in modern data-intensive programs. More broadly, I am interested in all mathematical methods for modeling, analysis and verification of (classical or quantum) computer programs.

I was previously a research intern at Microsoft, working on a neurosymbolic synthesis technique using GPT-3 natural language model. 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] [15min-talk] [Slides]

• 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] [Talk @OOPSLA] [Talk @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]

Service

• 2021: AIPLANS @NeurIPS