Publications

DINOMO: An Elastic, Scalable, High-Performance Key-Value Store for Disaggregated Persistent Memory
Se Kwon Lee, Soujanya Ponnapalli, Sharad Singhal, Marcos Aguilera, Kimberly Keeton, Vijay Chidambaram
International Conference on Very Large Data Bases (VLDB) | August, 2023

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
OSDI | July, 2023

Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes
Zhenyuan Ruan, Seo Jin Park, Marcos Aguilera, Adam Belay, Malte Schwarzkopf
USENIX Symposium on Networked Systems Design and Implementation (NSDI) | April, 2023

uBFT: Microsecond-scale BFT using Disaggregated Memory
Marcos Aguilera, Naama Ben David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, and Igor Zablotchi
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March, 2023

SplinterDB and Maplets: Improving the Trade-Offs in LSM Compaction Policy
Alex Conway, Martin Farach-Colton, Rob Johnson
SIGMOD | 2023

IcebergHT: High Performance PMEM Hash Tables Through Stability and Low Associativity
Michael A. Bender, Alex Conway, Joseph Durie, Martin Farach-Colton, Rob Johnson, Prashant Pandey
SIGMOD | 2023

Full-Stack SDN
Ben Pfaff, Leonid Ryzhyk, Mihai Budiu, Debnil Sur
ACM Workshop on Hot Topics in Networks (HotNets) | November, 2022

Online List Labeling: Breaking the log^2 n Barrier
Alex Conway, Martin Farach-Colton, William Kuszmaul, Hanna Komlos, Michael A Bender, Nicole Wein
FOCS | November, 2022

The Sky is not the limit: untapped opportunities for Green Computing
Colleen Josephson, Nicola Peill-Moelter, Zhelong Pan, Ben Pfaff, Victor Firoiu
HotCarbon 2022: 1st Workshop on Sustainable Computer Systems Design and Implementation | July, 2022

{Overlook}: Differentially Private Exploratory Visualization for Big Data
Mihai Budiu, Pratiksha Thaker, Parikshit Gopalan, Udi Wieder, Matei Zaharia
Journal of Privacy and Confidentiality | July, 2022

Automatic Reliability Testing For Cluster Management Controllers
Xudong Sun, Aishwarya Ganesan, Lalith Suresh, Wenqing Luo, Jiawei Tyler Gu, Ramnatthan Alagappan, Michael Gasch, Tianyin Xu
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) | July, 2022

Cache-Coherent Accelerators for Persistent Memory Crash Consistency
Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman
HotStorage | June, 2022

Nerpa: Network Programming with Relational and Procedural Abstractions
Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu
P4 Workshop | May, 2022

P4 in Open vSwitch with OfP4
Ben Pfaff, Debnil Sur, Leonid Ryzhyk, Mihai Budiu
P4 Workshop | May, 2022

Efficient Multiclass Classification with Duet
Yaniv Ben-Itzhak, Shay Vargaftik, Shay Vargaftik
EuroMLSys '22 | April, 2022

BetrFS: A Compleat File System for Commodity SSDs
Yizheng Jiao, Simon Bertron, Sagar Patel, Luke Zeller, Rory Bennett, Nirjhar Mukherjee, Michael A. Bender, Michael Condit, Alex Conway, Martin Farach-Colton, Xiongzi Ge, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
Eurosys | April, 2022

How to diagnose nanosecond network latencies in rich end-host stacks
Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Tim Merrifield, Sujata Banerjee, Timothy Roscoe
USENIX Symposium on Networked Systems Design and Implementation | April, 2022

Linear Types for Large-Scale Systems Verification
Jialin Li, Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA | April, 2022

UTT: Decentralized Ecash with Accountable Privacy
Alin Tomescu, Adithya Bhat, Benny Applebaum, Ittai Abraham, Guy Golan Gueta, Benny Pinkas, Avishay Yanai
Eprint | April, 2022

Multicalibrated partitions for importance weights
Parikshit Gopalan, Omer Reingold, Vatsal Sharan, Udi Wieder
Algorithmic Learning Theory (ALT) | March, 2022