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, Suresh Jagannathan)
  [Conditionally Accepted to OOPSLA'19]
  [pre-print comming out soon!]

• Fine-grained Distributed Consistency Guarantees with Effect Orchestration
  (with Gowtham Kaki and Suresh Jagannathan)
  [Workshop on the Principles and Practice of Consistency for Distributed Data (Portugal-April 2018)]
  [Tech Report] [Slides]