Publications

Research Area
Publication Year
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin
41st IEEE Symposium on Security and Privacy | June, 2020
Towards Scalable Threshold Cryptosystems
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, Srinivas Devadas
41st IEEE Symposium on Security and Privacy | June, 2020
Timely Reporting of Heavy Hitters using External Memory
Prashant Pandey, Shikha Singh, Michael A. Bender, Jonathan W. Berry, Martin Farach-Colton, Rob Johnson, Thomas M. Kroeger, Cynthia A. Phillips
SIGMOD | June, 2020
Faster and More Accurate Measurement through Additive-Error Counters
Shay Vargaftik, Ran Ben Basat, Gil Einziger, Michael Mitzenmacher, Shay Vargaftik
June, 2020
Enhancing and Exploiting Contiguity for Fast Memory Virtualization
Chloe Alverti, Stratos Psomadakis, Vasileios Karakostas, Jayneel Gandhi, Konstantinos Nikas, Georgios Goumas, Nectarios Koziris
International Symposium on Computer Architecture (ISCA) | June, 2020
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
The 24th European Conference on Artificial Intelligence (ECAI 2020). | May, 2020
In Search for a SAT-friendly Binarized Neural Network Architecture
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
ICLR 2020 Conference | April, 2020
Don't shoot down TLB shootdowns!
Nadav Amit, Amy Tai, Michael Wei
ACM European Conference on Computer Systems (EuroSys) | April, 2020
RAIDP: ReplicAtion with Intra-Disk Parity for Cost-Effective Storage of Warm Data
Eitan Rosenfeld, Aviad Zuck, Nadav Amit, Michael Factor, Dan Tsafrir
ACM European Conference on Computer Systems (EuroSys) | April, 2020
Can Far Memory Improve Job Throughput?
Emmanuel Amaro, Christopher Branner-Augmon, Zhihong Luo, Amy Ousterhout, Marcos Aguilera, Aurojit Panda, Sylvia Ratnasamy, Scott Shenker
ACM European Conference on Computer Systems (EuroSys) | April, 2020
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | March, 2020
IOctopus: Outsmarting Nonuniform DMA
Igor Smolyar, Alex Markuze, Boris Pismenny, Haggai Eran, Gerd Zellweger, Austin Bolen, Liran Liss, Adam Morrison, Dan Tsafrir
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | March, 2020
C-Share: Optical Circuits Sharing for Software-Defined Data-Centers
Shay Vargaftik, Shay Vargaftik, Yaniv Ben-Itzhak, Cosmin Caba, Liran Schour
ACM SIGCOMM Computer Communication Review | March, 2020
How to Copy Files
Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael A. Bender, Martin Farach-Colton, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
FAST | February, 2020
Flushing Without Cascades
Michael A. Bender, Rathish Das, Martin Farach-Colton, Rob Johnson, William Kuszmaul
SODA | January, 2020
Flexible Byzantine Fault Tolerance
Dahlia Malkhi, Kartik Nayak, Kartik Nayak, Ling Ren
Computer and Communication Security (CCS) | ACM | November, 2019
Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols
Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Mike Reiter, Emin Gun Sirer
Computer and Communication Security (CCS) | ACM | November, 2019
Transparency Logs via Append-Only Authenticated Dictionaries
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
ACM CCS'19 | November, 2019
BDD-Based Algorithms for Packet Classification
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
FMCAD'19 | Formal Methods in Computer-Aided Design | October, 2019
Scalable and Practical Locking With Shuffling
Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim
SOSP | October, 2019