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 and Suresh Jagannathan)
[OOPSLA'19: ACM Conference on Object-Oriented Programming, Languages, Systems, and Applications]
- 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]