Patrick Reynolds

General

I am a software architect at BlueStripe Software, working mostly on the data collection bits in the company's Application Management tool, FactFinder. My work there is all about causality, asynchrony, performance measurement, and creative kernel development.

I was recently a postdoctoral associate in the Computer Science Department at Cornell University. I worked with Gün Sirer and Fred Schneider on device drivers and BGP security (tech report, poster) in the Nexus operating system.

I got my PhD at Duke University under the supervision of Amin Vahdat and Janet Wiener. I previously earned a Master's degree at Duke and a Bachelor's degree from the University of Virginia.

I live in Chapel Hill, NC with my wife Kristina. When I'm not busy working, I enjoy sailing, photography, hiking, skiing, cycling, and light woodworking. I maintain the Oracle of Bacon. I grew up in Charlottesville, VA.

Research

My areas of interest are distributed systems, computer networks, and operating systems. My most recent project was the Nexus trusted operating system, reference monitors for user-space drivers, and BGP security. Before that, I worked on distributed systems debugging and performance analysis (Pip and Project 5), peer-to-peer keyword searching, and wide-area available-bandwidth measurement.

Teaching

• Spring'06: CPS182s: Technical and Social Foundations of the Internet (instructor)
• Fall'00: CPS108: Software Design and Implementation (teaching assistant)
• Spring'00: CPS196.1: Computer Networks and Distributed Systems (teaching assistant)

Publications

• Logical Attestation: An Authorization Architecture for Trustworthy Computing, Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, and Fred B. Schneider. In Proceedings of SOSP, Cascais, Portugal, Oct 2011. (pdf)
• A Preliminary Assessment of Small World Scholarship Networks in Criminology and Criminal Justice, Stephen K. Rice, Matthew J. Hickman, and Patrick Reynolds. In Journal of Criminal Justice Education, Volume 22, Issue 1, 2011.
• Device Driver Safety Through a Reference Validation Mechanism, Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, and Fred B. Schneider. In Proceedings of OSDI, San Diego, CA, Dec 2008. (pdf)
• Pip: Detecting the Unexpected in Distributed Systems, Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat. In Proceedings of NSDI, San Jose, CA, May 2006. (pdf)
• WAP5: Black-Box Performance Debugging for Wide-Area Systems, Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogul, Marcos K. Aguilera, and Amin Vahdat. In Proceedings of WWW, Edinburgh, Scotland, May 2006. (pdf)
• Performance Debugging for Distributed Systems of Black Boxes, Marcos K. Aguilera, Jeffery C. Mogul, Janet L. Wiener, Patrick Reynolds, and Athicha Muthitacharoen. In Proceedings of the 19th ACM Symposium on Operating System Principles (SOSP), Bolton Landing, NY, October 2003. (ps.gz | pdf)
• Efficient Peer-to-Peer Keyword Searching, Patrick Reynolds and Amin Vahdat. In Proceedings of the International Middleware Conference, Rio de Janeiro, Brazil, June 2003. (ps.gz | pdf)
• Self-organizing Subsets: From Each According to His Abilities, To Each According to His Needs, Amin Vahdat, Jeffrey S. Chase, Rebecca Braynard, Dejan Kostic, Patrick Reynolds, and Adolfo Rodriguez. In Proceedings of the International Workshop on Peer To Peer Systems (IPTPS), Cambridge, MA, March 2002. (pdf)
• XMon-BGP: Securing BGP Using External Security Monitors (poster). 4nd ACM Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, April 2007.
• Experiences with Pip: Finding Unexpected Behavior in Distributed Systems (poster). 20th ACM Symposium on Operating Systems Principles, Brigton, UK, October 2005. (pdf)

Graduate work

Work

• BlueStripe Software (2008-)
• Postdoc at Cornell (2006-2008)
• Internship at HP Labs in Palo Alto (2003, 2004)
• Internship at Microsoft in Redmond (2002)
• Research assistant for Amin Vahdat

• CPS149S - Problem Solving Seminar
• CPS210 - Operating Systems
• CPS212 - Distributed Information Systems
• CPS214 - Computer Networks
• CPS216 - Database Methodology
• CPS220 - Advanced Computer Architecture I
• CPS221 - Advanced Computer Architecture II
• CPS230 - Design and Analysis of Algorithms
• CPS271 - Numerical Artificial Intelligence
• CPS296 - Advanced Topics: Ubiquitous Computing
• CPS296 - Advanced Topics: Computer Security
• CPS300 - Research Seminar
• ECE254 - Fault-Tolerant Computer Systems
• ECE255 - Mathematical Methods for Systems Analysis I

Free software and documentation

Nearly all of the software I write, I share. I have written SET for nearly every programmable device I have owned, including Android, Linux PCs, Palm Pilots, Java-enabled (J2ME/MIDP) cell phones, and the TomTom One 130-S GPS. I regret that I am no longer able to distribute this code. Many fine physical and digital editions of the game can be found at setgame.com. Snapshots and Debian packages of my dissertation project, Pip, are available for download. I have written drivers for Quickcams and Dimera-based still cameras. I have written several other applications, scripts, and snippets, too; click here.

When I get a new device whose support for Linux is poorly documented, I document it. Here are HOWTOs for putting Debian GNU/Linux onto Asus M5N/S5N and HP/Compaq NC-6000 laptops. Here is a HOWTO for setting up the Hauppauge PVR-150 MPEG capture card with MythTV.