Research Area
Publication Year
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
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
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
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
P4 in Open vSwitch with OfP4
Ben Pfaff, Debnil Sur, Leonid Ryzhyk, Mihai Budiu
P4 Workshop | May, 2022