Publications

Research Area
Publication Year
Overlook: Differentially Private Exploratory Visualization for Big Data
Pratiksha Thaker, Mihai Budiu, Parikshit Gopalan, Udi Wieder, Matei Zaharia
Theory and Practice of Differential Privacy (TPDP 2020) | November, 2020
Microsecond Consensus for Microsecond Applications
Marcos Aguilera, Naama Ben David, Rachid Guerraoui, Virendra Marathe, Athanasios Xygkis, Igor Zablotchi
Symposium on Operating Systems Design and Implementation (OSDI) | November, 2020
AIFM: High-Performance, Application-Integrated Far Memory
Zhenyuan Ruan, Malte Schwarzkopf, Marcos Aguilera, Adam Belay
Symposium on Operating Systems Design and Implementation (OSDI) | November, 2020
Predicting Execution Times With Partial Simulations in Virtual Memory Research: Why and How?
Mohammad Agbarya, Idan Yaniv, Jayneel Gandhi, Dan Tsafrir
The 53rd IEEE/ACM International Symposium on Microarchitecture (MICRO) | October, 2020
PRISM: Architectural Support for Variable-granularity Memory Metadata
Rachata Ausavarungnirun, Timothy Merrifield, Jayneel Gandhi, Chris Rossbach
International Conference on Parallel Architectures and Compilation Techniques (PACT) | October, 2020
Distributed Dispatching in the Parallel Server Model
Shay Vargaftik, Guy Goren, Shay Vargaftik, Yoram Moses
DISC 2020 | October, 2020
SNF: Serverless Network Functions
Arjun Singhvi, Junaid Khalid, Aditya Akella, Sujata Banerjee
ACM Symposium on Cloud Computing (SoCC) | October, 2020
Post Quantum Cryptography: Readiness Challenges and the Approaching Storm
Matt Campagna, Brian LaMacchia, David Ott
Computing Community Consortium (CCC) Quadrennial Paper | October, 2020
Aggregatable Subvector Commitments for Stateless Cryptocurrencies
Alin Tomescu, Ittai Abraham, Vitalik Buterin, Justin Drake, Dankrad Feist, Dmitry Khovratovich
Security and Cryptography for Networks | September, 2020
Closing the Gap Between Cache-Oblivious and Cache-Adaptive Analysis
Michael A. Bender, Rezaul Chowdhury, Rathish Das, Rob Johnson, William Kuszmaul, Andrea Lincoln, Quanquan Liu, Jayson Lynch, Helen Xu
SPAA | July, 2020
SplinterDB: Closing the Bandwidth Gap for NVMe Key-Value Stores
Alex Conway, Abhishek Gupta, Amy Tai, Richard Spillane, Vijay Chidambaram, Martin Farach-Colton, Rob Johnson
USENIX ATC | July, 2020
The gem5 Simulator: Version 20.0+
Jason Lowe-Power, Abdul Mutaal Ahmad, Ayaz Akram, Mohammad Alian, Rico Amslinger, Matteo Andreozzi, Adrià Armejach, Nils Asmussen, Srikant Bharadwaj, Gabe Black, Gedare Bloom, Bobby R. Bruce, Daniel Rodrigues Carvalho, Jeronimo Castrillon, Lizhong Chen, Nicolas Derumigny, Stephan Diestelhorst, Wendy Elsasser, Marjan Fariborz, Amin Farmahini-Farahani, Pouya Fotouhi, Ryan Gambord, Jayneel Gandhi, Dibakar Gope, Thomas Grass, Bagus Hanindhito, Andreas Hansson, Swapnil Haria, Austin Harris, Timothy Hayes, Adrian Herrera, Matthew Horsnell, Syed Ali Raza Jafri, Radhika Jagtap, Hanhwi Jang, Reiley Jeyapaul, Timothy M. Jones, Matthias Jung, Subash Kannoth, Hamidreza Khaleghzadeh, Yuetsu Kodama, Tushar Krishna, Tommaso Marinelli, Christian Menard, Andrea Mondelli, Tiago Mück, Omar Naji, Krishnendra Nathella, Hoa Nguyen, Nikos Nikoleris, Lena E. Olson, Marc Orr, Binh Pham, Pablo Prieto, Trivikram Reddy, Alec Roelke, Mahyar Samani, Andreas Sandberg, Javier Setoain, Boris Shingarov, Matthew D. Sinclair, Tuan Ta, Rahul Thakur, Giacomo Travaglini, Michael Upton, Nilay Vaish, Ilias Vougioukas, Zhengrong Wang, Norbert Wehn, Christian Weis, David A. Wood, Hongil Yoon, Éder F. Zulian
arXiv | July, 2020
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin
41st IEEE Symposium on Security and Privacy | June, 2020
Towards Scalable Threshold Cryptosystems
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, Srinivas Devadas
41st IEEE Symposium on Security and Privacy | June, 2020
Timely Reporting of Heavy Hitters using External Memory
Prashant Pandey, Prashant Pandey, Shikha Singh, Michael A. Bender, Jonathan W. Berry, Martin Farach-Colton, Rob Johnson, Thomas M. Kroeger, Cynthia A. Phillips
SIGMOD | June, 2020
Faster and More Accurate Measurement through Additive-Error Counters
Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Gil Einziger, Michael Mitzenmacher
INFOCOM 2020 | June, 2020
Enhancing and Exploiting Contiguity for Fast Memory Virtualization
Chloe Alverti, Stratos Psomadakis, Vasileios Karakostas, Jayneel Gandhi, Konstantinos Nikas, Georgios Goumas, Nectarios Koziris
International Symposium on Computer Architecture (ISCA) | June, 2020
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
The 24th European Conference on Artificial Intelligence (ECAI 2020). | May, 2020
In Search for a SAT-friendly Binarized Neural Network Architecture
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
ICLR 2020 Conference | April, 2020
Don't shoot down TLB shootdowns!
Nadav Amit, Amy Tai, Michael Wei
ACM European Conference on Computer Systems (EuroSys) | April, 2020