Publications

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

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Formal Methods Syst. Des. (FMSD) | 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

Reaching Consensus for Asynchronous Distributed Key Generation
Ittai Abraham, Alin Tomescu, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern
PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021 | July, 2021

Good-case Latency of Byzantine Broadcast: a Complete Categorization
Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang
PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021 | July, 2021

VariantStore: an index for large-scale genomic variant search
Prashant Pandey, Yinjie Gao, Carl Kingsford
Genome Biology | July, 2021

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

Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs
Prashant Pandey, Brian Wheatman, Helen Xu, Aydin Buluc
SIGMOD | June, 2021

Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, Alex Aiken
PLDI 2021: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation | 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

Distributed-Memory k-mer Counting on GPUs
Israt Nisa, Prashant Pandey, Marquita Ellis, Leonid Oliker, Aydin Buluc, Katherine Yelick
IPDPS | May, 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

The Netivus Manifesto: making collaborative network management easier for the rest of us
Joseph Severini, Radhika Niranjan Mysore, Vyas Sekar, Sujata Banerjee, Michael Reiter
ACM SIGCOMM Computer Communication Review | April, 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

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 | March, 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

RADE: Resource-Efficient Supervised Anomaly Detection Using Decision Tree-Based Ensemble Methods
Shay Vargaftik, Isaac Keslassy, Ariel Orda, Yaniv Ben-Itzhak
Machine Learning | 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

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