Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

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

Migration to NoSQL (2)

15 minute read

Published:

It is a well-known fact that nowadays application developers are inclined to choose responsiveness and performance over data consistency in the CAP war. However, despite of many recent academic papers that all try to answer the question of how to safely execute distributed applications with minimal inter-node synchronization, there still seems to be a large gap between the process of application development over traditional strongly consistent environments and modern weaker counterparts Read more

Migration to NoSQL (1)

11 minute read

Published:

For modern day web-scaled applications, NoSQL databases are becoming increasingly attractive alternatives to traditional RDBMSs. Although relational databases are backed up by almost half a century of engineering and optimization experience and offer very appealing interfaces Read more

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. Read more

portfolio

publications

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post. Read more

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post. Read more