Just-in-Time Compilation for Verilog --- A New Technique for Improving the FPGA Programming Experience
Eric Schkufza, Chris Rossbach, Michael Wei
ASPLOS | April, 2019

Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n^2) Communication, and Optimal Resilience
Ittai Abraham, Kartik Nayak, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren
Financial Crypto | February, 2019

Engineering a High-Performance GPU B-Tree
Muhammad A. Awad, Saman Ashkiani, Rob Johnson, Martin Farach-Colton, John D. Owens
PPoPP | February, 2019

Abduction-Based Explanations for Machine Learning Models
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
AAAI Conference on Artificial Intelligence | February, 2019

Alembic: Automated Model Inference for Stateful Network Functions
Soo-Jin Moon, Jeffrey Helt, Yifei Yuan, Yves Bieri, Sujata Banerjee, Vyas Sekar, Wenfei Wu, Mihalis Yannakakis, Ying Zhang
Proceedings of USENIX NSDI | February, 2019

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