This page has moved to https://www.cs.cmu.edu/~dpw/. This page is kept for archival purposes only.



David Walker


Dave 'yaking

David Walker
Computer Science Dept.
Cornell University
Ithaca, NY 14853


Email: walker@cs.cornell.edu
Office: 5139 Upson Hall
Phone: (607)255-5578

Research:

Statically typed languages such as Java or ML have important software engineering advantages over their untyped or dynamically typed counterparts. Some researchers compile these statically typed languages into typed intermediate languages before stripping types from the language and generating machine code. This technique enables type-directed optimizations and transformations to be performed on intermediate representations. Furthermore, all of the software engineering advantages conferred by types aid compiler implementers as they write and debug new transformations on the typed IL. Typed intermediate languages are also important in the security domain. Type safety implies many important security properties and type theory provides a sound foundation for the construction of a better Java virtual machine.

TALC: types inside I am investigating typed intermediate languages and their application in compilation and security. As a member of the TAL project, I am examining techniques for propagating type information through the entire compilation process, beyond the level of traditional intermediate languages and bytecodes, to maximize the advantages gained by compiling with types. Currently, the TAL group is building a type-directed compiler which generates well-typed assembly code as its output. The Typed Assembly Language(TAL) which we have developed has exciting applications to compiler correctness, and software engineering. Furthermore, our compiler and TAL type-checker can be extended to a system in which untrusted applets can be executed safely and efficiently.


Research Publications

Curriculum Vitae (Last Updated June 1999)

Teaching:


Fun
  • I am a firm believer everyone should do a little whitewater kayaking every now and then. Everything I've learned about this sport and about surviving in the outdoors in general, I learned at Kandalore.
  • My other outdoor passion is canoe tripping. Two summers ago I did a month-long trip down the Mistassibi and when I was a teenager, I did the Missinaibi from Dog Lake to Moosonee. In the summer of '98 I got back there to do a 10-day trip along the section from Missinaibi Lake to Mattice. I've also traveled the Dumoine, Spanish, Magnetewan, and Petawawa Rivers, among others in Quebec and Ontario. I'd love to get out to the Nahanni, Copper Mine, or (more realistically) the Moisie but it is getting harder and harder to find the time ...
  • When I'm not exploring the unknown wilds (ie: most of the time), I satisfy myself while a little old-fashioned shinny (hockey), the occasional trip to the ski slopes, or a little bridge. I've also picked ultimate (frisbee) recently.
Tremen Park, Ithaca, NY


Mistassibi River, North-Central Quebec Quote of the Month (changed semi-annually)
Law of Probable Dispersal:
Whatever it is that hits the fan will not be evenly distributed.