Details

  • Organizers: Anton Burtsev
  • Email: anton (dot) burtsev (at) utah (dot) edu
  • Meeting time/place: Friday, 4:00pm-5:00pm (3375, OS Lab, MEB, University of Utah)
  • Zoom Link: https://utah.zoom.us/j/86742139165

We read and discuss a broad range of papers related to systems research. The topics range from novel system designs (generally results from recent systems conferences) to low-level details of new and existing features of modern CPUs (e.g., SGX, fat pointers (MPX), QPI and cache-coherence, etc.)

Schedule

Fall 2025

Date Paper
Nov 21 AutoVerus: Automated Proof Generation for Rust Code
Nov 14 IronFleet: Proving Practical Distributed Systems Correct
Oct 31 CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

Spring 2022

Date Paper
May 9 In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication
May 2 Multi-Core, Main-Memory Joins: Sort vs. Hash Revisited

Winter 2022

Date Paper
March 18 Clio: A Hardware-Software Co-Designed Disaggregated Memory System
March 11 You Shall Not (by)Pass! Practical, Secure, and Fast PKU-based Sandboxing (preprint)
Mar 4 Cornucopia: Temporal Safety for CHERI Heaps
Feb 18 PTAuth: Temporal Memory Safety via Robust Points-to Authentication
Feb 11 PAC it up: Towards Pointer Integrity using ARM Pointer Authentication
Feb 4 Preventing Kernel Hacks with HAKC
Jan 28 PKU Pitfalls: Attacks on PKU-based Memory Isolation Systems
Jan 21 ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK)

Fall 2021

Date Paper
Dec 28 Retrofitting Fine Grain Isolation in the Firefox Renderer
Dec 21 XFI: Software Guards for System Address Spaces
Nov 12 Membrane: Operating System Support for Restartable File Systems
Nov 5 Efficiently Recovering Stateful System Components of Multi-server Microkernels
Oct 29 The Aurora Single Level Store Operating System

Spring 2021

Date Paper
Jun 11 High Velocity Kernel File Systems with Bento
Jun 4 Corundum: Statically-Enforced Persistent Memory Safety
May 28 DIFUZE: Interface Aware Fuzzing for Kernel Drivers
May 21 Lightweight Kernel Isolation with Virtualization and VM Functions
May 14 A Principled Approach To KernelMemory Management - Chapter 4
Apr 16 Fine-Grained Fault Tolerance using Device Checkpoints
Apr 2 LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation

Winter 2021

Date Paper
Mar 22 PACStack: an Authenticated Call Stack
Mar 15 Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical
Mar 9 Hyperkernel: Push-Button Verification of an OS Kernel
Feb 26 Scaling symbolic evaluation for automated verification of systems code with Serval
Feb 12, 19 Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Feb 5 Safe Systems Programming in Rust : The Promise and the Challenge
Jan 22 Safe Kernel Extensions Without Run-Time Checking
Jan 15 NixOS: A Purely Functional Linux Distribution

Fall 2020

Date Paper
Dec 18 Reexamining Direct Cache Access to Optimize I/O Intensive Applications for Multi-hundred-gigabit Networks
Nov 27 Code-Pointer Integrity
Nov 20 Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
Nov 16 MICA: A Holistic Approach to Fast In-Memory Key-Value Storage
Nov 6 hXDP: Efficient Software Packet Processing on FPGA NICs
Nov 3 Theseus: an Experiment in Operating System Structure and State Management