Publications

Research Area
Publication Year
Frugal Byzantine Computing
Marcos Aguilera, Naama Ben David, Rachid Guerraoui, Dalia Papuc, Athanasios Xygkis, Igor Zablotchi
International Symposium on Distributed Computing (DISC) | October, 2021
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
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
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
Evan West, 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
Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs
Prashant Pandey, Brian Wheatman, Helen Xu, Aydin Buluc
SIGMOD | June, 2021
Contextual Concurrency Control
Sujin Park, Irina Calciu, Taesoo Kim, Sanidhya Kashyap
HOTOS | 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