☰

David Walker

Affiliations: 
Computer Science Princeton University, Princeton, NJ 
Area:
Programming languages, type systems, compilers, domain-specific languages, and software-defined networking.
Google:
"David Walker"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Greg Morrisett grad student 2001 Cornell
 (Typed memory management.)

Children

Sign in to add trainee
Jarred A. Ligatti grad student 2006 Princeton
Yitzhak H. Mandelbaum grad student 2006 Princeton
Frances J. Perry grad student 2008 Princeton
Christian J. Bell grad student 2014 Princeton

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Fisher K, Mandelbaum Y, Walker D. (2010) The next 700 data description languages Journal of the Acm. 57: 10
Allen J, Ariola Z, Curien PL, et al. (2009) An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3
Bauer L, Ligatti J, Walker D. (2009) Composing expressive runtime security policies Acm Transactions On Software Engineering and Methodology. 18
Dantas DS, Walker D, Washburn G, et al. (2008) AspectML: A polymorphic aspect-oriented functional programming language Acm Transactions On Programming Languages and Systems. 30
Watkins K, Cervesato I, Pfenning F, et al. (2008) Specifying Properties of Concurrent Computations in CLF Electronic Notes in Theoretical Computer Science. 199: 67-87
Ligatti J, Walker D, Zdancewic S. (2006) A type-theoretic interpretation of pointcuts and advice Science of Computer Programming. 63: 240-266
Ligatti J, Bauer L, Walker D. (2005) Edit automata: Enforcement mechanisms for run-time security policies International Journal of Information Security. 4: 2-16
Morrisett G, Crary K, Glew N, et al. (2002) Stack-based typed assembly language Journal of Functional Programming. 12: 957-959
Walker D, Morrisett G. (2001) Alias types for recursive data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2071: 177-206
Walker D, Crary K, Morrisett G. (2000) Typed memory management via static capabilities Acm Transactions On Programming Languages and Systems. 22: 701-771
See more...