Blog
Paper Reviews
Ricky Takkar
Created on September 7, 2022 (updated every now and then)
A (CS) Advanced Systems course I took required single page reviews on a mixture of assigned seminal papers and contemporary papers on systems research. The reports are formatted as follows: 3-5 lines summary, 1-3 major strengths of the paper (i.e., what's cool about this), a weakness (including whether it is fixable), and future work opportunities. I thought it'd be beneficial to share these reports on my website for future reference and to get into the habit of writing these reports to deepen my understanding of papers that are of particular interest to me. Over time, I hope to include reports on papers other than just those assigned in this class. I try to adhere to the three-pass approach when reading papers through a research lens.
Computer Systems
Epidemic Algorithms for Replicated Database Maintenance by Alan Demers et al. (1987)
Simple Approach to Specifying Concurrent Systems by Leslie Lamport (1989)
Use of Formal Methods at Amazon Web Services by Chris Newcombe et al. (2014)
Hints and Principles for Computer System Design by Butler Lampson (2020) sections up to and including \(\S\)3.4 and remainder
End-to-end Arguments in System Design by J.H. Saltzer et al. (1984)
On the Duality of Operating System Structures by Hugh C. Lauer and Roger M. Needham (1979)
Time, Clocks, and the Ordering of Events in a Distributed System by Leslie Lamport (1978) • video of my keynote
The Google File System by Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung (2003)
Apache Spark: A Unified Engine for Big Data Processing by Matei Zaharia et al. (2016)
Serverless Computation with OpenLambda by Scott Hendrickson et al. (2016)
Pregel: A System for Large-Scale Graph Processing by Grzegorz Malewicz et al. (2010)
P4: Programming Protocol-Independent Packet Processors by Pat Bosshart et al. (2014)
OpenVPN is open to VPN Fingerprinting by Diwen Xue et al. (2022)