Research Area
Publication Year
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
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