Research Area
Publication Year
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
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
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
DBOS: A DBMS-Oriented Operating System
athinagoras Skiadopoulos, Lalith Suresh, Qian Li, Peter Kraft, Kostis Kaffes, Daniel Hong, Shana Mathew, David Bestor, Michael Cafarella, Vijay Gadepally, Goetz Graefe, Jeremy Kepner, Christos Kozyrakis, Tim Kraska, Michael Stonebraker, Matei Zaharia
Proc. VLDB Endow. | 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
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
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
A Progress Report on DBOS: A Database-oriented Operating System
athinagoras Skiadopoulos, Lalith Suresh, Qian Li, Peter Kraft, Kostis Kaffes, Deeptaanshu Kumar, Jason Li, Michael J. Cafarella, Goetz Graefe, Jeremy Kepner, Christos Kozyrakis, Michael Stonebraker, Matei A. Zaharia
CIDR | 2022
Graham: Synchronizing Clocks by Leveraging Local Clock Properties
Ali Najafi, Michael Wei
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | 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
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
Frugal Byzantine Computing
Marcos Aguilera, Naama Ben David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi
International Symposium on Distributed Computing (DISC) | October, 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
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