Publications

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

Gimbal: Enabling Multi-tenant Storage Disaggregation on SmartNIC JBOFs
Jaehong Min, Ming Liu, Tapan Chugh, Chenxingyu Zhao, Andrew Wei, In Hwan Doh, Arvind Krishnamurthy
Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM) | August, 2021

NrOS: Effective Replication and Sharing in an Operating System
Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger
15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21) | July, 2021

Paging and the Address Translation Problem
Michael A. Bender, Abhishek Bhattacharjee, Alex Conway, Martin Farach-Colton, Rob Johnson, Sudarsan Kannan, William Kuszmaul, Nirjhar Mukherjee, Don Porter, Guido Tagliavini, Janet Vorobyeva, Evan West
SPAA | July, 2021

Contextual Concurrency Control
Sujin Park, Irina Calciu, Taesoo Kim, Sanidhya Kashyap
HOTOS | June, 2021

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

Rethinking Software Runtimes for Disaggregated Memory
Irina Calciu, M. Talha Imran, Ivan Puddu, Sanidhya Kashyap, Hasan Maruf, Onur Mutlu, Aasheesh Kolli
ASPLOS | April, 2021

An Incrementally Updatable and Scalable System for Large-Scale Sequence Search using LSM Trees
Prashant Pandey, Fatemeh Almodaresi, Jamshed Khan, Sergey Madaminov, Prashant Pandey, Michael Ferdman, Rob Johnson, Rob Patro
bioRxiv | February, 2021

When Nakamoto Meets Nash: Blockchain Breakthrough Through the Lens of Game Theory (Invited Talk)
Ittai Abraham
2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020) | 2021

Constant-time snapshots with applications to concurrent data structures
Yuanhao Wei, Naama Ben David, Guy E Blelloch, Panagiota Fatourou, Eric Ruppert, Yihan Sun
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) | 2021

External-Memory Dictionaries in the Affine and PDAM Models
Prashant Pandey, 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

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

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

Analyzing Learning-Based Networked Systems with Formal Verification
Nina Narodytska, Arnaud Dethise, Marco Canini
40th {IEEE} Conference on Computer Communications, {INFOCOM} 2021, Vancouver, BC, Canada, May 10-13, 2021 | 2021

Explanations for Monotonic Classifiers
Nina Narodytska, Jo{\~{a}}o Marques{-}Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev
Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event | 2021

Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes
Keane Lucas, Mahmood Sharif, Lujo Bauer, Mike Reiter, Saurabh Shintre
Proceedings of the 2021 ACM ASIA Conference on Computer and Communications Security (AsiaCCS) | 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