Title/Position
Professor, Director of Undergraduate Studies

Degree
Ph.D., Cornell University, 2001

dpw(@cs.princeton.edu) (609) 258-7654 211 Computer Science

Homepage
https://www.cs.princeton.edu/~dpw

Research

Interests: Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.
Research Areas: Programming Languages / Compilers

Active Research Projects: Network Programming and Verification
Software-defined networking

Previous Research Projects: PADS
Polymer - A Language for Composing Run-Time Security Policies
Typed Assembly Language (TAL)
Zap

Short Bio

David Walker joined the department in 2002, was granted tenure in 2008 andwas appointed a full professor in 2013. He received his doctoral and master’s degrees in computer science from Cornell, and his bachelor’s from Queen’s University in Kingston, Ontario. Duringsabbaticals from Princeton, he has served as a visiting researcher at Microsoft Research in Redmond (2008) and in Cambridge (2009), and as AssociateVisiting Facultyat the University of Pennsylvania (2015-2016).Professor Walker studies programming language theory, design and implementation, with an emphasis on the design of domain-specific languages. His awards include an NSF Career Award, a Sloan Fellowship and the 2015ACM SIGPLAN Robin Milner Young Researcher Award. Together with his collaborators, hehas also won a10-year retrospective award for the most influential paper at ACM POPL 1998, abest paper award at ACM PLDI 2007, and a Community Award for his workat USENIX NSDI 2013. He served as an associate editor for ACM TOPLAS from2007-2015and as program chair for ACM POPL in 2015.

Selected Publications

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye and David Walker. ACM SIGCOMM, August 2016. Winner of theSIGCOMM Best Paper Award.
“Abstractions for Network Update.”Mark Reittblatt, Nate Foster, Jen Rexford, Cole Schlesinger and David Walker. ACM SIGCOMM, August 2012.
“Frenetic: A Network Programming Language.”Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story and David Walker. ACM SIGPLAN International Conference on Functional Programming, September 2011.
“The Next 700 Data Description Languages.” Kathleen Fisher, Yitzhak Mandelbaum and David Walker. Journal of the ACM, Volume 57, Issue 2, January 2010.
“Fault-tolerant Typed Assembly Language.” Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August and David Walker. ACM SIGPLAN Conference on Programming Language Design and Implementation. June 2007. Winner of the PLDI 07 Best Paper Award.
“From System F to Typed Assembly Language.” Greg Morrisett, David Walker, Karl Crary and Neal Glew. Twenty-Fifth ACM SIGPLAN Symposium on Principles of Programming Languages. San Diego, January 1998. Pp. 85-97. Winner of the Most Influential 1998 POPL Paper Award.