Publications

2022

1. Tiered Trust for Useful Embedded Systems Security

   Hudson Ayers, Prabal Dutta, Philip Levis, Amit Levy, Pat Pannuto, Johnathan Van Why, Jean-Luc Watson.

   Proc. 15th European Workshop on Systems Security (EuroSec ‘22)

   [paper]

2. Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage

   Nanqinqin Li, Anja Kalaba, Mike Freedman, Wyatt Lloyd, Amit Levy.

   Proc. USENIX Annual Technical Conference (USENIX ATC ‘22)

   [paper]

2021

1. Power Clocks: Dynamic Multi-Clock Management for Embedded Systems

   Holly Chiang, Hudson Ayers, Daniel Giffin, Amit Levy, Philip Levis.

   Proc. 16th International Conference on Embedded Wireless Systems and Networks (EWSN ‘21), Delft, The Netherlands

   [paper]

2. Regular Sequential Serializability and Regular Sequential Consistency

   Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd.

   To appear: Proc. 28th ACM Symposium on Operating Systems Principles (SOSP ‘21), Virtual

3. Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust

   Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy.

   To appear: Proc. of the ACM on Programming Languages, Volume 5, Issue OOPSLA (OOPSLA ‘21), Chicago, Illinois

4. K2: Reading Quickly from Storage Across Many Datacenters

   Khiem Ngo, Haonan Lu, Wyatt Lloyd.

   Proc. 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN ‘21)

   [paper][presentation]

5. Facebook’s Tectonic Filesystem: Efficiency from Exascale

   Satadru Pan, Theano Stavrinos, Yunqiao Zhang, Atul Sikaria, Pavel Zakharov, Abhinav Sharma, Shiva Shankar P, Mike Shuey, Richard Wareing, Monika Gangapuram, Guanglei Cao, Christian Preseau, Pratap Singh, Kestutis Patiejunas, JR Tipton, Ethan Katz-Bassett, Wyatt Lloyd.

   Proc. 19th USENIX Conference on File and Storage Technologies (FAST ‘21)

   [paper][presentation]

6. Don’t Be a Blockhead: Zoned Namespaces Make Work on Conventional SSDs Obsolete

   Theano Stavrinos, Daniel S. Berger, Ethan Katz-Bassett, Wyatt Lloyd.

   Proc. 18th Workshop on Hot Topics in Operating Systems (HotOS ‘21)

   [paper][presentation]

2020

1. Design considerations for low power internet protocols

   Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, Amit Levy, Philip Levis.

   Proc. 16th International Conference on Distributed Computing in Sensor Systems (DCOSS ‘20)

   [paper]

2. Gryff: Unifying Consensus and Shared Registers

   Matthew Burke, Audrey Cheng, Wyatt Lloyd.

   Proc. 17th Symposium on Networked Systems Design and Implementation (NSDI ‘20), Boston, MA

   [paper]

3. Learning Relaxed Belady for Content Distribution Network Caching

   Zhenyu Song, Daniel S. Berger, Kai Li, Wyatt Lloyd.

   Proc. 17th Symposium on Networked Systems Design and Implementation (NSDI ‘20), Boston, MA

   [paper][presentation]

4. Resource Elasticity in Distributed Deep Learning

   Andrew Or, Haoyu (Harris) Zhang, Mike Freedman.

   Proc. 3rd Conference on Machine Learning and Systems (MLSys ’20) Austin, TX

   [paper][presentation]

5. Performance-Optimal Read-Only Transactions

   Haonan Lu, Siddhartha Sen, Wyatt Lloyd.

   Proc. 14th Symposium on Operating Systems Design and Implementation (OSDI ‘20)

   [paper][presentation]

6. Tolerating Slowdowns in Replicated State Machines using Copilots

   Khiem Ngo, Siddhartha Sen, Wyatt Lloyd.

   Proc. 14th Symposium on Operating Systems Design and Implementation (OSDI ‘20)

   [paper][presentation]

2019

1. Progressive memory safety for webassembly

   Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan.

   Proc. 8th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP ‘19), Phoenix, AZ

   [paper]

2. ReLAQS: Reducing Latency for Multi-Tenant Approximate Queries via Scheduling

   Logan Stafman, Andrew Or, Mike Freedman.

   Proc. 20th International Middleware Conference (Middleware ‘19) Davis, CA

   [paper]

2018

1. NetChain: Scale-Free Sub-RTT Coordination

   Xin Jin, Xiaozhou Li, Haoyu (Harris) Zhang, Nate Foster, Jeongkeun Lee, Robert Soule, Changhoon Kim, Ion Stoica.

   Proc. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Renton, WA

   [paper][presentation]

2. Riffle: Optimized shuffle service for large-scale data analytics

   Haoyu (Harris) Zhang, Brian Cho, Ergin Seyfe, Avery Ching, Mike Freedman.

   Proc. 13th European Conference on Computer Systems (EuroSys ’18) Porto, Portugal

   [paper][presentation]

2017

1. Live Video Analytics at Scale with Approximation and Delay-Tolerance

   Haoyu (Harris) Zhang, Ganesh Ananthanarayanan, Peter Bodik, Matthai Philipose, Paramvir Bahl, Mike Freedman.

   Proc. 14th Symposium on Networked Systems Design and Implementation (NSDI ‘17), Boston, MA

   [paper][presentation]

2. I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascades

   Syed Akbar Mehdi, Cody Littley, Natacha Crooks, Lorenzo Alvisi, Nathan Bronson, Wyatt Lloyd.

   Proc. 14th Symposium on Networked Systems Design and Implementation (NSDI ‘17), Boston, MA

   [paper][presentation]

3. Popularity Prediction of Facebook Videos for Higher Quality Streaming

   Linpeng Tang, Qi Huang, Amit Puntambekar, Ymir Vigfusson, Wyatt Lloyd, Kai Li.

   Proc. 2017 USENIX Annual Technical Conference (ATC ‘17), Santa Clara, CA

   [paper][presentation]

4. The Record Route Option is an Option!

   Brian Goodchild, Yi-Ching Chiu, Haonan Lu, Rob Hansen, Matt Calder, Dave Choffnes, Wyatt Lloyd, Matthew Luckie, Ethan Katz-Bassett.

   Proc. 2017 Internet Measurement Conference (IMC ‘17), London, United Kingdom

   [paper]

5. SLAQ: Quality-Driven Scheduling for Distributed Machine Learning

   Haoyu (Harris) Zhang, Logan Stafman, Andrew Or, Mike Freedman.

   Proc. ACM Symposium on Cloud Computing (SoCC ‘17), Santa Clara, CA

   [paper]

6. NetCache: Balancing Key-Value Stores with Fast In-Network Caching

   Xin Jin, Xiaozhou Li, Haoyu (Harris) Zhang, Robert Soule, Nate Foster, Jeongkeun Lee, Changhoon Kim, Ion Stoica.

   Proc. 26th ACM Symposium on Operating Systems Principles (SOSP ‘17), Shanghai, China

   [paper][presentation]

7. SVE: Distributed Video Processing at Facebook Scale

   Qi Huang, Petchean Ang, Peter Knowles, Tomasz Nykiel, Iaroslav Tverdokhlib, Amit Yajurvedi, Paul Dapolito VI, Xifan Yan, Maxim Bykov, Chuen Liang, Mohit Talwar, Abhishek Mathur, Sachin Kulkarni, Matthew Burke, Wyatt Lloyd.

   Proc. 26th ACM Symposium on Operating Systems Principles (SOSP ‘17), Shanghai, China

   [paper][presentation]

2016

1. Replex: A Scalable, Highly Available Multi-Index Data Store

   Amy Tai, Michael Wei, Mike Freedman, Ittai Abraham, Dahlia Malkhi.

   USENIX Annual Technical Conference 2016 (ATC ’16) Denver, Colorado, June 2016

   [paper][presentation]

2. The SNOW Theorem and Latency-Optimal Read-Only Transactions

   Haonan Lu, Christopher Hodsdon, Khiem Ngo, Shuai Mu, Wyatt Lloyd.

   Proc. 12th Symposium on Operating Systems Design and Implementation (OSDI ’16), Savannah, GA, October 2016

   [paper][presentation]

2015

1. Ravana: Controller Fault-Tolerance in Software-Defined Networking

   Naga Katta, Haoyu (Harris) Zhang, Mike Freedman, Jennifer Rexford.

   Proc. ACM Sigcomm Symposium on SDN Research (SOSR ‘15) Santa Clara, CA, June 2015.

   [paper]

2. CONIKS: Bringing Key Transparency to End Users

   Marcela Melara, Aaron Blankenstein, Joseph Bonneau, Edward W. Felten, Mike Freedman.

   Proc. 24th USENIX Security Symposium (Security ‘15) Washington, DC, August 2015.

   [paper][presentation]

3. RIPQ: Advanced Photo Caching on Flash for Facebook

   Linpeng Tang, Qi Huang, Wyatt Lloyd, Sanjeev Kumar, Kai Li.

   Proc. 13th USENIX Conference on File and Storage Technologies (FAST 15), February 2015

   [paper][presentation]

4. Existential Consistency: Measuring and Understanding Consistency at Facebook

   Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd.

   Proc. 25th ACM Symposium on Operating Systems Principles (SOSP 15), October 2015

   [paper][presentation]

2014

1. Automating Isolation and Least Privilege in Web Services.

   Aaron Blankenstein, Mike Freedman.

   Proc. IEEE Security and Privacy (SP ’14), San Jose, CA, May 2014.

   [paper]

2013

1. Scaling IP Multicast on Datacenter Topologies

   Xiaozhou Li, Mike Freedman.

   Proc. 9th Intl Conference on emerging Networking EXperiments and Technologies.

   [paper]

2. Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing

   Siddhartha Sen, David Shue, Sunghwan Ihm, Mike Freedman.

   Proc. 9th Intl Conference on emerging Networking EXperiments and Technologies.

   [paper]

3. A Short Primer on Causal Consistency

   Wyatt Lloyd, Mike Freedman, Michael Kaminsky, David G. Andersen.

   ;login: The USENIX Magazine, Vol 38, Number 4, August 2013.

   [paper]

4. Making Every Bit Count in Wide-Area Analytics

   Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek Pai, Mike Freedman.

   Proc. 14th Workshop on Hot Topics on Operating Systems.

   [paper]

5. Stronger Semantics for Low-Latency Geo-Replicated Storage

   Wyatt Lloyd, Mike Freedman, Michael Kaminsky, David G. Andersen.

   Proc. 10th Symposium on Networked Systems Design and Implementation.

   [paper][presentation]

6. Languages for software-defined networks

   Nate Foster, Mike Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, David Walker.

   IEEE Communications Magazine, Vol 51, Num 2, February 2013.

   [paper]

7. Fairness and Isolation in Multi-Tenant Storage as Optimization Decomposition

   David Shue, Mike Freedman, Anees Shaikh.

   ACM SIGOPS Operating System Review.

   [paper]

2012

1. Unsupervised Conversion of 3D models for Interactive Metaverses

   Jeff Terrace, Ewen Cheslack-Postava, Philip Levis, Mike Freedman.

   Proc. IEEE International Conference on Multimedia and Expo

   [paper][presentation]

2. On the Price of Equivocation in Byzantine Agreement

   Alexander Jaffe, Siddhartha Sen, Thomas Moscibroda.

   Proc. 31st ACM Symposium on Principles of Distributed Computing

   [paper]

3. Towards Predictable Multi-Tenant Shared Cloud Storage

   David Shue, Mike Freedman, Anees Shaikh.

   Proc. Large-Scale Distributed Systems and Middleware

   [paper]

4. Towards Efficient Stream Processing at Global Scale

   Matvey Arye, Siddhartha Sen, Ariel Rabkin, Mike Freedman.

   Proc. Large-Scale Distributed Systems and Middleware

   [paper]

5. Social Networking with Frientegrity: Privacy and Integrity with an Untrusted Provider

   Ariel J. Feldman, Aaron Blankenstein, Mike Freedman, Edward W. Felten.

   Proc. USENIX Security (Sec ’12). Bellevue, WA, August 2012.

   [paper]

6. Performance Isolation and Fairness for Multi-Tenant Cloud Storage

   David Shue, Mike Freedman, Anees Shaikh.

   Proc. Symposium on Operating Systems Design and Implementation (OSDI ’12). Hollywood, CA, October 2012.

   [paper][presentation]

7. A Formally-Verified Migration Protocol For Mobile, Multi-Homed Hosts

   Matvey Arye, Erik Nordstrom, Rob Kiefer, Jennifer Rexford, Mike Freedman.

   Proc. IEEE International Conference on Network Protocols (ICNP ’12) Austin, TX, October 2012.

   [paper]

8. Scalable Inference of Overlapping Communities

   Prem Gopalan, David Mimno, Sean Gerrish, Mike Freedman, David Blei.

   Proc. Neural Information Processing Systems (NIPS ’12) Lake Tahoe, NV, December 2012.

   [paper]

9. Increasing network resilience through edge diversity in NEBULA

   Matvey Arye, Rob Kiefer, Kyle Super, Erik Nordstrom, Mike Freedman, Eric Keller, Tom Rondeau, Jonathan M. Smith.

   Proc. ACM SIGMOBILE Mobile Computing and Communications Review Vol 16 Num 3, December 2012.

   [paper]

10. Privacy and Integrity are Possible in the Untrusted Cloud

    Ariel J. Feldman, Aaron Blankenstein, Mike Freedman, Edward W. Felten.

    Proc. IEEE Data Engineering Bulletin Vol 35, Num 4, December 2012.

    [paper]

2011

1. Bridging the Theory-Practice Gap in Multi-Commodity Flow Routing (Brief Announcement)

   Siddhartha Sen, Sunghwan Ihm, Kay Ousterhout, Mike Freedman.

   Proc. 25th International Symposium on DIStributed Computing

   [paper]

2. Toward a Lightweight Model of BGP Safety

   Matvey Arye, Rob Harrison, Richard Wang, Pamela Zave, Jennifer Rexford.

   Workshop on Rigorous Protocol Engineering

   [paper]

3. Online Learning for Mixed Membership Network Models (Extended Abstract)

   Prem Gopalan, David Mimno, Mike Freedman, David M. Blei.

   Proc. 6th Annual Machine Learning Symposium, The New York Academy of Sciences

   [paper]

4. Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution

   Christina Aperjis, Ramesh Johari, Mike Freedman.

   IEEE/ACM Transactions on Networking

   [paper]

5. Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS

   Wyatt Lloyd, Mike Freedman, Michael Kaminsky, David G. Andersen.

   Proc. 23rd ACM Symposium on Operating Systems Principles

   [paper][presentation]

6. Going Viral: Flash Crowds in an Open CDN

   Patrick Wendell, Mike Freedman.

   Proc. ACM SIGCOMM Internet Measurement Conference

   [paper][presentation]

7. Coercing Clients into Facilitating Failover for Object Delivery

   Wyatt Lloyd, Mike Freedman.

   Proc. 41st IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communication Symposium (DCCS) track

   [paper]

8. Identifying Performance Bottlenecks in CDNs through TCP-Level Monitoring

   Peng Sun, Minlan Yu, Mike Freedman, Jennifer Rexford.

   Proc. ACM SIGCOMM Workshop on Measurements Up the STack

   [paper]

9. Hiding Amongst the Clouds: A Proposal for Cloud-based Onion Routing

   Nicholas Jones, Matvey Arye, Jacopo Cesareo, Mike Freedman.

   Proc. USENIX Workshop on Free and Open Communications on the Internet

   [paper]

10. Commensal Cuckoo: Secure Group Partitioning for Large-Scale Services

    Siddhartha Sen, Mike Freedman.

    Proc. 5th Workshop on Large Scale Distributed Systems and Middleware

    [paper]

11. Frenetic: A Network Programming Language

    Nate Foster, Rob Harrison, Mike Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker.

    ICFP

    [paper]

2010

1. Prophecy: Using History for High-Throughput Fault Tolerance

   Siddhartha Sen, Wyatt Lloyd, Mike Freedman.

   NSDI

   [paper]

2. Experiences with CoralCDN: A Five-Year Operational View

   Mike Freedman.

   NSDI

   [paper]

3. Experiences with Tracing Causality in Networked Services

   Rodrigo Fonseca, Mike Freedman, George Porter.

   INM/WREN

   [paper]

4. Feeding Frenzy: Selectively Materializing Users’ Event Feeds

   Adam Silberstein, Jeff Terrace, Brian Frank Cooper, Raghu Ramakrishnan.

   SIGMOD

   [paper]

5. Collaborative, Privacy-Preserving Data Aggregation at Scale

   Benny Applebaum, Haakon Ringberg, Mike Freedman, Matthew Caesar, Jennifer Rexford.

   Proc. 10th Privacy Enhancing Technologies Symposium (PET ‘10) Berlin, Germany, July 2010.

   [paper][presentation]

6. DONAR: Decentralized Server Selection for Cloud Services

   Patrick Wendell, Joe Wenjie Jiang, Mike Freedman, Jennifer Rexford.

   Proc. ACM SIGCOMM Conference (SIGCOMM ‘10) New Delhi, India, August 2010.

   [paper][presentation]

7. Scalable Flow-Based Networking with DIFANE

   Minlan Yu, Jennifer Rexford, Mike Freedman, Jia Wang.

   Proc. ACM SIGCOMM Conference (SIGCOMM ‘10) New Delhi, India, August 2010.

   [paper][presentation]

8. SPORC: Group Collaboration using Untrusted Cloud Resources

   Ariel J. Feldman, William P. Zeller, Mike Freedman, Edward W. Felten.

   Proc. Symposium on Operating Systems Design and Implementation (OSDI ‘10) Vancouver, BC, October 2010.

   [paper][presentation]

9. Frenetic: A High-Level Language for OpenFlow Networks

   Nate Foster, Rob Harrison, Matthew L. Meola, Mike Freedman, Jennifer Rexford, David Walker.

   Proc. Workshop on Programmable Routers for Extensible Services of Tomorrow (PRESTO ‘10) Philadelphia, PA. November 2010.

   [paper]

2009

1. Bringing P2P to the Web: Security and Privacy in the Firecoral Network

   Jeff Terrace, Harold Laidlaw, Hao Eric Liu, Sean Stern, Mike Freedman.

   Proc. 8th International Workshop on Peer-to-Peer Systems, (IPTPS ’09) Boston, MA, April 2009

   [paper][presentation]

2. Collaborative, Privacy-Preserving Data Aggregation at Scale

   Haakon Ringberg, Benny Applebaum, Mike Freedman, Matthew Caesar, Jennifer Rexford.

   Cryptology ePrint Archive: Report 2009/180, April 2009

   [paper]

3. Object Storage on CRAQ: High-throughput chain replication for read-mostly workloads

   Jeff Terrace, Mike Freedman.

   Proc. USENIX Annual Technical Conference (USENIX ’09), San Diego, CA, June 2009

   [paper][presentation]

4. Scaling Virtual Worlds with a Physical Metaphor

   Daniel Horn, Ewen Cheslack-Postava, Tahir Azim, Mike Freedman, Philip Levis.

   IEEE Pervasive Computing, Vol 8, Num 3. July-September 2009

   [paper]

5. Rethinking Enterprise Network Control

   Martin Casado, Mike Freedman, Justin Pettit, Jianying Luo, Natasha Gude, Nick McKeown, Scott Shenker.

   IEEE/ACM Transactions on Networking, Vol 17, Num 4. August 2009

   [paper]

6. Virtual Ring Routing Trends

   Dahlia Malkhi, Siddhartha Sen, Kunal Talwar, Renato F. Werneck, Udi Wieder.

   Proc. 23rd International Symposium on Distributed Computing (DISC ‘09), Elche, Spain

   [paper]

2008

1. Prices are Right: Managing resources and incentives in peer-assisted content distribution

   Mike Freedman, Christina Aperjis, Ramesh Johari.

   Proc. 7th International Workshop on Peer-to-Peer Systems

   [paper]

2. A Comparison of Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution

   Christina Aperjis, Mike Freedman, Ramesh Johari.

   Proc. 2nd Workshop on Network Control and Optimization

   [paper]

3. Peer-Assisted Content Distribution with Prices

   Christina Aperjis, Mike Freedman, Ramesh Johari.

   Proc. ACM SIGCOMM Conference on emerging Networking Experiments and Technologies

   [paper]