Kia Rahmani

Kia Rahmani

Postdoctoral Fellow

Blog launched!

less than 1 minute read

Published:

I am -finally!- launching a blog to share personal ideas and thoughts on research problems, reviews on interesting papers and worth sharing lessons that I am learning as a computer science PhD student, focusing on programming languages.

Someday -when this blog becomes super popular with hundreds of passionate readers- I will extend the topics and start writing posts on music too.

Leave a Comment

You May Also Enjoy

Eventual Serializability (2)

8 minute read

Published:

In the previous blog post, I presented a few examples regarding how the notion of application correctness (which guides the program verification and synthesis approaches) is currently being pushed to the application level. Here, I will challenge this trend by presenting what I believe is the right notion of correctness for such applications. Read more

Eventual Serializability (1)

11 minute read

Published:

Programmers have historically been interested in developing their programs assuming fully isolated executions and single copies of (non-shared) data. This (intuitive) tendency has been carried on through the decades, even after multiprocessing and distributed systems became prominent, the strong notions of consistency and isolation (e.g. linearizability and serializability) were used extensively despite their relatively high costs. Read more

Migration to NoSQL (3)

8 minute read

Published:

TPC-C is a very well-known benchmark which covers various important properties of OLTP applications. The benchmark has been developed for many years before the introduction of NoSQL stores, and is clearly crafted to measure performance and correctness of traditional SQL stores. Consequently, it can be thought of as a perfect example of SQL-backed applications. Read more