Bryan Ford's Publications

Selected Papers

• Eyo: Device-Transparent Personal Storage, Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Morris, and Frans Kaashoek. USENIX 2011. Abstract PDF
• Efficient System-Enforced Deterministic Parallelism, Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. Jay Lepreau Best Paper Award, OSDI 2010. Abstract PDF Slides: OpenOffice PDF
• Dissent: Accountable Anonymous Group Messaging, Henry Corrigan-Gibbs and Bryan Ford. CCS 2010. Abstract PDF
• Determinating Timing Channels in Compute Clouds, Amittai Aviram, Sen Hu, Bryan Ford, and Ramakrishna Gummadi. CCSW 2010. Abstract PDF Slides: OpenOffice PDF
• Vx32: Lightweight User-level Sandboxing on the x86, Bryan Ford and Russ Cox. USENIX 2008. Awarded Best Student Paper. Abstract PDF HTML
• An Offline Foundation for Online Accountable Pseudonyms, Bryan Ford and Jacob Strauss. SocialNets 2008. PDF PS
• Structured Streams: a New Transport Abstraction, Bryan Ford. SIGCOMM 2007. Abstract PDF PS HTML Slides: OpenOffice PDF HTML
• Persistent Personal Names for Globally Connected Mobile Devices, Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, and Robert Morris. OSDI 2006. Abstract PDF PS HTML Slides: OpenOffice PDF
• Peer-to-Peer Communication Across Network Address Translators, Bryan Ford, Pyda Srisuresh, and Dan Kegel. USENIX 2005. Abstract PDF PS HTML. Slides: HTML PDF OpenOffice
• Parsing Expression Grammars: A Recognition-Based Syntactic Foundation, Bryan Ford. POPL 2004. Abstract PDF PS. Slides: HTML PDF
• Interface and Execution Models in the Fluke Kernel, Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann. OSDI 1999. PDF PS
• The Flux OSKit: A Substrate for Kernel and Language Research, Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. SOSP 1997. PDF PS Slides: PDF PS
• Microkernels Meet Recursive Virtual Machines, Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. OSDI 1996. Abstract PDF PS Slides: PDF PS
• CPU Inheritance Scheduling, Bryan Ford and Sai R. Susarla. OSDI 1996. PDF PS Slides: PDF PS
• Evolving Mach 3.0 to a Migrating Thread Model, Bryan Ford and Jay Lepreau. USENIX Winter 1994. PDF PS Slides: PDF PS

Full Bibliography

Networking

• Eyo: Device-Transparent Personal Storage, Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Morris, and Frans Kaashoek. 2011 USENIX Annual Technical Conference (ATC), June 15-17, 2011. Abstract PDF
• A Dynamic Recursive Unified Internet Design (DRUID), Joe Touch, Ilia Baldine, Rudra Dutta, Gregory G. Finn, Bryan Ford, Scott Jordan, Dan Massey, Abraham Matta, Christos Papadopoulos, Peter Reiher, and George Rouskas. Computer Networks, December 2010. Abstract PDF
• Minion—an All-Terrain Packet Packhorse to Jump-Start Stalled Internet Transports, Janardhan Iyengar, Bryan Ford, Dishant Ailawadi, Syed Obaid Amin, Michael Nowlan, Nabin Tiwari, and Jeff Wise. 8th International Workshop on Protocols for Future, Large-Scale & Diverse Network Transports (PFLDNeT), November 2010. Abstract PDF Slides: OpenOffice PDF
• Dissent: Accountable Anonymous Group Messaging, Henry Corrigan-Gibbs and Bryan Ford. 17th ACM Conference on Computer and Communications Security (CCS), October 4-8, 2010. Abstract PDF
• Unintended Consequences of NAT Deployments with Overlapping Address Space, P. Srisuresh and B. Ford. IETF RFC 5684, February 2010. Plain Text
• Efficient Cross-Layer Negotiation, Bryan Ford and Janardhan Iyengar. HotNets-VIII, October 22-23, 2009, New York City, NY, USA. Draft: Abstract PDF
• Device Transparency: a New Model for Mobile Storage, Jacob Strauss, Chris Lesniewski-Laas, Justin Mazzola Paluska, Bryan Ford, Robert Morris, and Frans Kaashoek. HotStorage '09, October 11, 2009, Big Sky, MT, USA. Abstract PDF
• NAT Behavioral Requirements for ICMP, P. Srisuresh, B. Ford, S. Sivakumar, and S. Guha. IETF RFC 5508, April 2009. Plain Text
• NAT Behavioral Requirements for TCP, S. Guha, K. Biswas, B. Ford, S. Sivakumar, and P. Srisuresh. IETF RFC 5382, October 2008. Plain Text
• Breaking Up the Transport Logjam, Bryan Ford and Janardhan Iyengar. Seventh ACM Workshop on Hot Topics in Networks (HotNets-VII), October 6-7, 2008, Calgary, Alberta, Canada. Abstract PDF Slides: OpenOffice PDF Slides for IETF 73: OpenOffice PDF
• UIA: A Global Connectivity Architecture for Mobile Personal Devices, Bryan Ford. Ph.D. thesis, Massachusetts Institute of Technology, September 2008. Abstract PDF Slides: OpenOffice PDF
• An Offline Foundation for Online Accountable Pseudonyms, Bryan Ford and Jacob Strauss. First International Workshop on Social Network Systems, April 1, 2008. PDF PS
• State of Peer-to-Peer (P2P) Communication across Network Address Translators (NATs), Pyda Srisuresh, Bryan Ford, and Dan Kegel. IETF RFC 5128, March 2008. Plain Text
• Directions in Internet Transport Evolution, Bryan Ford. IETF Journal, Volume 3 Issue 3, December 2007. HTML PDF (full issue)
• Alpaca: Extensible Authorization for Distributed Services, Christopher Lesniewski-Laas, Bryan Ford, Jacob Strauss, M. Frans Kaashoek, and Robert Morris. 14th ACM Symposium on Computer and Communications Security, October 29-November 2, 2007. Abstract PDF PS
• Structured Streams: a New Transport Abstraction, Bryan Ford. ACM SIGCOMM, August 27-31, 2007. Abstract PDF PS HTML Slides: OpenOffice PDF HTML
• Persistent Personal Names for Globally Connected Mobile Devices, Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, and Robert Morris. 7th USENIX Symposium on Operating Systems Design and Implementation, November 6-8, 2006. Abstract PDF PS HTML
• User-Relative Names for Globally Connected Personal Devices, Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, and Robert Morris. 5th International Workshop on Peer-to-Peer Systems, February 2006. PDF PS
• Peer-to-Peer Communication Across Network Address Translators, Bryan Ford, Pyda Srisuresh, and Dan Kegel. USENIX Annual Technical Conference, April 10-15, 2005. Abstract PDF PS HTML. Slides: HTML PDF OpenOffice
• Unmanaged Internet Protocol: Taming the Edge Network Management Crisis, Bryan Ford. In Proceedings of the Second Workshop on Hot Topics in Networks, November 20-21, 2003, Cambridge, MA. PDF PS. 1-page Extended Abstract: PDF. Slides: HTML PDF
• Scalable Internet Routing on Topology-Independent Node Identities, Bryan Ford, October 31, 2003. Technical Report MIT-LCS-TR-926. PDF PS

Operating Systems

• A Virtual Memory Foundation for Scalable Deterministic Parallelism, Yu Zhang and Bryan Ford. 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2011), July 11-12, 2011. Abstract, PDF.
• CertiKOS: A Certified Kernel for Secure Cloud Computing, Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, and David Costanzo. 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2011), July 11-12, 2011. Abstract, PDF.
• Deterministic OpenMP for Race-Free Parallelism, Amittai Aviram and Bryan Ford. 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar), May 26-27, 2011. Abstract PDF
• Workspace Consistency: A Programming Model for Shared Memory Parallelism, Amittai Aviram, Bryan Ford, and Yu Zhang. 2nd Workshop on Determinism and Correctness in Parallel Programming (WoDet), March 6, 2011. Abstract PDF Slides: OpenOffice PDF
• Efficient System-Enforced Deterministic Parallelism, Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), October 4-6, 2010. Recipient of Jay Lepreau Best Paper Award. Abstract PDF Slides: OpenOffice PDF
• Determinating Timing Channels in Compute Clouds, Amittai Aviram, Sen Hu, Bryan Ford, and Ramakrishna Gummadi. ACM Cloud Computing Security Workshop (CCSW), October 8, 2010. Abstract PDF Slides: OpenOffice PDF
• Vx32: Lightweight User-level Sandboxing on the x86, Bryan Ford and Russ Cox. USENIX Annual Technical Conference, June 22-27, 2008. Awarded Best Student Paper. Abstract PDF HTML
• VXA: A Virtual Architecture for Durable Compressed Archives, Bryan Ford. 4th USENIX Conference on File and Storage Technologies, December 13-16, 2005. Abstract PDF PS HTML. Slides: HTML PDF OpenOffice
• Interface and Execution Models in the Fluke Kernel, Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann. In Proceedings of the Third Symposium on Operating Systems Design and Implementation, February 24, 1999, New Orleans. PDF PS
• The Flux OSKit: A Substrate for Kernel and Language Research, Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. In Proceedings of the 16th ACM Symposium on Operating System Principles, October 1997. PDF PS Slides: PDF PS
• The Flux OS Toolkit: Reusable Components for OS Implementation, Bryan Ford, Jay Lepreau, Steve Clawson, Kevin Van Maren, Bart Robinson, and Jeff Turner. In Proceedings of the Sixth IEEE Workshop on Hot Topics in Operating Systems, May 1997. PDF PS
• Microkernels Meet Recursive Virtual Machines, Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 137-151, October 1996. PDF PS Slides: PDF PS
• CPU Inheritance Scheduling, Bryan Ford and Sai R. Susarla. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 91-105, October 1996. PDF PS Slides: PDF PS
• User-level Checkpointing through Exportable Kernel State, Patrick Tullmann, Jay Lepreau, Bryan Ford, and Mike Hibler. In Proceedings of the Fifth IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS), October 1996. PDF PS Slides: PDF PS
• The Persistent Relevance of the Local Operating System to Global Applications, Jay Lepreau, Bryan Ford, and Mike Hibler. In Proceedings of the Seventh ACM SIGOPS European Workshop, September 1996. PDF PS
• Evolving Mach 3.0 to a Migrating Thread Model, Bryan Ford and Jay Lepreau. In Proceedings of the Winter 1994 USENIX Conference, pages 97-114, January 1994. PDF PS Slides: PDF PS
• Microkernels Should Support Passive Objects, Bryan Ford and Jay Lepreau. In Proceedings of the Third IEEE International Workshop on Object-Orientation in Operating Systems, December 1993. PDF PS
• In-Kernel Servers on Mach 3.0: Implementation and Performance, Jay Lepreau, Mike Hibler, Bryan Ford, and Jeffrey Law. In Proceedings of the Third USENIX Mach Symposium, pages 39-55, April 1993. PDF PS
• Notes on Thread Models in Mach 3.0, Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-93-012, April 1993 PDF PS

Languages and Compilers

• Parsing Expression Grammars: A Recognition-Based Syntactic Foundation, Bryan Ford. 31st ACM Symposium on Principles of Programming Languages, January 14-16, 2004, Venice, Italy. Abstract PDF PS. Slides: HTML PDF
• Packrat Parsing: Simple, Powerful, Lazy, Linear Time, Bryan Ford. International Conference on Functional Programming, October 4-6, 2002, Pittsburgh. Abstract PDF PS. Slides: HTML PDF
• Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking, Bryan Ford. Master's thesis, Massachusetts Institute of Technology, September 2002. Abstract PDF PS
• Flick: A Flexible, Optimizing IDL Compiler, Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1997. PDF PS
• Using Annotated Interface Definitions to Optimize RPC. Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-95-014, March 1995. PS
• Separating Presentation from Interface in RPC and IDLs. Bryan Ford, Mike Hibler, Jay Lepreau. UUCS-95-018, December 1994. PDF PS
• FLEX: A Tool for Building Efficient and Flexible Systems, John B. Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeffrey Law, Jay Lepreau, Douglas B. Orr, Leigh Stoller, and Mark Swanson. In Proceedings of the Fourth Workshop on Workstation Operating Systems, October 1993. PS

Amiga

• Die Datenpresse, Urban D. Mueller, Christian Schneider et al. AmigaPlus, August 1992. An article describing a data compression system for the Amiga which I co-authored along with several friends around the world.
• Agenda Lists: Object-Oriented Display Refreshing, Bryan Ford. The AmigaWorld Tech Journal, March 1992. Demonstrates a simple technique that makes display refereshing and user interaction in general simpler, more efficient, and more responsive.