Publications

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

RedLeaf: Towards An Operating System for Safe and Verified Firmware
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamarić, Anton Burtsev
HotOS 2019 | May, 2019

Project PBerry: FPGA Acceleration for Remote Memory
Irina Calciu, Ivan Puddu, Aasheesh Kolli, Andreas Nowatzyk, Jayneel Gandhi, Onur Mutlu, Pratap Subrahmanyam
Proceedings of the Workshop on Hot Topics in Operating Systems | May, 2019

Designing Far Memory Data Structures: Think Outside the Box
Marcos Aguilera, Marcos K. Aguilera, Kimberly Keeton, Stanko Novakovic, Sharad Singhal
Workshop on Hot Topics in Operating Systems | May, 2019

Locality-Preserving Oblivious RAM
Kartik Nayak, Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
Eurocrypt | May, 2019

Synthesizing Cluster Management Code for Distributed Systems
Lalith Suresh, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Brian Oki
Proceedings of the Workshop on Hot Topics in Operating Systems | May, 2019

Why and how to increase SSD performance transparency
Aviad Zuck, Tao Zhang, Philipp Guhring, Donald E. Porter, Dan Tsafrir
HotOS '19: ACM Workshop on Hot Topics in Operating Systems | May, 2019

Outsmarting Nonuniform DMA
Igor Smolyar, Dan Tsafrir, Guolin Yang, Craige Jiang, Ben Pfaff, Boris Pismenny, Tzahi Oved
RADIO | May, 2019

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