Research Area
Publication Year
Optimal Ball Recycling (conference version)
Michael A. Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai
SODA | January, 2019
Engineering a High-Performance GPU B-Tree
Muhammad A. Awad, Saman Ashkiani, Rob Johnson, Martin Farach-Colton, John D. Owens
PPoPP | February, 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
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
Abduction-Based Explanations for Machine Learning Models
Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva
AAAI Conference on Artificial Intelligence | February, 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
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
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
Elmo: Source Routed Multicast for Public Clouds
Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira
ACM SIGCOMM 2019 | August, 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
Mind the Mining
Sasha Spiegelman, Guy Goren, Alexander Spiegelman
Economics and Computation | June, 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
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
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
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