Publications

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, 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, Cosmin Caba, Liran Schour, Yaniv Ben-Itzhak
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

When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk)
Ittai Abraham
2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020) | 2020

Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency
Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang
34th International Symposium on Distributed Computing (DISC 2020) | 2020

Peaches, lemons, and cookies: Designing auction markets with dispersed information
Ittai Abraham, Susan Athey, Moshe Babaioff, Michael Grubb
Games Econ. Behav. | 2020

Ramsey Spanning Trees and Their Applications
Ittai Abraham, Shiri Chechik, Michael Elkin, Arnold Filtser, Ofer Neiman
{ACM} Trans. Algorithms | 2020

Information Theoretic HotStuff
Ittai Abraham, Gilad Stern
OPODIS | 2020

Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience
Ittai Abraham, Danny Dolev, Gilad Stern
PODC | 2020

Blinder - Scalable, Robust Anonymous Committed Broadcast
Ittai Abraham, Benny Pinkas, Avishay Yanai
CCS | 2020

Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
Nina Narodytska, Joao Marques-Silva (University of Toulouse), Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev
Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual | 2020

On the Optimality of Optimistic Responsiveness
Ittai Abraham, Ling Ren, Kartik Nayak, Nibesh Shrestha
CCS | 2020

Ivy: A Multi-modal Verification Tool for Distributed Algorithms
Kenneth L. McMillan, Oded Padon
Computer Aided Verification - 32nd International Conference, CAV 2020 | 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