Publications

Research Area
Publication Year
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
Prashant Pandey, 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