/papers_we_love

Papers We Love

Hall of Favor

  • (3 votes) MapReduce: Simplified Data Processing on Large Clusters, OSDI, 2004.
  • (3 votes) The Design and Implementation of a Log-Structured File System, SOSP, 1991.
  • (3 votes) Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code, SOSP, 2001.

Xudong's Top Picks (2/9/2022) (Slides)

  • Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code, SOSP, 2001.
  • Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions, FAST, 2017.
  • All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications, OSDI, 2014.
  • The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86), CCS, 2007.
  • Dominant Resource Fairness: Fair Allocation of Multiple Resource Types, NSDI, 2011.

Parth's Top Picks (2/9/2022)

  • KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, OSDI, 2008.
  • Automating String Processing in Spreadsheets Using Input-Output Examples, POPL, 2011. Flash Fill and FlashExtract Demo
  • DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols, OSDI, 2021.
  • code2vec: Learning Distributed Representations of Code, POPL, 2019.
  • Learning Semantic Program Embeddings with Graph Interval Neural Network, OOPSLA, 2020.

Kevin (Kai-Hsun)'s Top Picks (2/23/2022) (Slides)

  • MapReduce: Simplified Data Processing on Large Clusters, OSDI, 2004.
  • ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems, FAST, 2019.
  • Hidden Technical Debt in Machine Learning Systems, NIPS, 2015.
  • Ray: A Distributed Framework for Emerging AI Applications, OSDI, 2018.
  • LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation, OSDI, 2018.

Xuhao's Top Picks (3/2/2022) (Slides)

  • On the Duality of Operating System Structures, SIGOPS Operating Systems Review, 1979.
  • The Design and Implementation of a Log-Structured File System, SOSP, 1991.
  • In Search of an Understandable Consensus Algorithm, USENIX ATC, 2014.
  • A Cloud-Scale Acceleration Architecture, MICRO, 2016.
  • AIFM: High-Performance, Application-Integrated Far Memory, OSDI, 2020.

Siyuan's Top Picks (3/23/2022) (Slides)

  • MapReduce: Simplified Data Processing on Large Clusters, OSDI, 2004.
  • Exploiting Nil-Externality for Fast Replicated Storage, SOSP, 2021.
  • Memory-Harvesting VMs in Cloud Platforms, ASPLOS, 2022.
  • The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems, SOSP, 2021.
  • A General Approach to Network Configuration Verification, SIGCOMM, 2017.

Tyler's Top Picks (4/27/2022) (Slides)

  • MapReduce: Simplified Data Processing on Large Clusters, OSDI, 2004.
  • PyTorch Distributed: Experiences on Accelerating Data Parallel Training, VLDB, 2020.
  • PipeDream: Generalized Pipeline Parallelism for DNN Training, SOSP, 2019.
  • Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code, SOSP, 2001.
  • The Design and Implementation of a Log-Structured File System, SOSP, 1991.

Tianyin's Top Picks (4/27/2022) (Slides)

  • The Design and Implementation of a Log-Structured File System, SOSP, 1991.
  • Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code, SOSP, 2001.
  • Do Not Blame Users for Misconfigurations, SOSP, 2013.
  • Testing Configuration Changes in Context to Prevent Production Failures, OSDI, 2020.
  • Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism, ASPLOS, 2020.

Hao's Top Picks (12/17/2023)

  • Xen and the Art of Virtualization, SOSP, 2003.
  • Hints for Computer System Design, SOSP, 1983.
  • LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation, OSDI, 2018.
  • The Part-Time Parliament, Transactions on Computer Systems, 1998.
  • Comprehensive Formal Verification of an OS Microkernel, Transactions on Computer Systems, 2014.