Understanding Lifecycle Management Complexity of Datacenter Topologies
Mingyang Zhang, Radhika Niranjan Mysore, Sucha Supittayapornpong, Ramesh Govindan
February, 2019

Optimal Ball Recycling (conference version)
Michael A. Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai
SODA | January, 2019

SBFT: a Scalable and Decentralized Trust Infrastructure
Guy Golan Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Mike Reiter, Dragos Adrian Seredinschi, Orr Tamir, Alin Tomescu
The 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'19) | 2019

HotStuff: BFT Consensus with Linearity and Responsiveness
Maofan Yin, Dahlia Malkhi, Mike Reiter, Guy Golan Gueta, Ittai Abraham
PODC 2019 | 2019

Implementing Mediators with Asynchronous Cheap Talk
Ittai Abraham, Danny Dolev, Ivan Geffner, Joe Halpern
PODC 2019 | 2019

An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search
Fatemah Almodaresi, Prashant Pandey, Michael A. Bender, Rob Johnson, Rob Patro
Journal of Computational Biology | 2019

Dfinity Consensus, Explored
Ittai Abraham, Kartik Nayak, Dahlia Malkhi, Kartik Nayak, Ling Ren
https://eprint.iacr.org/2018/1153 | December, 2018

How to implement any concurrent data structure
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera
Communications of the ACM Research Highlights | December, 2018

Efficient Anomaly Detection via Matrix Sketching
Parikshit Gopalan, Vatsal Sharan, Udi Wieder
Advances in Neural Information Processing Systems (NeurIPS2018) | December, 2018

The Online Event-Detection Problem
Michael A. Bender, Jon Berry, Martin Farach-Colton, Rob Johnson, Tom Kroeger, Prashant Pandey, Cynthia A. Phillips, Shikha Singh
December, 2018

Memento: Making Sliding Windows Efficient for Heavy Hitters
Isaac Keslassy, Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Gil Einziger, Ariel Orda, Erez Waisbard
CoNEXT | December, 2018

Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November, 2018

Validated Asynchronous Byzantine Agreement with Optimal Resilience and Asymptotically Optimal Time and Word Communication
Ittai Abraham, Dahlia Malkhi, Sasha Spiegelman
ArXiv | November, 2018

The P4-16 Language Specification, version 1.1.0
The P4.org consortium
November, 2018

P4C-XDP: Programming the Linux Kernel Forwarding Plane Using P4
Fabian Ruffy, Mihai Budiu, William Tu
Linux Plumber's Conference | November, 2018

Bloom Filters, Adaptivity, and the Dictionary Problem
Michael A Bender, Martin Farach-Colton, Mayank Goswami, Rob Johnson, Samuel McCauley, Shikha Singh
FOCS | October, 2018

Enabling Efficient RDMA-based Synchronous Mirroring of Persistent Memory Transactions
Arash Tavakkol, Aasheesh Kolli, Stanko Novakovic, Kaveh Rezavi, Juan Gómez-Luna, Hasan Hassan, Claude Barthels, Yaohua Wang, Mohammad Sadrosadati, Saugata Ghose, Ankit Singla, Pratap Subrahmanyam, Onur Mutlu
arXiv | October, 2018

Stable and Consistent Membership at Scale with Rapid
Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala
USENIX ATC | July, 2018

Network Approximation using Tensor Sketching
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
The 27th International Joint Conference on Artificial Intelligence | July, 2018

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, Mooly Sagiv
The International Conference on Theory and Applications of Satisfiability Testing (SAT) | July, 2018