
What we’re about
Interested in reading some of the classic and newly classic papers in computer science?
This is the Portland, OR chapter of Papers We Love, an organization that curates interesting papers in the computer science literature and helps organize local chapters to read and discuss them.
Prior to each event we will select a paper to read and post it so that attendees can read it in advance to promote good discussion.
At each gathering we will discuss the paper and select the next one to read.
If you know of a great paper we could read, please submit it via GitHub Issues.
You can also join our Discord channel.
Upcoming events (1)
See all- IronFleet: Proving Practical Distributed Systems Correct2540 NE Martin Luther King Jr Blvd, Portland, OR
Our next paper is "IronFleet: Proving Practical Distributed Systems Correct" by Hawblitzel, et al.
Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs a priori, but verification has historically been difficult to apply at fullprogram scale, much less distributed-system scale. We describe a methodology for building practical and provably correct distributed systems based on a unique blend of TLA-style state-machine refinement and Hoare-logic verification.
We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. We prove that each obeys a concise safety specification, as well as desirable liveness requirements. Each implementation achieves performance competitive with a reference system. With our methodology and lessons learned, we aim to raise the standard for distributed systems from “tested” to “correct.”
Link: https://web.eecs.umich.edu/~manosk/assets/papers/ironfleet-sosp15.pdf
Afterwards we'll head over to the Pocket Pub or Cliff's for a drink and a bite.