Publications
2024
-
TurboDB: Conquering Skewed Workloads by Integrating a Single-Machine Database Into a Distributed Database
Proc. 21st Symposium on Networked Systems Design and Implementation (NSDI ‘24), Santa Clara, CA
2023
-
Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems
Kernel Isolation, Safety and Verification (KISV ‘23), Koblenz, Germany
[paper]
-
Strictly Serializable Timestamp Ordering by Avoiding the Timestamp-Inversion Pitfall
Proc. USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘23), Boston, MA
-
Efficient Compactions between Storage Tiers with PrismDB
Proc. 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS ’23), Vancouver, Canada
[paper]
-
RubbleDB: CPU-Efficient Replication with NVMe-oF
To appear: Proc. USENIX Annual Technical Conference (USENIX ATC ‘23), Boston, MA
-
VectorVisor: A Binary Translation Scheme for Throughput-Oriented GPU Acceleration
To appear: Proc. USENIX Annual Technical Conference (USENIX ATC ‘23)
-
Palette Load Balancing: Locality Hints for Serverless Functions
Proc. 18th European Conference on Computer Systems (EuroSys ‘23), Rome, Italy
[paper]
-
Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense
Proc. 44th IEEE Symposium on Security and Privacy (S&P ‘23), San Francisco, CA
[paper]
-
C5: Cloned Concurrency Control that Always Keeps Up
Proc. 49th International Conference on Very Large Data Bases (VLDB ‘23), Vancouver, Canada
[paper]
-
Morty: Scaling Concurrency Control with Re-Execution
Proc. 18th European Conference on Computer Systems (EuroSys ‘23), Rome, Italy
[paper]
-
Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
Proc. 20th Symposium on Networked Systems Design and Implementation (NSDI ‘23), Boston, MA
[paper]
2022
-
Computation-Centric Networking
Proc. 21th ACM Workshopt on Hot Topics in Networking (HotNets ‘22), Austin, Texas
[paper]
-
Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage
Proc. USENIX Annual Technical Conference (USENIX ATC ‘22)
[paper]
-
VirtualFlow: Decoupling Deep Learning Models from the Underlying Hardware
Proc. Fifth Conference on Machine Learning and Systems (MLSys ‘22)
[paper]
-
Tiered Trust for Useful Embedded Systems Security
Proc. 15th European Workshop on Systems Security (EuroSec ‘22)
[paper]
2021
-
Don’t Be a Blockhead: Zoned Namespaces Make Work on Conventional SSDs Obsolete
Proc. 18th Workshop on Hot Topics in Operating Systems (HotOS ‘21)
-
Facebook’s Tectonic Filesystem: Efficiency from Exascale
Proc. 19th USENIX Conference on File and Storage Technologies (FAST ‘21)
-
K2: Reading Quickly from Storage Across Many Datacenters
Proc. 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN ‘21)
-
Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
To appear: Proc. of the ACM on Programming Languages, Volume 5, Issue OOPSLA (OOPSLA ‘21), Chicago, Illinois
-
Regular Sequential Serializability and Regular Sequential Consistency
Proc. 28th ACM Symposium on Operating Systems Principles (SOSP ‘21), Virtual Event
-
Power Clocks: Dynamic Multi-Clock Management for Embedded Systems
Proc. 16th International Conference on Embedded Wireless Systems and Networks (EWSN ‘21), Delft, The Netherlands
[paper]
2020
-
Serverless Isn’t Server-Less: Measuring and Exploiting Resource Variability on Cloud FaaS Platforms
Proc. 6th International Workshop on Serverless Computing (WoSC ‘20), Delft, Netherlands
[paper]
-
Tolerating Slowdowns in Replicated State Machines using Copilots
Proc. 14th Symposium on Operating Systems Design and Implementation (OSDI ‘20)
-
Performance-Optimal Read-Only Transactions
Proc. 14th Symposium on Operating Systems Design and Implementation (OSDI ‘20)
-
Resource Elasticity in Distributed Deep Learning
Proc. 3rd Conference on Machine Learning and Systems (MLSys ’20) Austin, TX
-
Learning Relaxed Belady for Content Distribution Network Caching
Proc. 17th Symposium on Networked Systems Design and Implementation (NSDI ‘20), Boston, MA
-
Gryff: Unifying Consensus and Shared Registers
Proc. 17th Symposium on Networked Systems Design and Implementation (NSDI ‘20), Boston, MA
[paper]
-
Design considerations for low power internet protocols
Proc. 16th International Conference on Distributed Computing in Sensor Systems (DCOSS ‘20)
[paper]
2019
-
ReLAQS: Reducing Latency for Multi-Tenant Approximate Queries via Scheduling
Proc. 20th International Middleware Conference (Middleware ‘19) Davis, CA
[paper]
-
Progressive memory safety for webassembly
Proc. 8th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP ‘19), Phoenix, AZ
[paper]
2018
-
Riffle: Optimized shuffle service for large-scale data analytics
Proc. 13th European Conference on Computer Systems (EuroSys ’18) Porto, Portugal
-
NetChain: Scale-Free Sub-RTT Coordination
Proc. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Renton, WA
2017
-
SVE: Distributed Video Processing at Facebook Scale
Proc. 26th ACM Symposium on Operating Systems Principles (SOSP ‘17), Shanghai, China
-
NetCache: Balancing Key-Value Stores with Fast In-Network Caching
Proc. 26th ACM Symposium on Operating Systems Principles (SOSP ‘17), Shanghai, China
-
SLAQ: Quality-Driven Scheduling for Distributed Machine Learning
Proc. ACM Symposium on Cloud Computing (SoCC ‘17), Santa Clara, CA
[paper]
-
The Record Route Option is an Option!
Proc. 2017 Internet Measurement Conference (IMC ‘17), London, United Kingdom
[paper]
-
Popularity Prediction of Facebook Videos for Higher Quality Streaming
Proc. 2017 USENIX Annual Technical Conference (ATC ‘17), Santa Clara, CA
-
I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascades
Proc. 14th Symposium on Networked Systems Design and Implementation (NSDI ‘17), Boston, MA
-
Live Video Analytics at Scale with Approximation and Delay-Tolerance
Proc. 14th Symposium on Networked Systems Design and Implementation (NSDI ‘17), Boston, MA
2016
-
The SNOW Theorem and Latency-Optimal Read-Only Transactions
Proc. 12th Symposium on Operating Systems Design and Implementation (OSDI ’16), Savannah, GA, October 2016
-
Replex: A Scalable, Highly Available Multi-Index Data Store
USENIX Annual Technical Conference 2016 (ATC ’16) Denver, Colorado, June 2016
2015
-
Existential Consistency: Measuring and Understanding Consistency at Facebook
Proc. 25th ACM Symposium on Operating Systems Principles (SOSP 15), October 2015
-
RIPQ: Advanced Photo Caching on Flash for Facebook
Proc. 13th USENIX Conference on File and Storage Technologies (FAST 15), February 2015
-
CONIKS: Bringing Key Transparency to End Users
Proc. 24th USENIX Security Symposium (Security ‘15) Washington, DC, August 2015.
-
Ravana: Controller Fault-Tolerance in Software-Defined Networking
Proc. ACM Sigcomm Symposium on SDN Research (SOSR ‘15) Santa Clara, CA, June 2015.
[paper]
2014
-
Automating Isolation and Least Privilege in Web Services.
Proc. IEEE Security and Privacy (SP ’14), San Jose, CA, May 2014.
[paper]
2013
-
Fairness and Isolation in Multi-Tenant Storage as Optimization Decomposition
ACM SIGOPS Operating System Review.
[paper]
-
Languages for software-defined networks
IEEE Communications Magazine, Vol 51, Num 2, February 2013.
[paper]
-
Stronger Semantics for Low-Latency Geo-Replicated Storage
Proc. 10th Symposium on Networked Systems Design and Implementation.
-
Making Every Bit Count in Wide-Area Analytics
Proc. 14th Workshop on Hot Topics on Operating Systems.
[paper]
-
A Short Primer on Causal Consistency
;login: The USENIX Magazine, Vol 38, Number 4, August 2013.
[paper]
-
Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing
Proc. 9th Intl Conference on emerging Networking EXperiments and Technologies.
[paper]
-
Scaling IP Multicast on Datacenter Topologies
Proc. 9th Intl Conference on emerging Networking EXperiments and Technologies.
[paper]
2012
-
Privacy and Integrity are Possible in the Untrusted Cloud
Proc. IEEE Data Engineering Bulletin Vol 35, Num 4, December 2012.
[paper]
-
Increasing network resilience through edge diversity in NEBULA
Proc. ACM SIGMOBILE Mobile Computing and Communications Review Vol 16 Num 3, December 2012.
[paper]
-
Scalable Inference of Overlapping Communities
Proc. Neural Information Processing Systems (NIPS ’12) Lake Tahoe, NV, December 2012.
[paper]
-
A Formally-Verified Migration Protocol For Mobile, Multi-Homed Hosts
Proc. IEEE International Conference on Network Protocols (ICNP ’12) Austin, TX, October 2012.
[paper]
-
Performance Isolation and Fairness for Multi-Tenant Cloud Storage
Proc. Symposium on Operating Systems Design and Implementation (OSDI ’12). Hollywood, CA, October 2012.
-
Social Networking with Frientegrity: Privacy and Integrity with an Untrusted Provider
Proc. USENIX Security (Sec ’12). Bellevue, WA, August 2012.
[paper]
-
Towards Efficient Stream Processing at Global Scale
Proc. Large-Scale Distributed Systems and Middleware
[paper]
-
Towards Predictable Multi-Tenant Shared Cloud Storage
Proc. Large-Scale Distributed Systems and Middleware
[paper]
-
On the Price of Equivocation in Byzantine Agreement
Proc. 31st ACM Symposium on Principles of Distributed Computing
[paper]
-
Unsupervised Conversion of 3D models for Interactive Metaverses
Proc. IEEE International Conference on Multimedia and Expo
2011
-
Frenetic: A Network Programming Language
ICFP
[paper]
-
Commensal Cuckoo: Secure Group Partitioning for Large-Scale Services
Proc. 5th Workshop on Large Scale Distributed Systems and Middleware
[paper]
-
Hiding Amongst the Clouds: A Proposal for Cloud-based Onion Routing
Proc. USENIX Workshop on Free and Open Communications on the Internet
[paper]
-
Identifying Performance Bottlenecks in CDNs through TCP-Level Monitoring
Proc. ACM SIGCOMM Workshop on Measurements Up the STack
[paper]
-
Coercing Clients into Facilitating Failover for Object Delivery
Proc. 41st IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communication Symposium (DCCS) track
[paper]
-
Going Viral: Flash Crowds in an Open CDN
Proc. ACM SIGCOMM Internet Measurement Conference
-
Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
Proc. 23rd ACM Symposium on Operating Systems Principles
-
Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution
IEEE/ACM Transactions on Networking
[paper]
-
Online Learning for Mixed Membership Network Models (Extended Abstract)
Proc. 6th Annual Machine Learning Symposium, The New York Academy of Sciences
[paper]
-
Toward a Lightweight Model of BGP Safety
Workshop on Rigorous Protocol Engineering
[paper]
-
Bridging the Theory-Practice Gap in Multi-Commodity Flow Routing (Brief Announcement)
Proc. 25th International Symposium on DIStributed Computing
[paper]
2010
-
Frenetic: A High-Level Language for OpenFlow Networks
Proc. Workshop on Programmable Routers for Extensible Services of Tomorrow (PRESTO ‘10) Philadelphia, PA. November 2010.
[paper]
-
SPORC: Group Collaboration using Untrusted Cloud Resources
Proc. Symposium on Operating Systems Design and Implementation (OSDI ‘10) Vancouver, BC, October 2010.
-
Scalable Flow-Based Networking with DIFANE
Proc. ACM SIGCOMM Conference (SIGCOMM ‘10) New Delhi, India, August 2010.
-
DONAR: Decentralized Server Selection for Cloud Services
Proc. ACM SIGCOMM Conference (SIGCOMM ‘10) New Delhi, India, August 2010.
-
Collaborative, Privacy-Preserving Data Aggregation at Scale
Proc. 10th Privacy Enhancing Technologies Symposium (PET ‘10) Berlin, Germany, July 2010.
-
Feeding Frenzy: Selectively Materializing Users’ Event Feeds
SIGMOD
[paper]
-
Experiences with Tracing Causality in Networked Services
INM/WREN
[paper]
-
Experiences with CoralCDN: A Five-Year Operational View
NSDI
[paper]
-
Prophecy: Using History for High-Throughput Fault Tolerance
NSDI
[paper]
2009
-
Virtual Ring Routing Trends
Proc. 23rd International Symposium on Distributed Computing (DISC ‘09), Elche, Spain
[paper]
-
Rethinking Enterprise Network Control
IEEE/ACM Transactions on Networking, Vol 17, Num 4. August 2009
[paper]
-
Scaling Virtual Worlds with a Physical Metaphor
IEEE Pervasive Computing, Vol 8, Num 3. July-September 2009
[paper]
-
Object Storage on CRAQ: High-throughput chain replication for read-mostly workloads
Proc. USENIX Annual Technical Conference (USENIX ’09), San Diego, CA, June 2009
-
Collaborative, Privacy-Preserving Data Aggregation at Scale
Cryptology ePrint Archive: Report 2009/180, April 2009
[paper]
-
Bringing P2P to the Web: Security and Privacy in the Firecoral Network
Proc. 8th International Workshop on Peer-to-Peer Systems, (IPTPS ’09) Boston, MA, April 2009
2008
-
Peer-Assisted Content Distribution with Prices
Proc. ACM SIGCOMM Conference on emerging Networking Experiments and Technologies
[paper]
-
A Comparison of Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution
Proc. 2nd Workshop on Network Control and Optimization
[paper]
-
Prices are Right: Managing resources and incentives in peer-assisted content distribution
Proc. 7th International Workshop on Peer-to-Peer Systems
[paper]