Publications

The Impact of RDMA on Agreement
Marcos Aguilera, Naama Ben David, 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 (ATC) | 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

Mind the Mining
Sasha Spiegelman, Guy Goren, Alexander Spiegelman
Economics and Computation | June, 2019

Storm: a Fast Transactional Dataplane for Remote Data Structures
Stanko Novakovic, Yizhou Shan, Aasheesh Kolli, Michael Cui, Yiying Zhang, Haggai Eran, Liran Liss, Michael Wei, Dan Tsafrir, Marcos Aguilera
SYSTOR '19: ACM International Conference on Systems and Storage | June, 2019

Using SMT to Accelerate Nested Virtualization
Lluís Vilanova, Nadav Amit, Yoav Etsion
International Symposium on Computer Architecture (ISCA) | June, 2019

Differential Datalog
Leonid Ryzhyk, Mihai Budiu
Datalog 2.0 | June, 2019

Apps can quickly destroy your mobile's flash: why they don't, and how to keep it that way
Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir
MobiSys '19: ACM International Conference on Mobile Systems, Applications, and Services | June, 2019

Energy oriented EDF for real-time systems
Israel Cidon, Gil Kedar, Avi Mendelson
International Journal of Embedded Systems - IJES | June, 2019

An Efficient and Scalable Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search
Fatemah Almodaresi, Prashant Pandey, Michael Ferdman, Rob Johnson, Rob Patro
RECOMB | May, 2019

RelGAN: Relational Generative Adversarial Networks for Text Generation
Weili Nie, Nina Narodytska, Ankit Patel
International Conference on Learning Representations | May, 2019

Reasoning about Neural Networks: a Taxonomy of Current Approaches
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
AAAI Spring Symposium on Verification of Neural Networks (VNN19). | May, 2019