Blog
VMware Academic Program
Login
Menu
Projects
Team
Announcements
Publications
About Us
Directions
Recruiting
Publications
Sort by:
Latest
Oldest
A-Z
Z-A
Research Area
Algorithms
Anomaly Detection
Approximate Membership Query Data Structure
authenticated data structures
automated testing
B-tree
big data
Bloom filter
Browser exploit
Cache-Oblivious Algorithms
Cascade
cluster management
Compact Data Structures
Computational Biology
Computer Architecture
Concurrency
Consistent Hashing
constraint programming
Counting Filter
Counting Quotient Filters
cryptocurrency mining
Cryptographic Agility
cryptography
Data center networks
Data Structures
data visualization
Databases
de Bruijn Graphs
declarative programming
Device drivers
Direct Memory Access (DMA)
disaggregated memory
Disaggregated storage
Distributed Computing
distributed systems
DVFS
EDF
External-Memory Algorithms
External-Memory Data Structures
File systems
filesystems
GPU
Heterogeneous NoC
Input/Output
Just-in-Time
K-mer Counting
Linux
Load Balancer
Load balancing
Lossy compression
Lower Bounds
Machine Learning
Memory management
Middle boxes / network appliances
Middleboxes
Multi-core
multiclass classification
Network diagnosis
Network Function Virtualization
Network management
Network measurments
Network Virtualization
NIDS
NoC simulator
Operating Systems
Optical interconnect
P4
Performance diagnosis
Persistent Memory
Post Quantum Cryptography
PQC
programmable data planes
Quotient filter
Real-time
reliability
Remote Memory
resource efficiency
Scheduling
SDN
Security
Shared Randomness
Simulator
Skip Lists
Software-Defined Networks
Statistics
storage
Streaming Algorithms
sustainability
Systems
verification
Verified software
Verified Systems Software
Verilog
Virtual Memory
Virtualization
WebGL
Write-Optimized Data Structures
Publication Year
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2007
Understanding Lifecycle Management Complexity of Datacenter Topologies
Mingyang Zhang
,
Radhika Niranjan Mysore
,
Sucha Supittayapornpong
,
Ramesh Govindan
February, 2019
Optimal Ball Recycling (conference version)
Michael A. Bender
,
Jake Christensen
,
Alex Conway
,
Martin Farach-Colton
,
Rob Johnson
,
Meng-Tsung Tsai
SODA | January, 2019
SBFT: a Scalable and Decentralized Trust Infrastructure
Guy Golan Gueta
,
Ittai Abraham
,
Shelly Grossman
,
Dahlia Malkhi
,
Benny Pinkas
,
Mike Reiter
,
Dragos Adrian Seredinschi
,
Orr Tamir
,
Alin Tomescu
The 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'19) | 2019
HotStuff: BFT Consensus with Linearity and Responsiveness
Maofan Yin
,
Dahlia Malkhi
,
Mike Reiter
,
Guy Golan Gueta
,
Ittai Abraham
PODC 2019 | 2019
Implementing Mediators with Asynchronous Cheap Talk
Ittai Abraham
,
Danny Dolev
,
Ivan Geffner
,
Joe Halpern
PODC 2019 | 2019
An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search
Prashant Pandey
,
Fatemah Almodaresi
,
Prashant Pandey
,
Michael A. Bender
,
Rob Johnson
,
Rob Patro
Journal of Computational Biology | 2019
Distributed Protocols for Leader Election: A Game-Theoretic Perspective
Ittai Abraham
,
Danny Dolev
,
Joseph Y. Halpern
ACM Trans. Economics and Comput. | 2019
Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free Graphs
Ittai Abraham
,
Cyril Gavoille
,
Anupam Gupta
,
Ofer Neiman
,
Kunal Talwar
SIAM J. Comput. | 2019
Using Petal-Decompositions to Build a Low Stretch Spanning Tree
Ittai Abraham
,
Ofer Neiman
SIAM J. Comput. | 2019
Dfinity Consensus, Explored
Ittai Abraham
,
Kartik Nayak
,
Dahlia Malkhi
,
Kartik Nayak
,
Ling Ren
https://eprint.iacr.org/2018/1153 | December, 2018
How to implement any concurrent data structure
Irina Calciu
,
Siddhartha Sen
,
Mahesh Balakrishnan
,
Marcos Aguilera
Communications of the ACM Research Highlights | December, 2018
Efficient Anomaly Detection via Matrix Sketching
Parikshit Gopalan
,
Vatsal Sharan
,
Udi Wieder
Advances in Neural Information Processing Systems (NeurIPS2018) | December, 2018
The Online Event-Detection Problem
Prashant Pandey
,
Michael A. Bender
,
Jon Berry
,
Martin Farach-Colton
,
Rob Johnson
,
Tom Kroeger
,
Prashant Pandey
,
Cynthia A. Phillips
,
Shikha Singh
December, 2018
Memento: Making Sliding Windows Efficient for Heavy Hitters
Isaac Keslassy
,
Shay Vargaftik
,
Shay Vargaftik
,
Ran Ben Basat
,
Gil Einziger
,
Ariel Orda
,
Erez Waisbard
CoNEXT 2018 | December, 2018
Validated Asynchronous Byzantine Agreement with Optimal Resilience and Asymptotically Optimal Time and Word Communication
Ittai Abraham
,
Dahlia Malkhi
,
Sasha Spiegelman
ArXiv | November, 2018
The P4-16 Language Specification, version 1.1.0
The P4.org consortium
November, 2018
P4C-XDP: Programming the Linux Kernel Forwarding Plane Using P4
Fabian Ruffy
,
Mihai Budiu
,
William Tu
Linux Plumber's Conference | November, 2018
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas
,
Cormac Flanagan
,
Sadjad Fouladi
,
Leonid Ryzhyk
,
Mooly Sagiv
,
Thomas Schmitz
,
Keith Winstein
Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November, 2018
Bloom Filters, Adaptivity, and the Dictionary Problem
Michael A Bender
,
Martin Farach-Colton
,
Mayank Goswami
,
Rob Johnson
,
Samuel McCauley
,
Shikha Singh
FOCS | October, 2018
Enabling Efficient RDMA-based Synchronous Mirroring of Persistent Memory Transactions
Arash Tavakkol
,
Aasheesh Kolli
,
Stanko Novakovic
,
Kaveh Rezavi
,
Juan Gómez-Luna
,
Hasan Hassan
,
Claude Barthels
,
Yaohua Wang
,
Mohammad Sadrosadati
,
Saugata Ghose
,
Ankit Singla
,
Pratap Subrahmanyam
,
Onur Mutlu
arXiv | October, 2018
<
1
…
9
10
11
…
17
>