My name is Kia Rahmani, and I am an AI scientist at Durable. I am passionate about designing interpretable and reliable artificial intelligence through the theory of programming languages. At Durable, we aim to bridge the gap between natural language and code through trustworthy program synthesis methods.

Kia Rahmani, Ph.D. Post-doctoral Scientist Ó 765-588-8872 ⁄ kiarahmani [email protected] · Austin, TX „ kiarahmani.github.io fl kia-rahmani 3Skills Programming Languages I have worked on numerous projects written in various programming languages, and I am proficient in C/C++, Java, C#, Python, Haskell, OCaml, etc.

Kia Rahmani. Applied Artificial Intelligence Scientist. Follow. Durable AI; Irvine, CA, USA; Email; Twitter; LinkedIn; Instagram; Github; Google Scholar; Portfolio item number 1. This is an item in your portfolio. It can be have images or nice text. If you name the file .md, it will be parsed as markdown. If you name the file .html, it will be ...

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring Kia Rahmani Purdue University [email protected]

Lifting Jepsen Tests to the Application Level . 6 minute read. Published: December 14, 2018 Jepsen is an open source Clojure library for testing distributed databases and systems, developed and maintained by Kyle Kingsbury since 2013. Jepsen has been extensively endorsed by vendors to test well-established softwares, where it has successfully uncovered many critical issues, …

Kia Rahmani. Postdoctoral Fellow. Follow. University of Texas at Austin; Austin, TX, USA; Email; Twitter; LinkedIn; Instagram; Github; Google Scholar; The BJJ Journey. Here, I share my thoughts and experiences related to the art and science of Brazilian Jiu Jitsu. Southern California: The Birthplace of BJJ in the United States. TBD.

Research Projects (1) Sound Detection of Serializability Bugs in Weakly Consistent Database Applications: In this ongoing project, we present an end-to-end analysis framework for efficient/automated detection and replay of concurrent executions of weakly consistent database applications that diverge from their intended behavior, i.e. manifest a serializability anomaly.

Kia Rahmani. Postdoctoral Fellow. Follow. University of Texas at Austin; Austin, TX, USA; Email; Twitter; LinkedIn; Instagram; Github; Google Scholar; Posts by Tags NoSQL. Migration to NoSQL (1) 11 minute read. Published: June 24, 2017. For modern day web-scaled applications, NoSQL databases are becoming increasingly attractive alternatives to ...

2009年10月1日 · This paper is about the number 1. The number 2 is left for future work.

Paper Title Number 2 . Published in Journal 1, 2010. This paper is about the number 2. The number 3 is left for future work. Read more. Recommended citation: Your Name, You.