Publications

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

Efficient Perfectly Secure Computation with Optimal Resilience
Ittai Abraham, Avishay Yanai, Gilad Asharov
Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part {II} | November, 2021

Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption
Sravya Yandamuri, Ittai Abraham, Kartik Nayak, Michael K. Reiter
35th International Symposium on Distributed Computing, {DISC} 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference) | October, 2021

Isolation in Rust: What is Missing?
Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram Narayanan, Gerd Zellweger
October, 2021

Frugal Byzantine Computing
Marcos Aguilera, Naama Ben David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi
International Symposium on Distributed Computing (DISC) | October, 2021

Aggregatable Distributed Key Generation
Alin Tomescu, Kobi Gurkan, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern
EUROCRYPT'21 | October, 2021

Gimbal: Enabling Multi-tenant Storage Disaggregation on SmartNIC JBOFs
Jaehong Min, Ming Liu, Tapan Chugh, Chenxingyu Zhao, Andrew Wei, In Hwan Doh, Arvind Krishnamurthy
Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM) | August, 2021

VariantStore: an index for large-scale genomic variant search
Prashant Pandey, Yinjie Gao, Carl Kingsford
Genome Biology | July, 2021

NrOS: Effective Replication and Sharing in an Operating System
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger
15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21) | July, 2021

Paging and the Address Translation Problem
Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Rob Johnson, Sudarsan Kannan, William Kuszmaul, Nirjhar Mukherjee, Don Porter, Guido Tagliavini, Janet Vorobyeva, Evan West
SPAA | July, 2021

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Formal Methods Syst. Des. (FMSD) | July, 2021

Good-case Latency of Byzantine Broadcast: a Complete Categorization
Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang
PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021 | July, 2021

Reaching Consensus for Asynchronous Distributed Key Generation
Ittai Abraham, Alin Tomescu, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern
PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021 | July, 2021

Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs
Prashant Pandey, Brian Wheatman, Helen Xu, Aydin Buluc
SIGMOD | June, 2021

Contextual Concurrency Control
Sujin Park, Irina Calciu, Taesoo Kim, Sanidhya Kashyap
HOTOS | June, 2021

Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, Alex Aiken
PLDI 2021: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation | June, 2021

Vector Quotient Filters: Overcoming the Time/Space Trade-Off in Filter Design
Prashant Pandey, Prashant Pandey, Alex Conway, Joe Durie, Michael A. Bender, Martin Farach-Colton, Rob Johnson
SIGMOD | June, 2021

Distributed-Memory k-mer Counting on GPUs
Israt Nisa, Prashant Pandey, Marquita Ellis, Leonid Oliker, Aydin Buluc, Katherine Yelick
IPDPS | May, 2021

The Netivus Manifesto: making collaborative network management easier for the rest of us
Joseph Severini, Radhika Niranjan Mysore, Vyas Sekar, Sujata Banerjee, Michael Reiter
ACM SIGCOMM Computer Communication Review | April, 2021

Rethinking Software Runtimes for Disaggregated Memory
Irina Calciu, M. Talha Imran, Ivan Puddu, Sanidhya Kashyap, Hasan Maruf, Onur Mutlu, Aasheesh Kolli
ASPLOS | April, 2021