|
| |
David Walker
Assistant Professor
Computer Science Department
Princeton University
Office
35 Olden Street
Princeton, NJ 08544
phone: 609-258-7654
email: dpw at cs.princeton.edu
fax: 609-258-1771
Home
1203 Rhoads Dr
Belle Mead, NJ 08502
phone: 908-431-9251 |
|
Research Topics
Programming languages, type systems,
language-based security, ad hoc data processing, logics and reasoning
about programs.
Publications
Most of my publications are
here.
Projects
 | PADS:
processing ad hoc data sources |
|
Polymer:
secure program monitoring |
|
AspectML:
functional aspect-oriented programming languages |
| Plato:
defining modern logics for modern programmers |
|
CLF: a concurrent logical framework |
|
TAL: typed assembly language |
Awesome Ph.D. Students
Courses
Professional Activities
|
ICALP 06.
Track B (Logic, Semantics and Theory of Programming) Program Committee. |
|
FOAL 06.
Program Committee. |
|
SPACE 06. Program Co-Chair. |
|
POPL 06.
Publicity Chair. |
|
Summer School on Reliable Computing. Organizer. July
05. |
|
IMLA. Invited
talk: Logics for Checking Properties of Pointer Programs.
June 05. |
|
FOAL
05. Program Chair. |
|
TLDI 05.
Program Committee. |
|
Summer School on Software Security. Organizer.
June 04. |
|
ICFP 04. Program
Committee. |
|
LRRP 04.
Program Committee. |
|
FOAL
04. Program Committee. |
|
SPACE 04. Invited
talk (ppt),
January, 04. |
|
NJPLS host,
September, 03; September, 04. |
|
Summer
School on
Foundations of Security. Invited speaker (PCCppt;
TALps), June 03. |
|
NJPLS
program chair, December, 02; February, 05. |
|
POPL '03,
POPL '04,
POPL '05. I was the POPL
publicity chair. |
|
Summer School on Foundations
of Internet Security. Invited speaker (ps),
June, 02. |
|
Symposium
on Cyber Security and Trustworthy Software. Invited speaker (ppt),
March, 02. |
|
PEPM
02. Program committee. |
Recent Collaborators
|
Amal Ahmed (Princeton, now Harvard) |
|
Andrew Appel (Princeton) |
|
Lujo Bauer (Princeton, now CMU) |
|
Iliano Cervesato (NRL, now Tulane) |
|
Daniel S. Dantas (Princeton) |
|
Mary Fernandez (AT&T) |
|
Kathleen Fisher (AT&T) |
|
Neal Glew (Intel) |
|
Limin Jia (Princeton) |
|
Robert Harper (CMU) |
|
|
Jay Ligatti (Princeton) |
|
Yitzhak Mandelbaum (Princeton) |
| Greg Morrisett (Cornell, now
Harvard) |
| Xinming Ou (Princeton) |
|
Frank Pfenning (CMU) |
|
Gang Tan (Princeton) |
|
Geoff Washburn (UPenn) |
|
Kevin Watkins (CMU) |
|
Stephanie Weirich (UPenn) |
|
Steve Zdancewic (UPenn) |
|
CV
The most recent version of my CV is here (last
updated January 2003).
Fun
I have so much fun that I couldn't possibly keep this section of my
webpage properly up-to-date---so I'm not going to make any great effort
trying. For the really curious, here are a couple tidbits to tide
you over until you get to experience me in person.
| Brother fun: He's
actually quite a bit more fun than I am. I hope to acquire greater
fun by association. |
| Hockey fun: I try to play a couple of times a week. I
actually play about once a week. Go Leafs go. |
| Outdoors fun: I used to do a lot of canoeing, white
water kayaking, and canoe tripping (learning a little guitar along
the way) in Ontario and Quebec with Camp
Kandalore. I picked up a number of crazy friends along the
way...amongst the craziest are Colin and Jay, who have a
new puppet show that is well worth watching. Colin also
happens to be a big game hunter.
Here he is in his typical
gear. |
|
|