Patrick Reynolds

General

I was a postdoctoral associate in the Computer Science Department at Cornell University. I worked with Gün Sirer on using the Nexus operating system to secure BGP (tech report, poster) and other network protocols.

I recently finished 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 with research, 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

• 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 Linux PCs, Palm Pilots, and Java-enabled cell phones. 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.