David Walker

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Sriram K. Rajamani, S. Rajamani, David Walker, 2015, POPL.

Replication Package for Artifact

Benjamin C. Pierce, Steve Zdancewic, David Walker, 2019, Artifact Digital Object Group.

Grammatical Domains and Syntax-guided Grammar Induction

Kathleen Fisher, Anders Miltner, David Walker, 2021 .

Tracking the Flow of Ideas through the Programming Languages Literature

David Walker, Michael Greenberg, Kathleen Fisher, 2015, SNAPL.

Saggitarius: A DSL for Specifying Grammatical Domains

Kathleen Fisher, Anders Miltner, Devon Loehr, 2023, ArXiv.