Research Area
Publication Year
Understanding Lifecycle Management Complexity of Datacenter Topologies
Mingyang Zhang, Radhika Niranjan Mysore, Sucha Supittayapornpong, Ramesh Govindan
February, 2019
Optimal Ball Recycling (conference version)
Michael A. Bender, Jake Christensen, Alex Conway, Martin Farach-Colton, Rob Johnson, Meng-Tsung Tsai
SODA | January, 2019
Implementing Mediators with Asynchronous Cheap Talk
Ittai Abraham, Danny Dolev, Ivan Geffner, Joe Halpern
PODC 2019 | 2019
An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search
Fatemah Almodaresi, Prashant Pandey, Michael A. Bender, Rob Johnson, Rob Patro
Journal of Computational Biology | 2019
Dfinity Consensus, Explored
Ittai Abraham, Kartik Nayak, Dahlia Malkhi, Kartik Nayak, Ling Ren
https://eprint.iacr.org/2018/1153 | December, 2018
How to implement any concurrent data structure
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos Aguilera
Communications of the ACM Research Highlights | December, 2018
Efficient Anomaly Detection via Matrix Sketching
Parikshit Gopalan, Vatsal Sharan, Udi Wieder
Advances in Neural Information Processing Systems (NeurIPS2018) | December, 2018
The Online Event-Detection Problem
Michael A. Bender, Jon Berry, Martin Farach-Colton, Rob Johnson, Tom Kroeger, Prashant Pandey, Cynthia A. Phillips, Shikha Singh
December, 2018
Memento: Making Sliding Windows Efficient for Heavy Hitters
Isaac Keslassy, Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Gil Einziger, Ariel Orda, Erez Waisbard
CoNEXT | December, 2018
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November, 2018
The P4-16 Language Specification, version 1.1.0
The P4.org consortium
November, 2018
P4C-XDP: Programming the Linux Kernel Forwarding Plane Using P4
Fabian Ruffy, Mihai Budiu, William Tu
Linux Plumber's Conference | November, 2018
Bloom Filters, Adaptivity, and the Dictionary Problem
Michael A Bender, Martin Farach-Colton, Mayank Goswami, Rob Johnson, Samuel McCauley, Shikha Singh
FOCS | October, 2018
Enabling Efficient RDMA-based Synchronous Mirroring of Persistent Memory Transactions
Arash Tavakkol, Aasheesh Kolli, Stanko Novakovic, Kaveh Rezavi, Juan Gómez-Luna, Hasan Hassan, Claude Barthels, Yaohua Wang, Mohammad Sadrosadati, Saugata Ghose, Ankit Singla, Pratap Subrahmanyam, Onur Mutlu
arXiv | October, 2018
Stable and Consistent Membership at Scale with Rapid
Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala
USENIX ATC | July, 2018
Network Approximation using Tensor Sketching
Shiva Prasad Kasiviswanathan, Nina Narodytska, Hongxia Jin
The 27th International Joint Conference on Artificial Intelligence | July, 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, Mooly Sagiv
The International Conference on Theory and Applications of Satisfiability Testing (SAT) | July, 2018