Research Area
Publication Year
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
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
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