Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
24 matches found for Walker, David:
- Walker, David
- More Enforceable Security Policies, TR-649-02, June 2002
- A Calculus for Composing Security Policies, TR-655-02, August 2002
- An Effective Theory of Type Refinements, TR-656-02, December 2002
- Modal Proofs As Distributed Programs, TR-671-03, August 2003
- Edit Automata: Enforcement Mechanisms for Run-time Security Policies, TR-681-03, May 2003
- Dynamic Typing with Dependent Types, TR-695-04, April 2004
- Protection from Bad Advice, TR-696-04, April 2004
- A Language and System for Composing Security Policies, TR-699-04, April 2004
- Analyzing Polymorphic Advice, TR-717-05, January 2005
- Enforcing Non-safety Security Policies with Program Monitors, TR-720-05, January 2005
- Certifying Compilation for a Language with Stack Allocation, TR-724-05, March, 2005
- PADS/T: A Language for Describing and Transforming Ad Hoc Data, TR-736-05, September 2005
- A Foundation for Automated Reasoning About Pointer Programs, TR-738-05, October 2005
- PADS/ML: A Functional Data Description Language , TR-761-06, July 2006
- Linear Logic, Heap-shape Patterns and Imperative Programming , TR-762-06, July 2006
- Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
- Reasoning about Control Flow in the Presence of Transient Faults, TR-799-07, October 2007
- Language Support for Processing Ad Hoc Data, TR-826-08, July 2008
- Ad Hoc Data and the Token Ambiguity Problem, TR-834-08, September 2008
- A Context-free Markup Language for Semi-structured Text, TR-870-09, December 2009
- Concurrent Separation Logic for Pipelined Parallelization, TR-876-10, June 2010
- Linear Maps, TR-884-10, September 2010
- Forest: A Language and Toolkit For Programming with Filestores, TR-889-10, December 2010
- Forest 1.0: A Language and Toolkit for Programming with Filestores, TR-904-11, June 2011
