Reports for Author "Walker, David"

TR-649-02 - More Enforceable Security Policies (2002-06-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-655-02 - A Calculus for Composing Security Policies (2002-08-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-656-02 - An Effective Theory of Type Refinements (2002-12-00)
Harper, Robert / Walker, David / Mandelbaum, Yitzhak
TR-671-03 - Modal Proofs As Distributed Programs (2003-08-00)
Jia, Limin / Walker, David
TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003-05-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-695-04 - Dynamic Typing with Dependent Types (2004-04-00)
Ou, Xinming / Walker, David / Mandelbaum, Yitzhak / Tan, Gang
TR-696-04 - Protection from Bad Advice (2004-04-00)
Walker, David / Dantas, Daniel S.
TR-699-04 - A Language and System for Composing Security Policies (2004-04-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-717-05 - Analyzing Polymorphic Advice (2005-01-00)
Washburn, Geoffrey / Weirich, Stephanie / Walker, David / Dantas, Daniel S.
TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005-01-00)
Walker, David / Bauer, Lujo / Ligatti, Jay
TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005-03-00)
Glew, Neal / Spalding, Frances / Jia, Limin / Walker, David
TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005-09-00)
Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005-10-00)
Jia, Limin / Walker, David
TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006-07-00)
Jia, Limin / Walker, David
TR-761-06 - PADS/ML: A Functional Data Description Language (2006-07-00)
Gleyzer, Artem / Walker, David / Fisher, Kathleen / Mandelbaum, Yitzhak / Fernandez, Mary
TR-776-07 - Fault-tolerant Typed Assembly Language (2007-04-00)
August, David I. / Mackey, Lester / Reis, George A. / Perry, Frances / Walker, David / Ligatti, Jay
TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (2007-10-00)
Perry, Frances / Walker, David
TR-826-08 - Language Support for Processing Ad Hoc Data (2008-07-00)
Jia, Limin / Pai, Vivek / Walker, David / Dantas, Daniel S. / Zhu, Kenny Q. / Fisher, Kathleen / Mandelbaum, Yitzhak
TR-834-08 - Ad Hoc Data and the Token Ambiguity Problem (2008-09-00)
Xi, Qian / Walker, David / Zhu, Kenny Q. / Fisher, Kathleen
TR-870-09 - A Context-free Markup Language for Semi-structured Text (2009-12-00)
Xi, Qian / Walker, David
TR-876-10 - Concurrent Separation Logic for Pipelined Parallelization (2010-06-00)
Walker, David / Appel, Andrew W. / Bell, Christian
TR-884-10 - Linear Maps (2010-09-00)
Walker, David / Lahiri, Shuvendu K. / Qadeer, Shaz
TR-889-10 - Forest: A Language and Toolkit For Programming with Filestores (2010-12-00)
Walker, David / Zhu, Kenny Q. / Fisher, Kathleen / Foster, Nate
TR-904-11 - Forest 1.0: A Language and Toolkit for Programming with Filestores (2011-06-00)
Walker, David / Zhu, Kenny Q. / Fisher, Kathleen / Foster, Nate
TR-966-13 - Infinite CacheFlow in Software-Defined Networks (2013-10-00)
Rexford, Jennifer / Walker, David / Katta, Naga
TR-987-16 - SNAP: Stateful Network-Wide Abstractions for Packet Processing (2016-07-05)
Rexford, Jennifer / Walker, David / Tahmasbi, Mina / Koral, Yaron / Greenberg, Michael