Publications

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

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

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

Efficient Multiclass Classification with Duet
Yaniv Ben-Itzhak, Shay Vargaftik
EuroMLSys '22 | 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

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

An Incrementally Updatable and Scalable System for Large-Scale Sequence Search using the Bentley-Saxe Transformation
Fatemeh Almodaresi, Jamshed Khan, Sergey Madaminov, Michael Ferdman, Rob Johnson, Prashant Pandey, Rob Patro
BIOINFORMATICS | March, 2022

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

Constraint-Driven Explanations of Black-Box ML Models
Nina Narodytska, Aditya Shrotri, Alexey Ignatiev, Kuldeep S. Meel, Joao Marques-Silva, Moshe Y. Vardi
Proceedings of AAAI Conference on Artificial Intelligence (AAAI) | February, 2022

Planning for Cryptographic Readiness in an Era of Quantum Computing Advancement
David Ott, Dennis Moreau, Manish Gaur
International Conference on Information Systems Security and Privacy (ICISSP) 2022 | February, 2022

Induction Duality: Primal-Dual Search for Invariants
Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
Proc. ACM Program. Lang. (POPL 2022) | January, 2022

Using Advanced Data Structures to Enable Responsive Security Monitoring
Janet Vorobyeva, Daniel R. Delayo, Michael A. Bender, Prashant Pandey, Cynthia A. Phillips, Shikha Singh, Eric D. Thomas, Thomas M. Kroeger
Cluster Computing | January, 2022

Omnipredictors
Parikshit Gopalan, Adam Kalai, Omer Reingold, Vatsal Sharan, Udi Wieder
Innovations in Theoretical Computer Science (ITCS) | January, 2022

EDEN: Communication-Efficient and Robust Distributed Mean Estimation for Federated Learning
Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Amit Portnoy, Gal Mendelson, Yaniv Ben-Itzhak, Michael Mitzenmacher
arXiv:2108.08842 | January, 2022

FliT: A Library for Simple and Efficient Persistent Algorithms
Yuanhao Wei, Naama Ben David, Michal Friedman, Guy Blelloch, Erez Petrank
Principles and Practice of Parallel Programming 2022 | 2022

DRIVE: One-bit Distributed Mean Estimation
Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Amit Portnoy, Gal Mendelson, Yaniv Ben-Itzhak, Michael Mitzenmacher
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems | December, 2021

Good-case and Bad-case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization
Ittai Abraham, Ling Ren, Zhuolun Xiang
OPODIS 2021 | December, 2021