Bryan Ford

Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel: GPUfs: integrating a file system with GPUs. ASPLOS 2013: 485-498

Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford: Efficient system-enforced deterministic parallelism. Commun. ACM 55(5): 111-119 (2012)

Nuno Santos, Rodrigo Rodrigues, Bryan Ford: Enhancing the OS against Security Threats in System Administration. Middleware 2012: 415-435

Xiaoxiao Song, David Isaac Wolinsky, Bryan Ford: Faceless: decentralized anonymous group messaging for online social networks. SNS 2012: 13

Bryan Ford: Icebergs in the Clouds: the Other Risks of Cloud Computing. CoRR abs/1203.1979 (2012)

Bryan Ford: Plugging Side-Channel Leaks with Timing Information Flow Control. CoRR abs/1203.3428 (2012)

Henry Corrigan-Gibbs, David Isaac Wolinsky, Bryan Ford: Dining in the Sunshine: Verifiable Anonymous Communication with Verdict. CoRR abs/1209.4819 (2012)

Joseph D. Touch, Ilia Baldine, Rudra Dutta, Gregory G. Finn, Bryan Ford, Scott Jordan, Daniel Massey, Abraham Matta, Christos Papadopoulos, Peter L. Reiher, George N. Rouskas: A Dynamic Recursive Unified Internet Design (DRUID). Computer Networks 55(4): 919-935 (2011)

Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo: CertiKOS: a certified kernel for secure cloud computing. APSys 2011: 3

Yu Zhang, Bryan Ford: A virtual memory foundation for scalable deterministic parallelism. APSys 2011: 7

Jay Chen, Janardhan R. Iyengar, Lakshminarayanan Subramanian, Bryan Ford: TCP behavior in sub packet regimes. SIGMETRICS 2011: 157-158

Janardhan R. Iyengar, Bryan Ford, Syed Obaid Amin, Michael F. Nowlan, Nabin Tiwari: Wire-Compatible Unordered Delivery in TCP and TLS. CoRR abs/1103.0463 (2011)

Jacob Strauss, Chris Lesniewski-Laas, Justin Mazzola Paluska, Bryan Ford, Robert Morris, M. Frans Kaashoek: Device transparency: a new model for mobile storage. Operating Systems Review 44(1): 5-9 (2010)

Amittai Aviram, Sen Hu, Bryan Ford, Ramakrishna Gummadi: Determinating timing channels in compute clouds. CCSW 2010: 103-108

Henry Corrigan-Gibbs, Bryan Ford: Dissent: accountable anonymous group messaging. ACM Conference on Computer and Communications Security 2010: 340-350

Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford: Efficient System-Enforced Deterministic Parallelism. OSDI 2010: 193-206

Amittai Aviram, Sen Hu, Bryan Ford, Ramakrishna Gummadi: Determinating Timing Channels in Statistically Multiplexed Clouds. CoRR abs/1003.5303 (2010)

Henry Corrigan-Gibbs, Bryan Ford: Accountable Anonymous Group Messaging. CoRR abs/1004.3057 (2010)

Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford: Efficient System-Enforced Deterministic Parallelism. CoRR abs/1005.3450 (2010)

Bryan Ford, Janardhan R. Iyengar: Efficient Cross-Layer Negotiation. HotNets 2009

Janardhan R. Iyengar, Bryan Ford: Flow Splitting with Fate Sharing in a Next Generation Transport Services Architecture. CoRR abs/0912.0921 (2009)

Amittai Aviram, Bryan Ford: Deterministic Execution for Multicore and Cloud Computing. CoRR abs/0912.0926 (2009)

Bryan Ford, Jacob Strauss: An offline foundation for online accountable pseudonyms. SNS 2008: 31-36

Bryan Ford, Russ Cox: Vx32: Lightweight User-level Sandboxing on the x86. USENIX Annual Technical Conference 2008: 293-306

Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek: Alpaca: extensible authorization for distributed services. ACM Conference on Computer and Communications Security 2007: 432-444

Bryan Ford: Structured streams: a new transport abstraction. SIGCOMM 2007: 361-372

Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris: User-Relative Names for Globally Connected Personal Devices. IPTPS 2006

Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris: Persistent Personal Names for Globally Connected Mobile Devices. OSDI 2006: 233-248

Bryan Ford: VXA: A Virtual Architecture for Durable Compressed Archives. CoRR abs/cs/0603073 (2006)

Bryan Ford, Pyda Srisuresh, Dan Kegel: Peer-to-Peer Communication Across Network Address Translators. CoRR abs/cs/0603074 (2006)

Bryan Ford: Unmanaged Internet Protocol: Taming the Edge Network Management Crisis. CoRR abs/cs/0603075 (2006)

Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris: User-Relative Names for Globally Connected Personal Devices. CoRR abs/cs/0603076 (2006)

Bryan Ford: Packrat Parsing: Simple, Powerful, Lazy, Linear Time. CoRR abs/cs/0603077 (2006)

Bryan Ford: VXA: A Virtual Architecture for Durable Compressed Archives. FAST 2005

Bryan Ford, Pyda Srisuresh, Dan Kegel: Peer-to-Peer Communication Across Network Address Translators. USENIX Annual Technical Conference, General Track 2005: 179-192

Bryan Ford: Unmanaged Internet Protocol: taming the edge network management crisis. Computer Communication Review 34(1): 93-98 (2004)

Bryan Ford: Parsing expression grammars: a recognition-based syntactic foundation. POPL 2004: 111-122

Bryan Ford: Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. ICFP 2002: 36-47

Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, Patrick Tullmann: Interface and Execution Models in the Fluke Kernel. OSDI 1999: 101-115

Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson, Jeff Turner: The Flux OS Toolkit: Reusable Components for OS Implementation. Workshop on Hot Topics in Operating Systems 1997: 14-19

Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom: Flick: A Flexible, Optimizing IDL Compiler. PLDI 1997: 44-56

Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers: The Flux OSKit: A Substrate for Kernel and Language Research. SOSP 1997: 38-51

Bryan Ford, Sai Susarla: CPU Inheritance Scheduling. OSDI 1996: 91-105

Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson: Microkernels Meet Recursive Virtual Machines. OSDI 1996: 137-151

Jay Lepreau, Bryan Ford, Mike Hibler: The persistent relevance of the local operating system to global applications. ACM SIGOPS European Workshop 1996: 133-140

Bryan Ford, Mike Hibler, Jay Lepreau: Using Annotated Interface Definitions to Optimize RPC. SOSP 1995: 232

Bryan Ford, Jay Lepreau: Evolving Mach 3.0 to A Migrating Thread Model. USENIX Winter 1994: 97-114

John B. Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeffrey Law, Jay Lepreau, Douglas B. Orr, Leigh Stoller, Mark R. Swanson: FLEX: A Tool for Building Efficient and Flexible Systems. Workshop on Workstation Operating Systems 1993: 198-202

Jay Lepreau, Mike Hibler, Bryan Ford, Jeffrey Law, Douglas B. Orr: In-Kernel Servers on Mach 3.0: Implementation and Performance. USENIX MACH Symposium 1993: 39-56