Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Lifting Jepsen Tests to the Application Level
Published:
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, such as previously unknown bugs in etcd, Kafka and Chronos. Read more
Eventual Serializability (2)
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)
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)
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)
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)
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!
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
Portfolio item number 1
Short description of portfolio item number 1
Read more
Portfolio item number 2
Short description of portfolio item number 2 Read more
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work. Read more
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides
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. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work. Read more
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
Paper Title Number 4
Published in GitHub Journal of Bugs, 2024
This paper is about fixing template issue #693. Read more
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown! Read more
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field. Read more
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