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.


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