Reports for Author "Walker, David"
- TR-987-16 - SNAP: Stateful Network-Wide Abstractions for Packet Processing (2016)
- TR-966-13 - Infinite CacheFlow in Software-Defined Networks (2013)
- TR-904-11 - Forest 1.0: A Language and Toolkit for Programming with Filestores (2011)
- TR-889-10 - Forest: A Language and Toolkit For Programming with Filestores (2010)
- TR-884-10 - Linear Maps (2010)
- TR-876-10 - Concurrent Separation Logic for Pipelined Parallelization (2010)
- TR-870-09 - A Context-free Markup Language for Semi-structured Text (2009)
- TR-834-08 - Ad Hoc Data and the Token Ambiguity Problem (2008)
- TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
- TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (2007)
- TR-776-07 - Fault-tolerant Typed Assembly Language (2007)
- TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006)
- TR-761-06 - PADS/ML: A Functional Data Description Language (2006)
- TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005)
- TR-736-05 - PADS/T: A Language for Describing and Transforming Ad Hoc Data (2005)
- TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
- TR-720-05 - Enforcing Non-safety Security Policies with Program Monitors (2005)
- TR-717-05 - Analyzing Polymorphic Advice (2005)
- TR-699-04 - A Language and System for Composing Security Policies (2004)
- TR-696-04 - Protection from Bad Advice (2004)
- TR-695-04 - Dynamic Typing with Dependent Types (2004)
- TR-681-03 - Edit Automata: Enforcement Mechanisms for Run-time Security Policies (2003)
- TR-671-03 - Modal Proofs As Distributed Programs (2003)
- TR-656-02 - An Effective Theory of Type Refinements (2002)
- TR-655-02 - A Calculus for Composing Security Policies (2002)
- TR-649-02 - More Enforceable Security Policies (2002)
