ABOUT ME

My name is Kia Rahmani and I am a PhD student 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 . The main topics of my research interests include formal methods of modeling, analysis and verification of applications. I specifically focus on automated debugging/generation of verifiably correct and scalable distributed database applications.

Publications

• 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]
  [Preprint]

• 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]