Wednesday, December 18, 2019

My Distributed Systems Seminar's reading list for Spring 2020

Below is the first draft list of papers I plan to discuss in my distributed systems seminar in the Spring semester. If you have some suggestions on some good/recent papers to cover, please let me know.




Formal methods

In order to run our reading/discussion seminars effectively, we follow the format described in this post.

Here are the links to our previous semester reading lists.

No comments:

Two-phase commit and beyond

In this post, we model and explore the two-phase commit protocol using TLA+. The two-phase commit protocol is practical and is used in man...