Kevin Walsh

Personal

I am currently a Ph.D. student in the Department of Computer Science. You can see some photos of my family, as well as photos from my time in the Peace Corps (more).

Research

My thesis committee consists of Fred B. Schneider (chair), Andrew Meyers, and David Henderson (Mathematics)

Nexus Trustworthy computing, operating systems, and authorization logics.

Credence Addressing content pollution in peer to peer filesharing through distributed ratings.

SNS: Staged Simulation Improving the scale and performance of discrete event wireless-network simulators.

Modelnet A large scale wide-area network emulator built from commodity hardware.

MagnetOS A distributed operating system for ad hoc and sensor networks to enable power-aware, adaptive, and efficient ad hoc networking applications.

Service

I maintain the cs department wiki, a repository of questions, answers, problems, solutions, ideas, and documentation about our department IT infrastructure.

I am a graduate student representative on the Computing Facilities Support (CFS) Advisory Committee.

Recent Publications

Fred B. Schneider, Kevin Walsh, and Emin Gün Sirer. Nexus Authorization Logic (NAL): Design Rationale and Applications. PDF
Submitted for publication, September 14, 2009.
Available as Cornell Computing and Information Science Technical Report TR.

Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, and Fred B. Schneider. Device Driver Safety Through a Reference Validation Mechanism. PDF
In Proceedings of 8th Symposium on Operating Systems Design and Implementation (OSDI), San Diego, December, 2008.

Kevin Walsh, Emin Gün Sirer. Experience with an Object Reputation System for Peer-to-Peer Filesharing. PDF | PS
In Proceedings of the Symposium on Networked System Design and Implementation (NSDI), San Jose, California, May 2006.
Awarded Best Paper.

Kevin Walsh, Emin Gün Sirer. Fighting Peer-to-Peer SPAM and Decoys with Object Reputation. PDF
In Proceedings of the Third Workshop on the Economics of Peer-to-Peer Systems (p2pecon), Philadelphia, August 2005.

Hongzhou Liu, Tom Roeder, Kevin Walsh, Rimon Barr, Emin Gün Sirer. Design and Implementation of a Single System Image Operating System for Ad Hoc Networks.
In Proceedings of the 3rd Conference on Mobile Systems, Applications, and Services (MobiSys), Seattle, June 2005.

Kevin Walsh, Emin Gün Sirer. Staged Simulation: A General Technique for Improving Simulation Scale and Performance. PDF
In ACM Transactions on Modeling and Computer Simulation (TOMACS), April 2004.

Kevin Walsh, Emin Gün Sirer. Staged Simulation for Improving the Scale and Performance of Wireless Network Simulations. PDF
In Proceedings of the 2003 Winter Simulation Conference, New Orleans, December, 2003.

Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostic, Jeff Chase, and David Becker. Scalability and Accuracy in a Large-Scale Network Emulator. PDF
In Proceedings of 5th Symposium on Operating Systems Design and Implementation (OSDI), Boston, December, 2002.

Teaching

Computer Science 6410 (614) - Teaching Assistant, Fall 2008 - Advanced Systems

Computer Science 316 - Teaching Assistant, Fall 2006 - Computer System Organization and Programming

Math 335 / Computer Science 480 - Guest Lecturer, Fall 2004 - Introduction to Cryptology

Computer Science 211 - Instructor, Summer 2004 - Computers and Programming

Computer Science 614 - Teaching Assistant, Spring 2004 - Advanced Systems

Math 001 - Instructor, Summer 2002 - Engineering Calculus, Cornell Pre-freshman Summer Program

11^e, 12^e Mathématiques - Instructor, 1998 to 2000 - Lycée Cabral, Fria, Republic of Guinea

Com S 314 - Lead Teaching Assistant, 1997 to 1998 - Computer Architecture and Design