We meet every Wednesday 2:00 pm - 3:00 pm over Zoom.

Our goal is to motivate the members of the group to read and discuss papers on systems research - storage, operating systems, virtualization, security, etc.

You can volunteer to moderate a paper on a particular date by choosing a paper and putting your name and the paper information in the Schedule section. Please pick a paper by Friday of the week before you present the paper so all members have enough time to read the paper.

If you come across an interesting paper and wish to discuss it with the group, please add it to the Recommended Papers list.

It is imperative that everybody reads the paper before the meeting. The moderator of the paper leads the discussion and provides a summary of the paper, which includes the problem addressed, the strategies proposed, the evaluation techniques and other key points in the paper. Everybody participates in the discussions and presents his/her critical review to the group. Finally, we could also discuss if we could apply or relate the work in the paper to our on-going projects or get ideas for new research projects.

For any questions or if you would like to join the SyLab Paper club, email us.

We typically read papers from the proceedings of the following conferences:

• USENIX FAST
• USENIX OSDI
• ACM SOSP
• USENIX Annual Technical Conference
• IEEE HPCA
• ACM ASPLOS
• ISCA
• ACM Sigmetrics

But, really, any reasonable paper that you found interesting is OK.

Ordered by date from most recent to oldest.

• 04/12/2023 Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems - Fernando Cabanes

• 03/29/2023 Rolex: A Scalable RDMA-oriented Learned Key-Value Store for Disaggreated Memory Systems - Alexis Gonzalez

• 03/01/2023 : Predicting Reuse Interval for Optimized Web Caching: An LSTM-Based Machine Learning Approach - Pratik Poudel

• 02/01/2023 : Tactical Provenance Analysis for Endpoint Detection and Response Systems - Lalchandra Rampersaud

• 01/18/2023: Everything Old is New Again: Binary Security of WebAssembly - Fernando Cabanes

• 12/14/2022: LightSecAgg: A lightweight and Versatile Design for Secure Aggregation in Federated Learning - Alexis Gonzalez

• 11/16/2022: Growing a graph matching from a handful of seeds - Mahshad Shariatnasab

• 11/02/2022: Federated learning in medicine: facilitating multi‐institutional collaborations without sharing patient data - Mahmudul Haque

• 10/19/2022: Communication-Efficient Learning of Deep Networks from Decentralized Data - Mahmudul Haque

• 10/05/2022: NyxCache: Flexible and Efficient Multi-tenant Persistent Memory Caching - Adnan Maruf

• 03/31/2021: TinyLFU: Highly Efficient Cache Admission Policy - Steven

• 03/24/2021: Characterizing, Modeling, and Benchmarking RocksDB Key-Value Workloads at Facebook (cont.) - Pratik

• 03/17/2021: The Storage Hierarchy is not a hierarchy: Optimizing Caching on modern Storage Devices with Orthus - Alexis

• 03/10/2021: Characterizing, Modeling, and Benchmarking RocksDB Key-Value Workloads at Facebook - Pratik

• 03/03/2021: CheckFreq: Frequent, Fine-Grained DNN Checkpointing - Ashikee

• 02/17/2021: vDNN: Virtualized Deep Neural Networks for Scalable, Memory-Efficient Neural Network Design - Natalia

• 02/03/2021: Performance Evaluation of Advanced Features in CUDA Unified Memory - Manoj

• 12/09/2020: Adaptive Page Migration Policy with Huge Pages in Tiered Memory Systems - Adnan

• 12/02/2020: A large scale analysis of hundreds of in-memory cache clusters at Twitter - Steven

• 11/18/2020: Plan 9 from Bell Labs - Stephen

• 11/04/2020: AC-Key: Adaptive Caching for LSM-based Key-Value Stores - Alexis

• 10/28/2020: The CacheLib Caching Engine: Design and Experiences at Scale - Liana

• 10/21/2020: NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories - Ashikee

• 10/14/2020: Scalable Parallel Flash Firmware for Many-core Architectures - Manoj

• 10/07/2020: File Systems as Processes - Pratik

• 9/30/2020: Prefetching in Hybrid Main Memory Systems - Adnan

• 9/16/2020: Software Persistent Memory - Ashikee

• 9/09/2020: Concurrent Average Memory Access Time - Pedro

• 8/26/2020: Libnvmmio: Reconstructing Software IO Path with Failure-Atomic Memory-Mapped Interface - Ashikee

• 8/12/2020: Caching with Delayed Hits - Steven

• 8/05/2020: StripeFinder: Erasure Coding of Small Objects over Key-Value Storage Devices(An Uphill Battle) - Stephen

• 7/29/2020: Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider - Liana

• 7/22/2020:
  • Desperately Seeking ... Optimal Multi-Tier Cache Configurations - Alexis
  • GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices - Netalia

• 7/15/2020: GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices - Netalia

• 7/08/2020: Fine-Grained Replicated State Machines for a Cluster Storage System - Manoj

• 7/01/2020: Fine-Grained Replicated State Machines for a Cluster Storage System - Manoj

• 6/24/2020: MOD: Minimally Ordered Durable Datastructures for Persistent Memory - Ashikee

• 6/17/2020: ZooKeeper: Wait-free coordination for Internet-scale systems - Liana

• 6/10/2020:
  • Quiver: An Informed Storage Cache for Deep Learning - Alexis
  • EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding - Stephen

• 6/03/2020:
  • InfiniCache: Exploiting Ephemeral Serverless Functions to Build a Cost-Effective Memory Cache - Steven
  • Quiver: An Informed Storage Cache for Deep Learning - Alexis

• 5/20/2020:
  • Hybrid Data Reliability for Emerging Key-Value Storage Devices - Manoj
  • InfiniCache: Exploiting Ephemeral Serverless Functions to Build a Cost-Effective Memory Cache - Steven

• 5/13/2020: Hybrid Data Reliability for Emerging Key-Value Storage Devices - Manoj

• 5/6/2020: Learning Relaxed Belady for Content Distribution Network Caching - Liana

• 4/29/2020: Learning Relaxed Belady for Content Distribution Network Caching - Liana

• 4/15/2020: Nimble Page Management for Tiered Memory Systems - Adnan

• 4/08/2020: An Empirical Guide to the Behavior and Use of Scalable Persistent Memory - Ashikee

• 3/11/2020: An Empirical Guide to the Behavior and Use of Scalable Persistent Memory - Steven

• 12/06/2019: Centaur: Host-side SSD Caching for Storage Performance Control - Liana

• 11/22/2019: System Software for Persistent Memory (continued) - Ashikee

• 11/15/2019: System Software for Persistent Memory (continued) - Ashikee

• 11/08/2019: System Software for Persistent Memory - Ashikee

• 11/01/2019: CLOCK-Pro+: Improving CLOCK-Pro Cache Replacement with Utility-Driven Adaptation -Adnan

• 10/18/2019: Erasing Belady's Limitations: In Search of Flash Cache Offline Optimality -Steven

• 10/11/2019:
  • SLM-DB: Single-Level Key-Value Store with Persistent Memory (continued) -Manoj
  • Flash-Based SSDs (continued) -Ashikee

• 10/04/2019:
  • SLM-DB: Single-Level Key-Value Store with Persistent Memory (continued) -Manoj
  • Flash-Based SSDs (continued) -Ashikee

• 09/20/2019: SLM-DB: Single-Level Key-Value Store with Persistent Memory -Manoj

• 08/21/2019:
  • Transactuations: Where Transactions Meet the Physical World (continued) -Adnan
  • The Google File System -Liana

• 08/14/2019: Transactuations: Where Transactions Meet the Physical World -Adnan

• 08/07/2019:
  • Mojim: A Reliable and Highly-Available Non-Volatile Memory System (continued) -Ashikee
  • Transactuations: Where Transactions Meet the Physical World -Adnan

• 07/31/2019: Mojim: A Reliable and Highly-Available Non-Volatile Memory System (continued) -Ashikee

• 07/24/2019: Mojim: A Reliable and Highly-Available Non-Volatile Memory System -Ashikee

• 07/17/2019:
  • Rethink the Sync (continued) -Liana
  • Mojim: A Reliable and Highly-Available Non-Volatile Memory System -Ashikee

• 07/10/2019: Rethink the Sync -Liana

• 07/03/2019: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (continued) -Steven

• 06/26/2019: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (continued) -Steven

• 06/19/2019: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (continued) -Steven

• 06/12/2019: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (continued) -Steven

• 06/05/2019: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls -Steven

• 05/28/2019: Analysis and Evolution of Journaling File Systems (continued) -Adnan

• 05/21/2019: Analysis and Evolution of Journaling File Systems (continued) -Adnan

• 05/14/2019: Analysis and Evolution of Journaling File Systems -Adnan

• 04/17/2019: Non-Blocking Writes to Files (continued) -Ashikee

• 04/10/2019: Non-Blocking Writes to Files -Ashikee

• 03/27/2019:
  • Barrier-Enabled IO Stack for Flash Storage (continued) -Liana
  • Ziggurat: A Tiered File System for Non-Volatile Main Memories and Disks (continued) -Adnan
  • DistCache: Provable Load Balancing for Large-Scale Storage Systems with Distributed Caching -Steven

• 03/20/2019:
  • Barrier-Enabled IO Stack for Flash Storage (continued) -Liana
  • Ziggurat: A Tiered File System for Non-Volatile Main Memories and Disks (continued) -Adnan

• 03/13/2019: Ziggurat: A Tiered File System for Non-Volatile Main Memories and Disks -Adnan

• 03/06/2019: Barrier-Enabled IO Stack for Flash Storage (continued) -Liana

• 02/20/2019: Barrier-Enabled IO Stack for Flash Storage (continued) -Liana

• 02/13/2019: Barrier-Enabled IO Stack for Flash Storage (continued) -Liana

• 02/05/2019: Barrier-Enabled IO Stack for Flash Storage

• 11/07/2014: Decoupling Cores, Kernels, and Operating Systems - Hector

• 03/28/2014: GPUfs: Integrating a File System with GPUs - Daniel Costaesa

• 03/21/2014: CONVERSION: Multi-Version Concurrency Control for Main Memory Segments - Ata

• 03/07/2014: VSWAPPER: A Memory Swapper for Virtualized Environments - Daniel

• 02/28/2014: VSWAPPER: A Memory Swapper for Virtualized Environments Background - Daniel

• 02/21/2014: Fast Dynamic Binary Translation for the Kernel Part-2- Leonardo

• 02/14/2014: Fast Dynamic Binary Translation for the Kernel Part-1- Leonardo

• 02/07/2014: Omega: flexible, scalable schedulers for large compute clusters - Hector

• 01/31/2014: CAR: Clock with Adaptive Replacement - Ricardo

• 01/24/2014: Warming up Storage-Level Caches with Bonfire - Razib

• 01/17/2014: Whole-System Persistence - Russell

• 10/09/2013: Lightweight Memory Tracing - Razib

• 09/18/2013: TSO_ATOMICITY: Efficient Hardware Primitive for TSO-Preserving Region Optimizations - Ata

• 09/11/2013: BTRFS: The Linux B-tree Filesystem - Leo

• 09/04/2013: TABLE FS: Enhancing Metadata Efficiency in the Local File System - Russell

• 08/28/2013: I/O Stack Optimization for Smartphones - Ricardo

• 04/04/2013: Cooperative Caching: Using Remote Client Memory to Improve File System Performance - Daniel

• 03/28/2013: Overdriver: Handling Memory Overload in an Oversubscribed Cloud - Ata

• 03/07/2013: Unioning of the buffer Cache and Journaling Layers with Non-volatile Memory - Leo

• 02/28/2013: Better I/O through Byte-Addressable Persistent Memory - Raju

• 02/21/2013: An Update-Aware Storage System for Low-Locality Update-Intensive Workloads - Ricardo

• 01/24/2013: Abstractions for Network Update - Sajib

• 01/17/2013: Flat Datacenter Storage - Daniel

• 03/06/2012: ReTrace: Collecting Execution Trace with Virtual Machine Deterministic Replay - Daniel

• 02/28/2012: DULO: An Effective Buffer Cache Management Scheme to Exploit Both Temporal and Spatial Locality - Luis

• 02/09/2012: Virtual Machine Memory Access Tracing With Hypervisor Exclusive Cache - Leonardo

• 02/02/2012: Logical Attestation: An Authorization Architecture for Trustworthy Computing - Ricardo

• 12/13/2011: PTask: Operating System Abstractions To Manage GPUs as Compute Devices - Leonardo

• 11/29/2011: A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications - Jorge

• 11/15/2011: Cells: A Virtual Mobile Smartphone Architecture - Sajib

• 10/18/2011: Fast Crash Recovery in RAMCloud - Leonardo

• 10/11/2011: Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis - Sajib

• 08/30/2011: Mnemosyne: Lightweight Persistent Memory - Jorge, NV-Heaps - Daniel

• 08/16/2011: Evaluating the Effectiveness of Model-Based Power Characterization - Sajib

• 08/02/2011: An Analysis of Power Consumption in a Smartphone - Leonardo

• 07/26/2011: Capturing, Indexing, Clustering, and Retrieving System History - Sajib

• 07/19/2011: ORDER: Object centRic DEterministic Replay for Java - Leonardo

• 07/12/2011: Building a High-performance Deduplication System - Jesus

• 07/05/2011: The Design and Evolution of Live Storage Migration in VMware ESX - Mario

• 06/27/2011: Exception-Less System Calls for Event-Driven Servers - Sajib

• 05/31/2011: Rethink the Sync - Raju

• 05/23/2011: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls - Raju

• 05/17/2011: Kaleidoscope: Cloud Micro-Elasticity via VM State Coloring - Sajib

• 04/26/2011: Linux Code Review: 14. The Block I/O Layer 16. The Page Cache and Page Writeback - Luis

• 04/19/2011: SRM-Buffer: An OS Buffer Management Technique to Prevent Last Level Cache from Thrashing in Multicores - Leonardo

• 04/11/2011: Wait-Free Synchronization - Leonardo

• 04/05/2011: Operating System Support for Application-Specific Speculation - Daniel

• 03/22/2011: Second-Level Buffer Cache Management - Jorge

• 03/01/2011: Finding a needle in Haystack: Facebook’s photo storage - Carlos

• 02/22/2011: Decentralized Deduplication in SAN Cluster File Systems - Ricardo

• 02/08/2011: A Study of Practical Deduplication - Sajib

• 02/01/2011: B-trees, Shadowing, and Clones - Luis

• 01/25/2011: Consistent and Durable Data Structures for Non-Volatile Byte-Addressable Memory - Leonardo

• 12/02/2010: Efficient System-Enforced Deterministic Parallelism - Jorge

• 11/18/2010: Using Transparent Compression to Improve SSD-based I/O Caches - Luis

• 11/04/2010: An Analysis of Linux Scalability to Many Cores - Leonardo

• 10/28/2010: //TRACE: Parallel trace replay with approximate causal events - Daniel & Carlos

• 10/21/2010: An Operating System for Multicore and Clouds: Mechanisms and Implementation - Ricardo

• 10/14/2010: A Comparison of Software and Hardware Techniques for x86 Virtualization - Sajib

• 10/07/2010: Searching for SNPs with cloud computing - Michael

• 09/30/2010: A high performance implementation of MPI-IO for a Lustre file system environment - Dulcardo

• 09/23/2010: mClock: Handling Throughput Variability for Hypervisor IO Scheduling - Ricardo

• 09/16/2010: LiteGreen: Saving Energy in Networked Desktops Using Virtualization - Jorge

• 09/09/2010: Otherworld - Giving Applications a Chance to Survive OS Kernel Crashes - Luis

• 09/02/2010: Q-Clouds: Managing Performance Interference Effects for QoS-Aware Clouds - Sajib

• 03/11/2010: Micro-Pages: Increasing DRAM efficiency with Locality-Aware Data Placement - Luis

• 03/04/2010: Request Behavior Variations - Ricardo

• 02/18/2010: DFS: A File System for Virtualized Flash Storage - Sajib

• 02/12/2010: BASIL: Automated IO Load Balancing Across Storage Devices - Jorge

• 12/03/2009: The Datacenter as a Computer (Chapters 4 and 5) - Raju

• 11/20/2009: ERCOS: An Operating System for Automotive Applications - Daniel Galano

• 11/12/2009: Computing machinery and intelligence - Leonardo

• 11/05/2009: - Sajib
  • http://duartes.org/gustavo/blog/post/cpu-rings-privilege-and-protection
  • http://duartes.org/gustavo/blog/post/intel-cpu-caches
  • http://duartes.org/gustavo/blog/post/memory-translation-and-segmentation
  • http://duartes.org/gustavo/blog/post/anatomy-of-a-program-in-memory

• (Unknown) : The Multikernel: A New OS Architecture for Scalable Multicore Systems - Luis

• 10/08/2009: Satori: Enlightened page sharing - Sajib

• 10/01/2009: Decaf: Moving Device Drivers to a Modern Language - Jorge

• 09/24/2009: Cache-Oblivious Algorithms - Ricardo

• 03/30/2009: R2: An Application-Level Kernel for Record and Replay - Jorge

• 03/23/2009: DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings - Luis

• 02/16/2009: Difference Engine - Sajib

• 02/09/2009: Corey: An Operating System for Many Cores - Ricardo

• 02/02/2009: CA-NFS: A Congestion-Aware Network File System - Jorge

• 01/29/2009: PARDA: Proportional Allocation of Resources for Distributed Storage Access - Sajib

• 11/07/2008: Xen and the Art of Virtualization - Sajib (part 2)

• 10/30/2008: Xen and the Art of Virtualization - Ricardo (part 1)

• 10/23/2008: Rules of Thumb in Data Engineering - Jorge

• 10/16/2008: Mini-PC Session 3

• 10/01/2008: Mini-PC Session 2

• 09/25/2008: Mini-PC Session 1

• 09/18/2008: Disk Failures in Real World: What does an MTTF of 1,000,000 Hours Mean to You? - Luis

• 08/28/2008: Memory Resource Management in VMware ESX Server - Ricardo

• 08/21/2008: Parallax: Virtual Disks for Virtual Machines - Raju

• 08/14/2008: MapReduce: Simplified Data Processing on Large Clusters - Ariel

• 08/06/2008: A Dollar from 15 Cents: Cross-Platform Management for Internet Services - Sajib

• 08/01/2008: Interview: Brian Pawlowsky / Dave Hitz (NetApp) / Margo Seltzer - Ricardo

• 07/24/2008: Fast, Inexpensive Content-Addressed Storage in Foundation - Raju

• 07/17/2008: Context-Aware Prefetching at the Storage Server - Sajib

• 07/10/2008: Deconstructing Storage Arrays - Ariel

• 07/03/2008: Idle Read After Write - IRAW - Jorge

• 06/26/2008: Design Tradeoffs for SSD Performance - Raju

• 06/19/2008: BPLRU: A Buffer Management Scheme for Improving Random Writes in Flash Storage - Sajib

• 06/12/2008: Improving I/O Performance of Applications through Compiler-Directed Code Restructuring - Jorge

• 04/03/2008: Parity Lost Parity Regained - Medha

• 03/27/2008: File System Design for an NFS File Server Appliance - Luis

• 02/14/2008: Analysis and Evolution of Journaling File Systems - Luis

• 02/07/2008: Evaluating Block-level Optimization through the IO Path - Sajib

• 12/05/2007: Generalized file system dependencies - Medha

• 11/21/2007, 11/28/2007: Recovering Device Drivers - Sajib

• 10/31/2007, 11/07/2007: Improving File System Reliability with I/O Shepherding - Raju

• 10/24/2007: Labels and event processes in the asbestos operating system - Ricardo

• 10/03/2007, 10/10/2007: REO: A generic RAID Engine and Optimizer - Jorge

• 09/26/2007: TFS: Transparent File System for Contributory Storage - Medha

• 09/05/2007, 09/19/2007: A Fast File System for Unix - Luis