Publications

IONIA: Efficient Replication for SSD-based Write-Optimized KV Stores
Yi Xu, Henry Zhu, Prashant Pandey, Alex Conway, Rob Johnson, Ramnatthan Alagappan, Aishwarya Ganesan
USENIX FAST | February, 2024

Mosaic Pages: Big TLB Reach with Small Pages (IEEE MICRO Top Picks)
Krishnan Gosakan, Jaehyun Han, William Kuszmaul, Ibrahim N. Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Jayneel Gandhi, Rob Johnson, Sudarsan Kannan, Donald E. Porter
IEEE MICRO | 2024

Logical memory pools: Flexible and local disaggregated memory
Emmanuel Amaro, Stephanie Wang, Aurojit Panda, Marcos Aguilera
HotNets | November, 2023

Leaf: Modularity for Temporary Sharing in Separation Logic
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
Proc. ACM Program. Lang. | October, 2023

The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems
Naama Ben David, Gal Sela, Adriana Szekeres
International Symposium on Distributed Computing (DISC) | October, 2023

Murphy: Performance Diagnosis of Distributed Cloud Applications
Vipul Harsh, Wenxuan Zhou, Sachin Ashok, Radhika Niranjan Mysore, Brighten Godfrey, Sujata Banerjee
ACM Special Interest Group on Data Communication (SIGCOMM) | September, 2023

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, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
OSDI | July, 2023

Memory Disaggregation: Why Now and What Are the Challenges
Marcos Aguilera, Emmanuel Amaro, Nadav Amit, Erika Hunhoff, Anil Yelam, Gerd Zellweger
ACM SIGOPS Operating Systems Review | June, 2023

BeeGees: Stayin' Alive in Chained BFT
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing | June, 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

Detect, Pack and Batch: Perfectly-Secure MPC with Linear Communication and Constant Expected Time
Ittai Abraham, Gilad Asharov, Shravani Patil, Arpita Patra
42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt) | 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

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

Mosaic Pages: Big TLB Reach with Small Pages
Krishnan Gosakan, Jaehyun Han, William Kuszmaul, Ibrahim N. Mubarek, Nirjhar Mukherjee, Karthik Sriram, Guido Tagliavini, Evan West, Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Jayneel Gandhi, Rob Johnson, Sudarsun Kannan, Donald E. Porter
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March, 2023

Out of Hand for Hardware? Within Reach for Software!
Zhihong Luo, Silvery Fu, Emmanuel Amaro, Amy Ousterhout, Sylvia Ratnasamy, Scott Shenker
Proceedings of the 19th Workshop on Hot Topics in Operating Systems | 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

Eliminating The Impossible, Whatever Remains Must Be True
Nina Narodytska, Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Jo{\~{a}}o Marques{-}Silva
AAAI '23 | 2023