Publications

2018

  1. Riffle: Optimized Shuffle Service for Large-Scale Data Analytics.
    Haoyu Zhang, Brian Cho, Ergin Seyfe, Avery Ching, Michael J. Freedman
    Proc. 13th European Conference on Computer Systems
    (EuroSys ’18) Porto, Portugal, April 2018.

  2. NetChain: Scale-Free Sub-RTT Coordination.
    Xin Jin, Xiaozhou Li, Haoyu 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, April 2018. [paper] [extended version] [slides]

2017

  1. 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, October 2017. [paper] [slides (pdf) (pptx)] [talk]

  2. NetCache: Balancing Key-Value Stores with Fast In-Network Caching.
    Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soule, Nate Foster, Jeongkeun Lee, Changhoon Kim, Ion Stoica
    Proc. 26th ACM Symposium on Operating Systems Principles
    (SOSP ’17) Shanghai, China, October 2017. [paper] [slides]

  3. SLAQ: Quality-Driven Scheduling for Distributed Machine Learning
    Haoyu Zhang, Logan Stafman, Andrew Or, and Michael J. Freedman
    Proc. ACM Symposium on Cloud Computing
    (SoCC ’17) Santa Clara, CA, September 2017.  [paper]
    Awarded Best Paper
    Poster (extended abstract) in the 1st SysML Conference
    (SysML ’18) Stanford, CA, February 2018.

  4. The Record Route Option is an Option! (short paper)
    Brian Goodchild, Yi-Ching Chiu, Haonan Lu, Rob Hansen, Matt Calder, Dave Choffnes, Wyatt Lloyd, Matthew Luckie, and Ethan Katz-Bassett.
    Proc. 2017 Internet Measurement Conference
    (IMC ’17) London, UK, November 2017. [paper]

  5. Popularity Prediction of Facebook Videos for Higher Quality Streaming.
    Linpeng Tang, Qi Huang, Amit Puntambekar, Ymir Vigfusson, Wyatt Lloyd, and Kai Li.
    Proc. 2017 USENIX Annual Technical Conference
    (ATC ’17) Santa Clara, CA, July 2017. [paper] [slides (pdf) (pptx)] [audio]

  6. 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, March 2017. [paper] [slides (pdf) (pptx)] [talk]

  7. Live Video Analytics at Scale with Approximation and Delay-Tolerance
    Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodik, Matthai Philipose, Paramvir Bahl, and Michael J. Freedman
    Proc. 14th Symposium on Networked Systems Design and Implementation
    (NSDI ’17) Boston, MA, March 2017.  [paper] [slides]

2016

  1. 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] [slides (pdf) (pptx)] [talk] [cops-snow code] [rococo-snow code]

  2. Consolidating Concurrency Control and Consensus for Commits under Conflicts.
    Shuai Mu, Lamont Nelson, Wyatt Lloyd, Jinyang Li.
    Proc. 12th Symposium on Operating Systems Design and Implementation
    (OSDI ’16), Savannah, GA, October 2016. [paper] [slides (pdf) (pptx)] [talk] [code]

  3. Replex: A Scalable, Highly Available Multi-Index Data Store
    Amy Tai, Michael Wei, Michael J. Freedman, Ittai Abraham, and Dahlia Malkhi.
    USENIX Annual Technical Conference 2016
    (ATC ’16) Denver, Colorado, June 2016. [paper as pdf] [presentation]
    Awarded Best Paper

  4. Be Fast, Cheap and in Control with SwitchKV
    Xiaozhou Li, Raghav Sethi, David G. Andersen, Michael Kaminsky, and Michael J. Freedman
    Proc. 13th Symposium on Networked Systems Design and Implementation
    (NSDI ’16) Santa Clara, CA, March 2016. [paper] [slides]

2015

  1. 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) Monterey, CA, October 2015. [paper and more]

  2. 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) Santa Clara, CA, February 2015. [paper and more]

  3. CONIKS: Bringing Key Transparency to End Users
    Marcela S. Melara, Aaron Blankstein, Joseph Bonneau, Edward W. Felten, and Michael J. Freedman.
    Proc. 24th USENIX Security Symposium
    (Sec ’15) Washington, DC, August 2015.  [pdf][slides]

  4. Ravana: Controller Fault-Tolerance in Software-Defined Networking
    Naga Katta, Haoyu Zhang, Michael J. Freedman, Jennifer Rexford
    Proc. ACM SIGCOMM Symposium on SDN Research
    (SOSR ’15) Santa Clara, CA, June 2015.  [pdf]

2014

  1. Extracting More Concurrency from Distributed Transactions.
    Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li.
    Proc. 11th Symposium on Operating Systems Design and Implementation
    (OSDI ’14), Broomfield, CO, October 2014. [paper and more]

  2. f4: Facebook’s Warm BLOB Storage System.
    Subramanian Muralidhar, Wyatt Lloyd, Sabyasachi Roy, Cory Hill, Ernest Lin, Weiwen Liu, Satadru Pan, Shiva Shankar, Viswanath Sivakumar, Linpeng Tang, and Sanjeev Kumar.
    Proc. 11th Symposium on Operating Systems Design and Implementation
    (OSDI ’14), Broomfield, CO, October 2014. [paper and more]

  3. Aggregation and Degradation in JetStream: Streaming Analytics in the Wide Area
    Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek Pai, and Michael J. Freedman.
    Proc. 11th USENIX Conference on Networked Systems Design and Implementation
    (NSDI ’14) Seattle, Washington, April 2014. [paper as pdf] [presentation]

  4. From application requests to Virtual IOPs: Provisioned key-value storage with Libra
    David Shue and Michael J. Freedman
    Proc. 9th European Conference on Computer Systems
    (EuroSys ’14). Amsterdam, Netherlands, April 2014. [pdf]

  5. Algorithmic Improvements for Fast Concurrent Cuckoo Hashing
    Xiaozhou Li, David G. Andersen, Michael Kaminsky, and Michael J. Freedman
    Proc. 9th European Conference on Computer Systems
    (EuroSys ’14). Amsterdam, Netherlands, April 2014. [pdf, slides(pdf)(ppsx)]

2013

  1. Scalable, Optimal Flow Routing in Datacenters via Local Link Balancing
    Siddhartha Sen, David Shue, Sunghwan Ihm, and Michael J. Freedman.
    Proc. 9th Intl. Conference on emerging Networking EXperiments and Technologies
    (CoNext ’13) Santa Barbara, CA, December 2013.
  2. Scaling IP Multicast on Datacenter Topologies
    Xiaozhou Li and Michael J. Freedman.
    Proc. 9th Intl. Conference on emerging Networking EXperiments and Technologies
    (CoNext ’13) Santa Barbara, CA, December 2013. [pdf, slides]
  3. An Analysis of Facebook Photo Caching
    Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li.
    Proc. 24th ACM Symposium on Operating Systems Principles
    (SOSP ’13) Farmington, Pennsylvania, November 2013.
  4. A Short Primer on Causal Consistency
    Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen.
    ;login: The USENIX Magazine
    (;login:) Vol 38, Number 4, August 2013. [pdf]
  5. Empirical Analysis of Programming Language Adoption
    Leo Meyerovich and Ariel Rabkin.
    Proc. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
    SPLASH/OOPSLA ’13, Indianapolis, IN, October 2013. [pdf]
  6. Making Every Bit Count in Wide-Area Analytics
    Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek Pai, and Michael J. Freedman.
    Proc. 14th Workshop on Hot Topics in Operating Systems
    (HotOS ’13) Santa Ana Pueblo, May 2013. [paper as pdf] [slides]
  7. Stronger Semantics for Low-Latency Geo-Replicated Storage
    Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen.
    Proc. 10th Symposium on Networked Systems Design and Implementation
    (NSDI ’13) Lombard, IL, April 2013. [pdf, video]
  8. Languages for software-defined networks
    Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, and David Walker.
    IEEE Communications Magazine
    Vol 51, Num 2, February 2013. [pdf]
  9. Fairness and Isolation in Multi-Tenant Storage as Optimization Decomposition
    David Shue, Michael J. Freedman, and Anees Shaikh.
    ACM SIGOPS Operating System Review, “Best papers from LADIS 2012”
    (OSR) Vol 47, Num 1, January 2013. [pdf]

2012

  1. Privacy and Integrity are Possible in the Untrusted Cloud
    Ariel J. Feldman, Aaron Blankstein, Michael J. Freedman, and Edward W. Felten
    IEEE Data Engineering Bulletin
    Vol 35, Num 4, December 2012. [pdf]
  2. Increasing network resilience through edge diversity in NEBULA
    Matvey Arye, Robert Kiefer, Kyle Super, Erik Nordstrom, Michael J. Freedman, Eric Keller, Tom Rondeau, and Jonathan M. Smith
    ACM SIGMOBILE Mobile Computing and Communications Review
    Vol 16 Num 3, December 2012. [pdf]
  3. Scalable Inference of Overlapping Communities
    Prem Gopalan, David Mimno, Sean Gerrish, Michael J. Freedman, and David Blei
    Proc. Neural Information Processing Systems
    (NIPS ’12) Lake Tahoe, NV, December 2012.
  4. A Formally-Verified Migration Protocol For Mobile, Multi-Homed Hosts
    Matvey Arye, Erik Nordstrom, Robert Kiefer, Jennifer Rexford, and Michael J. Freedman
    Proc. IEEE International Conference on Network Protocols
    (ICNP ’12) Austin, TX, October 2012. [pdf]
  5. Performance Isolation and Fairness for Multi-Tenant Cloud Storage
    David Shue, Michael J. Freedman, and Anees Shaikh.
    Proc. Symposium on Operating Systems Design and Implementation
    (OSDI ’12). Hollywood, CA, October 2012. [pdf, slides, video]
  6. Social Networking with Frientegrity: Privacy and Integrity with an Untrusted Provider
    Ariel J. Feldman, Aaron Blankstein, Michael J. Freedman, and Edward W. Felten.
    Proc. USENIX Security
    (Sec ’12). Bellevue, WA, August 2012. [pdf]
  7. Towards Efficient Stream Processing at Global Scale
    Matvey Arye, Siddhartha Sen, Ariel Rabkin, and Michael J. Freedman.
    Proc. Large-Scale Distributed Systems and Middleware
    (LADIS ’12). Madeira, Portugal, July 2012. [pdf]
  8. Towards Predictable Multi-Tenant Shared Cloud Storage
    David Shue, Michael J. Freedman, and Anees Shaikh.
    Proc. Large-Scale Distributed Systems and Middleware
    (LADIS ’12). Madeira, Portugal, July 2012. [pdf]
  9. On the Price of Equivocation in Byzantine Agreement
    Alexander Jaffe, Siddhartha Sen, and Thomas Moscibroda.
    Proc. 31st ACM Symposium on Principles of Distributed Computing
    (PODC ’12). Madeira, Portugal, July 2012. [pdf]
  10. Unsupervised Conversion of 3D models for Interactive Metaverses
    Jeff Terrace, Ewen Cheslack-Postava, Philip Levis and Michael J. Freedman.
    Proc. IEEE International Conference on Multimedia and Expo
    (ICME ’12). Melbourne, Australia, July 2012. [pdf, slides]
  11. A Scalable Server for 3D Metaverses
    Ewen Cheslack-Postava, Tahir Azim, Behram F. T. Mistree, Daniel Reiter Horn, Jeff Terrace, Philip Levis, and Michael J. Freedman.
    Proc. USENIX Annual Technical Conference
    (ATC ’12). Boston, MA, June 2012. [pdf, slides]
  12. JavaScript in JavaScript (js.js): Sandboxing third-party scripts
    Jeff Terrace, Stephen R. Beard, and Naga Praveen Kumar Katta.
    Proc. USENIX Conference on Web Application Development
    (WebApps ’12). Boston, MA, June 2012. [pdf, slides]
  13. Serval: An End-Host Stack for Service-Centric Networking
    Erik Nordstrom, David Shue, Prem Gopalan, Rob Kiefer, Matvey Arye, Steven Ko, Jennifer Rexford, and Michael J. Freedman.
    Proc. 9th USENIX Symposium on Networked Systems Design and Implementation
    (NSDI ’12). San Jose, CA, April 2012. [pdf, slides, video]
  14. Don’t Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service
    Siddhartha Sen, Jacob R. Lorch, Richard Hughes, Carlos G. J. Suarez, Brian Zill, Weverton Cordeiro, and Jitendra Padhye.
    Proc. 9th USENIX Symposium on Networked Systems Design and Implementation
    (NSDI ’12). San Jose, CA, April 2012.[pdf]
  15. Language Abstractions for Software-Defined Networks (Position Paper)
    Nate Foster, Michael J. Freedman, Rob Harrison, Christopher Monsanto, Mark Reitblatt, Jennifer Rexford, Alec Story, and David Walker.
    Proc. Workshop on Languages for Distributed Algorithms
    (LADA ’12) Philadelphia, PA, January 2012. [pdf]

2011

  1. Going Viral: Flash Crowds in an Open CDN
    Patrick Wendell and Michael J. Freedman.
    Proc. ACM SIGCOMM Internet Measurement Conference
    (IMC ’11). Berlin, Germany, November 2011. [pdf]
  2. Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
    Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen.
    Proc. 23rd ACM Symposium on Operating Systems Principles
    (SOSP ’11) Cascais, Portugal, October 2011. [pdf]
  3. Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution
    Christina Aperjis, Ramesh Johari, and Michael J. Freedman.
    IEEE/ACM Transactions on Networking
    Vol 19, Num 5, October 2011. Pages 1290–1303.
  4. Online Learning for Mixed Membership Network Models (Extended Abstract)
    Prem Gopalan, David Mimno, Michael J. Freedman, David M. Blei.
    Proc. 6th Annual Machine Learning Symposium, The New York Academy of Sciences
    (NYAS ML ’11) New York, New York, October 2011.
  5. Toward a Lightweight Model of BGP Safety
    Matvey Arye, Rob Harrison, Richard Wang, Pamela Zave, and Jennifer Rexford.
    Workshop on Rigorous Protocol Engineering
    (WRIPE ’11). Vancouver, Canada, October, 2011. [pdf]
  6. Bridging the Theory-Practice Gap in Multi-Commodity Flow Routing (Brief Announcement)
    Siddhartha Sen, Sunghwan Ihm, Kay Ousterhout, and Michael J. Freedman.
    Proc. 25th International Symposium on DIStributed Computing
    (DISC ’11). Rome, Italy, September 2011. [pdf]
  7. Frenetic: A Network Programming Language
    Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker.
    Proc. ACM SIGPLAN International Conference on Functional Programming
    (ICFP ’11). Tokyo, Japan, September 2011. [pdf]
  8. Commensal Cuckoo: Secure Group Partitioning for Large-Scale Services
    Siddhartha Sen and Michael J. Freedman.
    Proc. 5th Workshop on Large Scale Distributed Systems and Middleware
    (LADIS ’11). Seattle, WA, September 2011. [pdf]
  9. Hiding Amongst the Clouds: A Proposal for Cloud-based Onion Routing
    Nicholas Jones, Matvey Arye, Jacopo Cesareo, Michael J. Freedman.
    Proc. USENIX Workshop on Free and Open Communications on the Internet
    (FOCI ’11). San Francisco, CA, August 2011. [pdf]
  10. Identifying Performance Bottlenecks in CDNs through TCP-Level Monitoring
    Peng Sun, Minlan Yu, Michael J. Freedman, and Jennifer Rexford.
    Proc. ACM SIGCOMM Workshop on Measurements Up the STack
    (W‐MUST ’11). Toronto, August 2011. [pdf]
  11. Coercing Clients into Facilitating Failover for Object Delivery
    Wyatt Lloyd and Michael J Freedman
    Proc. 41st IEEE/IFIP International Conference on Dependable Systems and Networks, Dependable Computing and Communication Symposium (DCCS) track
    (DSN ’11) Hong Kong, China. June 2011. [pdf]

2010

  1. Frenetic: A High-Level Language for OpenFlow Networks
    Nate Foster, Rob Harrison, Matthew L. Meola, Michael J. Freedman, Jennifer Rexford, and David Walker
    Proc. Workshop on Programmable Routers for Extensible Services of Tomorrow
    (PRESTO ’10) Philadelphia, PA. November 2010. [pdf]
  2. SPORC: Group Collaboration using Untrusted Cloud Resources
    Ariel J. Feldman, William P. Zeller, Michael J. Freedman, and Edward W. Felten
    Proc. Symposium on Operating Systems Design and Implementation
    (OSDI ’10) Vancouver, BC, October 2010. [pdf]
  3. Scalable Flow-Based Networking with DIFANE
    Minlan Yu, Jennifer Rexford, Michael J. Freedman, and Jia Wang
    Proc. ACM SIGCOMM Conference
    (SIGCOMM ’10) New Delhi, India, August 2010. [pdf]
  4. DONAR: Decentralized Server Selection for Cloud Services
    Patrick Wendell, Joe Wenjie Jiang, Michael J. Freedman, and Jennifer Rexford.
    Proc. ACM SIGCOMM Conference
    (SIGCOMM ’10) New Delhi, India, August 2010. [pdf]
  5. Collaborative, Privacy-Preserving Data Aggregation at Scale
    Benny Applebaum, Haakon Ringberg, Michael J. Freedman, Matthew Caesar, and Jennifer Rexford
    Proc. 10th Privacy Enhancing Technologies Symposium
    (PET ’10) Berlin, Germany, July 2010. [pdf]
  6. Feeding Frenzy: Selectively Materializing Users’ Event Feeds
    Adam Silberstein, Jeff Terrace, Brian Frank Cooper, Raghu Ramakrishnan
    Proc. ACM Special Interest Group on Management of Data
    (SIGMOD ’10) Indianapolis, IN, June, 2010. [pdf]
  7. Experiences with Tracing Causality in Networked Services
    Rodrigo Fonseca, Michael J. Freedman, and George Porter
    Proc. Internet Network Management Workshop / Workshop on Research on Enterprise Networking
    (INM/WREN ’10) San Jose, April 2010. [pdf]
  8. Experiences with CoralCDN: A Five-Year Operational View
    Michael J. Freedman
    Proc. 7th USENIX/ACM Symposium on Networked Systems Design and Implementation
    (NSDI ’10) San Jose, CA, April 2010.  [pdf]
  9. Prophecy: Using History for High-Throughput Fault Tolerance
    Siddhartha Sen, Wyatt Lloyd, and Michael J. Freedman
    Proc. 7th USENIX/ACM Symposium on Networked Systems Design and Implementation
    (NSDI ’10) San Jose, CA, April 2010.  [pdf]

2009

  1. Virtual Ring Routing Trends
    Dahlia Malkhi, Siddhartha Sen, Kunal Talwar, Renato F. Werneck, and Udi Wieder
    Proc. 23rd International Symposium on Distributed Computing
    (DISC ’09) Elche/Elx, Spain, September 2009. [pdf]
  2. Rethinking Enterprise Network Control
    Martin Casado, Michael J. Freedman, Justin Pettit, Jianying Luo, Natasha Gude, Nick McKeown, and Scott Shenker
    IEEE/ACM Transactions on Networking, Vol 17, Num 4. August 2009. [pdf, link]
  3. Scaling Virtual Worlds with a Physical Metaphor
    Daniel Horn, Ewen Cheslack-Postava, Tahir Azim, Michael J. Freedman, and Philip Levis
    IEEE Pervasive Computing, Vol 8, Num 3. July-September 2009. [pdf]
  4. Object Storage on CRAQ: High-throughput chain replication for read-mostly workloads
    Jeff Terrace and Michael J. Freedman
    Proc. USENIX Annual Technical Conference
    (USENIX ’09) San Diego, CA, June 2009. [pdf, slides]
  5. Collaborative, Privacy-Preserving Data Aggregation at ScaleHaakon Ringberg, Benny Applebaum, Michael J. Freedman, Matthew Caesar, and Jennifer RexfordCryptology ePrint Archive: Report 2009/180, April 2009. [eprint]
  6. Bringing P2P to the Web: Security and Privacy in the Firecoral Network
    Jeff Terrace, Harold Laidlaw, Hao Eric Liu, Sean Stern, and Michael J. Freedman
    Proc. 8th International Workshop on Peer-to-Peer Systems
    (IPTPS ’09) Boston, MA, April 2009. [pdf, html, slides]

2008

  1. Peer-Assisted Content Distribution with Prices
    Christina Aperjis, Michael J. Freedman, and Ramesh Johari
    Proc. ACM SIGCOMM Conference on emerging Networking EXperiments and Technologies
    (CoNext ’08) Madrid, Spain, December 2008.  [pdf]
  2. A Comparison of Bilateral and Multilateral Exchanges for Peer-Assisted Content Distribution
    Christina Aperjis, Michael J. Freedman, and Ramesh Johari
    Proc. 2nd Workshop on Network Control and Optimization
    (NetCoop ’08) Paris, France, September 2008.  [pdf]
  3. Prices are Right: Managing resources and incentives in peer-assisted content distribution
    Michael J. Freedman, Christina Aperjis, and Ramesh Johari
    Proc. 7th International Workshop on Peer-to-Peer Systems
    (IPTPS ’08) Tampa Bay, FL, February 2008.  [pdf]