Bryan Ford's Publications

Selected Papers

• Proactively Accountable Anonymous Messaging in Verdict, Henry Corrigan-Gibbs, David Isaac Wolinsky, and Bryan Ford. USENIX Security 2013 (to appear). Draft: Abstract PDF
• Scalable SDN Controllers for Programming Policies, Andreas Voellmy, Junchang Wang, Bryan Ford, Paul Hudak, and Y. Richard Yang. SIGCOMM 2013 (to appear).
• GPUfs: Integrating a File System with GPUs, Mark Silberstein, Bryan Ford, Idit Keidar, and Emmett Witchel. ASPLOS 2013. Abstract PDF
• Enhancing the OS Against Security Threats in System Administration, Nuno Santos, Rodrigo Rodrigues, and Bryan Ford. Middleware 2012. PDF
• Dissent in Numbers: Making Strong Anonymity Scale, David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson. OSDI 2012. Abstract PDF Slides: PowerPoint PDF
• Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS, Michael F. Nowlan, Nabin Tiwari, Janardhan Iyengar, Syed Obaid Amin, and Bryan Ford. NSDI 2012. Abstract PDF Slides: OpenOffice 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
• Vx32: Lightweight User-level Sandboxing on the x86, Bryan Ford and Russ Cox. USENIX 2008. Best Student Paper Award. Abstract PDF HTML
• 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
• Parsing Expression Grammars: A Recognition-Based Syntactic Foundation, Bryan Ford. POPL 2004. Abstract PDF PS. Slides: HTML PDF
• 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

Full Bibliography

Operating Systems

• GPUfs: Integrating a File System with GPUs, Mark Silberstein, Bryan Ford, Idit Keidar, and Emmett Witchel. 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), March 16-20, 2013. Abstract PDF
• Scaling Software-Defined Network Controllers on Multicore Servers, Andreas Voellmy, Bryan Ford, Paul Hudak, and Y. Richard Yang. Yale University Technical Report TR1468, July 2012. PDF
• Icebergs in the Clouds: the Other Risks of Cloud Computing, Bryan Ford. 4th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '12), June 12-13, 2012. Abstract PDF Slides: OpenOffice PDF
• Plugging Side-Channel Leaks with Timing Information Flow Control, Bryan Ford. 4th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '12), June 12-13, 2012. Abstract PDF Slides: OpenOffice PDF
• Non-Linear Compression: Gzip Me Not!, Michael F. Nowlan, Bryan Ford, and Ramakrishna Gummadi. 4th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage '12), June 13-14, 2012. Abstract PDF
• 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.
• 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
• 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
• Advanced Development of Certified OS Kernels, Zhong Shao and Bryan Ford. Yale University Technical Report TR1436, July 15, 2010. PDF
• Vx32: Lightweight User-level Sandboxing on the x86, Bryan Ford and Russ Cox. USENIX Annual Technical Conference, June 22-27, 2008. Best Student Paper Award. 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

Security/Privacy

• Proactively Accountable Anonymous Messaging in Verdict, Henry Corrigan-Gibbs, David Isaac Wolinsky, and Bryan Ford. 22nd USENIX Security Symposium (to appear), August 14-16, 2013. Draft: Abstract PDF
• Welcome to the World of Human Rights: Please Make Yourself Uncomfortable, Henry Corrigan-Gibbs and Bryan Ford. Cyber-security Research Ethics Dialog & Strategy Workshop (CREDS 2013), May 23, 2013. PDF
• Enhancing the OS Against Security Threats in System Administration, Nuno Santos, Rodrigo Rodrigues, and Bryan Ford. ACM/IFIP/USENIX 13th International Conference on Middleware, December 3-7, 2012. PDF
• Dissent in Numbers: Making Strong Anonymity Scale, David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), October 8-10, 2012. Abstract PDF Slides: PowerPoint PDF
• Strong Theft-Proof Privacy-Preserving Biometric Authentication, Ewa Syta, Michael J. Fischer, Abraham Silberschatz, Gina Gallegos García, and Bryan Ford. Yale University Technical Report TR1455, May 25, 2012. PDF
• Scalable Anonymous Group Communication in the Anytrust Model, David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson. 5th European Workshop on System Security (EuroSec), April 10, 2012. Abstract PDF
• Icebergs in the Clouds: the Other Risks of Cloud Computing, Bryan Ford. 4th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '12), June 12-13, 2012. Abstract PDF Slides: OpenOffice PDF
• Plugging Side-Channel Leaks with Timing Information Flow Control, Bryan Ford. 4th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '12), June 12-13, 2012. 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
• An Offline Foundation for Online Accountable Pseudonyms, Bryan Ford and Jacob Strauss. First International Workshop on Social Network Systems, April 1, 2008. PDF PS
• 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

Networking

• Scalable SDN Controllers for Programming Policies, Andreas Voellmy, Junchang Wang, Bryan Ford, Paul Hudak, and Y. Richard Yang. ACM SIGCOMM (to appear), August 12-16, 2013.
• Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS, Michael F. Nowlan, Nabin Tiwari, Janardhan Iyengar, Syed Obaid Amin, and Bryan Ford. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12), April 25-27, 2012. Abstract PDF Slides: OpenOffice 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
• 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
• 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)
• 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

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.