Publications

Aggregatable Distributed Key Generation
Alin Tomescu, Kobi Gurkan, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern
EUROCRYPT'21 | October, 2021

Fast Local Page-Tables for Virtualized NUMA Servers with vMitosis
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, Gopinath Kanchi, Jayneel Gandhi
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | April, 2021

Understanding DMA Attacks in the Presence of an IOMMU
Alex Markuze, Shay Vargaftik, Gil Kupfer, Boris Pismenny, Nadav Amit, Adam Morrison, Dan Tsafrir
Eurosys | 2021

Copy-on-Abundant-Write for Nimble File System Clones
Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael A. Bender, Martin Farach-Colton, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
ACM Transactions on Storage | 2021

Vector Quotient Filters: Overcoming the Time/Space Trade-Off in Filter Design
Prashant Pandey, Alex Conway, Joe Durie, Michael A. Bender, Martin Farach-Colton, Rob Johnson
SIGMOD | 2021

External-Memory Dictionaries in the Affine and PDAM Models
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
Transactions on Parallel Computing | 2021

Persistence and Synchronization: Friends or Foes?
Pradeep Fernando, Irina Calciu, Jayneel Gandhi, Aasheesh Kolli, Ada Gavrilovska
arXiv | December, 2020

Storage Systems are Distributed Systems (So Verify Them That Way!)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November, 2020

Building Scalable and Flexible Cluster Managers Using Declarative Programming
Lalith Suresh, João Ferreira Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | November, 2020

RedLeaf: Isolation and Communication in a Safe Operating System
Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | 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

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