Publications

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

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