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

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

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
arXiv | October, 2019

Automating Cluster Management with Weave
Lalith Suresh, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira
arXiv preprint arXiv:1909.03130 | September, 2019

Elmo: Source Routed Multicast for Public Clouds
Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira
ACM SIGCOMM 2019 | August, 2019

PIDForest: Anomaly Detection and Certification via Partial Identification
Parikshit Gopalan, Vatsal Sharan, Udi Wieder
NeurIPS 2019 | August, 2019

Asymptotically Optimal Validated Asynchronous Byzantine Agreement
Ittai Abraham, Sasha Spiegelman, Dahlia Malkhi, Alexander Spiegelman, Sasha Spiegelman
PODC | July, 2019

The Impact of RDMA on Agreement
Marcos Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra Marathe, Igor Zablotchi
Symposium on Principles of Distributed Computing | July, 2019

JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre
Nadav Amit, Fred Jacobs, Michael Wei
2019 USENIX Annual Technical Conference | July, 2019

Assessing Heuristic Machine Learning Explanations with Model Counting
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019

Assessing Heuristic Machine Learning Explanations with Model Counting*
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019

Communication Complexity of Byzantine Agreement, Revisited
Ittai Abraham, Kartik Nayak, T-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
Principles of Distributed Computing, PODC | July, 2019

JumpSwitches: Restoring the Performance of Indirect Branches in the Era of Spectre
Fred Jacobs, Michael Wei
July, 2019

File-System Aging: It's More Usage than Fullness
Alex Conway, Eric Knorr, Yizheng Jiao, Michael A. Bender, William Jannen, Rob Johnson, Don Porter, Martin Farach-Colton
HotStorage | July, 2019

Hillview: A trillion-cell spreadsheet for big data
Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera
Proceedings of the VLDB Endowment (VLDB) | July, 2019

Fast general distributed transactions with opacity
Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro
ACM International Conference on Management of Data (SIGMOD) | June, 2019

Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design
Michael A. Bender, Alex Conway, Martin Farach-Colton, William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey, Donald E. Porter, Jun Yuan, Yang Zhan
SPAA | June, 2019

Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
PLDI'19 | June, 2019