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, Andrea Lattuada, 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

Where Is the Research on Cryptographic Transition and Agility?
David Ott, Kenny Paterson, Dennis Moreau
Communications of the ACM | April, 2023

Copy-on-Pin: The Missing Piece for Correct Copy-on-Write
David Hildenbrand, Martin Schulz, Nadav Amit
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March, 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

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

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

Scalable verification of GNN-based job schedulers
Mahmood Sharif, Nina Narodytska, Gagandeep Singh, Haoze Wu, Clark W. Barrett
Proc. {ACM} Program. Lang. (OOPSLA) | December, 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

Intermediate Certificate Suppression in Post-Quantum TLS: An Approximate Membership Querying Approach
Dimitrios Sikeridis, Sean Huntley, David Ott, Michael Devetsikiotis
CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies | November, 2022

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

Analysis of Core-Guided MaxSat Using Cores and Correction Sets
Nina Narodytska, Nikolaj S. Bj{\o}rner
25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel | August, 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

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

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

Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022 | 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