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
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
Load Balancer
Load balancing
Lossy compression
Machine Learning
Middle boxes / network appliances
Middleboxes
Multi-core
multiclass classification
Network Function Virtualization
Network management
Network measurments
Network Virtualization
NIDS
NoC simulator
Operating Systems
Optical interconnect
Performance diagnosis
Persistent Memory
Post Quantum Cryptography
programmable data planes
Quotient filter
Real-time
resource efficiency
Scheduling
SDN
Security
Shared Randomness
Simulator
Skip Lists
Software-Defined Networks
Statistics
storage
Streaming Algorithms
Systems
verification
Verilog
Virtual Memory
Virtualization
WebGL
Write-Optimized Data Structures
Publication Year
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2007
Isolation in Rust: What is Missing?
Anton Burtsev
,
Dan Appel
,
David Detweiler
,
Tianjiao Huang
,
Zhaofeng Li
,
Vikram Narayanan
,
Gerd Zellweger
October, 2022
Linear Types for Large-Scale Systems Verification
Jialin Li
,
Andrea Lattuada
,
Yi Zhou
,
Jonathan Cameron
,
Jon Howell
,
Bryan Parno
,
Chris Hawblitzel
OOPSLA | April, 2022
Efficient Multiclass Classification with Duet
Yaniv Ben-Itzhak
,
Shay Vargaftik
EuroMLSys '22 | April, 2022
UTT: Decentralized Ecash with Accountable Privacy
Alin Tomescu
,
Adithya Bhat
,
Benny Applebaum
,
Ittai Abraham
,
Guy Golan Gueta
,
Benny Pinkas
,
Avishay Yanai
Eprint | April, 2022
How to diagnose nanosecond network latencies in rich end-host stacks
Roni Haecki
,
Radhika Niranjan Mysore
,
Lalith Suresh
,
Gerd Zellweger
,
Bo Gan
,
Tim Merrifield
,
Sujata Banerjee
,
Timothy Roscoe
USENIX Symposium on Networked Systems Design and Implementation | April, 2022
Multicalibrated partitions for importance weights
Parikshit Gopalan
,
Omer Reingold
,
Vatsal Sharan
,
Udi Wieder
Algorithmic Learning Theory (ALT) | March, 2022
An Incrementally Updatable and Scalable System for Large-Scale Sequence Search using the Bentley-Saxe Transformation
Fatemeh Almodaresi
,
Jamshed Khan
,
Sergey Madaminov
,
Michael Ferdman
,
Rob Johnson
,
Prashant Pandey
,
Rob Patro
BIOINFORMATICS | March, 2022
Constraint-Driven Explanations of Black-Box ML Models
Nina Narodytska
,
Aditya Shrotri
,
Alexey Ignatiev
,
Kuldeep S. Meel
,
Joao Marques-Silva
,
Moshe Y. Vardi
Proceedings of AAAI Conference on Artificial Intelligence (AAAI) | February, 2022
Planning for Cryptographic Readiness in an Era of Quantum Computing Advancement
David Ott
,
Dennis Moreau
,
Manish Gaur
International Conference on Information Systems Security and Privacy (ICISSP) 2022 | February, 2022
Using Advanced Data Structures to Enable Responsive Security Monitoring
Janet Vorobyeva
,
Daniel R. Delayo
,
Michael A. Bender
,
Prashant Pandey
,
Cynthia A. Phillips
,
Shikha Singh
,
Eric D. Thomas
,
Thomas M. Kroeger
Cluster Computing | January, 2022
EDEN: Communication-Efficient and Robust Distributed Mean Estimation for Federated Learning
Shay Vargaftik
,
Shay Vargaftik
,
Ran Ben Basat
,
Amit Portnoy
,
Gal Mendelson
,
Yaniv Ben-Itzhak
,
Michael Mitzenmacher
arXiv:2108.08842 | January, 2022
Induction Duality: Primal-Dual Search for Invariants
Oded Padon
,
James R. Wilcox
,
Jason R. Koenig
,
Kenneth L. McMillan
,
Alex Aiken
Proc. ACM Program. Lang. (POPL 2022) | January, 2022
Omnipredictors
Parikshit Gopalan
,
Adam Kalai
,
Omer Reingold
,
Vatsal Sharan
,
Udi Wieder
Innovations in Theoretical Computer Science (ITCS) | January, 2022
FliT: A Library for Simple and Efficient Persistent Algorithms
Yuanhao Wei
,
Naama Ben David
,
Michal Friedman
,
Guy Blelloch
,
Erez Petrank
Principles and Practice of Parallel Programming 2022 | 2022
Optimal Good-case Latency for Rotating Leader Synchronous BFT
Ittai Abraham
,
Kartik Nayak
,
Nibesh Shrestha
OPODIS 2021 | December, 2021
Good-case and Bad-case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization
Ittai Abraham
,
Ling Ren
,
Zhuolun Xiang
OPODIS 2021 | December, 2021
DRIVE: One-bit Distributed Mean Estimation
Shay Vargaftik
,
Shay Vargaftik
,
Ran Ben Basat
,
Amit Portnoy
,
Gal Mendelson
,
Yaniv Ben-Itzhak
,
Michael Mitzenmacher
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems | December, 2021
Efficient Perfectly Secure Computation with Optimal Resilience
Ittai Abraham
,
Avishay Yanai
,
Gilad Asharov
Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part {II} | November, 2021
Frugal Byzantine Computing
Marcos Aguilera
,
Naama Ben David
,
Rachid Guerraoui
,
Dalia Papuc
,
Athanasios Xygkis
,
Igor Zablotchi
International Symposium on Distributed Computing (DISC) | October, 2021
Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption
Sravya Yandamuri
,
Ittai Abraham
,
Kartik Nayak
,
Michael K. Reiter
35th International Symposium on Distributed Computing, {DISC} 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference) | October, 2021
<
1
2
3
…
15
>