Reports for Author "Appel, Andrew W."
- TR-876-10 - Concurrent Separation Logic for Pipelined Parallelization (2010)
- TR-825-08 - Oracle Semantics for Concurrent Separation Logic (Extended Version) (2008)
- TR-773-07 - Automatic Configuration Vulnerability Analysis (2007)
- TR-744-06 - Windows Access Control Demystified (2006)
- TR-718-04 - Policy-based Multihost Multistage Vulnerability Analysis (2004)
- TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (2004)
- TR-714-04 - Network Security Management with High-level Security Policies (2004)
- TR-663-02 - Secure Linking: a Framework for Trusted Software Components (Extended Version) (2002)
- TR-662-02 - Secure Linking: a Framework for Trusted Software Components (2002)
- TR-648-02 - A Trustworthy Proof Checker (2002)
- TR-647-02 - JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines (2002)
- TR-636-01 - Models for Security Policies in Proof-Carrying Code (2001)
- TR-635-01 - Dictionary Passing for Polytypic Polymorphism (2001)
- TR-630-00 - Optimal Spilling for CISC Machines with Few Registers (2000)
- TR-629-00 - An Indexed Model of Recursive Types for Foundational Proof-Carrying Code (2000)
- TR-624-00 - Type-Preserving Garbage Collectors (Extended Version) (2000)
- TR-619-00 - Machine Instruction Syntax and Semantics in Higher Order Logic (2000)
- TR-617-00 - Technological Access Control Interferes with Noninfringing Scholarship (2000)
- TR-609-99 - Safe Garbage Collection = Regions + Intensional Type Analysis (1999)
- TR-607-99 - Lightweight Lemmas in Lambda Prolog (Extended Version) (1999)
- TR-603-99 - Mechanisms for Secure Modular Programming in Java (1999)
- TR-558-96 - Security and Document Compatability for Electronic Refereeing (1996)
- TR-557-95 - Intensional Equality ;=) for Continuations (1995)
- TR-556-97 - Shrinking Lambda Expressions in Linear Time (1997)
- TR-555-97 - Hierarchical Modularity: Compilation Management for Standard ML (1997)
- TR-554-97 - The Zephyr Abstract Syntax Description Language (1997)
- TR-537-96 - Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations (1996)
- TR-498-95 - Iterated Register Coalescing (1995)
- TR-494-95 - How to Edit a Journal by E-mail (1995)
- TR-487-95 - A Type-Based Compiler for Standard ML (1995)
- TR-482-94 - Cache Performance of Fast-Allocating Programs (1994)
- TR-477-94 - Making Lambda Calculus Smaller, Faster (1994)
- TR-460-94 - Loop Headers in Lambda-Calculus or CPS (1994)
- TR-459-94 - Emulating Write-Allocate on a No-Write-Allocate Cache (1994)
- TR-454-94 - Space-Efficient Closure Representations (1994)
- TR-453-94 - Unrolling Lists (1994)
- TR-452-94 - Separate Compilation for Standard ML (1994)
- TR-451-94 - Axiomatic Bootstrapping: A Guide for Compiler Hackers (1994)
- TR-450-94 - An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures (1994)
- TR-412-93 - Hash-Consing Garbage Collection (1993)
- TR-395-92 - Smartest Recompilation (1992)
- TR-364-92 - A Critique of Standard ML (1992)
- TR-363-92 - Unrolling Recursions Saves Space (1992)
- TR-352-91 - Debuggable Concurrency Extensions for Standard ML (1991)
- TR-329-91 - Standard ML of New Jersey (1991)
- TR-326-91 - Callee-save Registers in Continuation-Passing Style (1991)
- TR-276-90 - Virtual Memory Primitives for User Programs (1990)
- TR-253-90 - Debugging Standard ML Without Reverse Engineering (1990)
- TR-245-90 - An Advisor for Flexible Working Sets (1990)
- TR-220-89 - A Runtime System (1989)
- TR-197-88 - Profiling in the Presence of Optimization and Garbage Collection (1988)
- TR-183-88 - Continuation-Passing, Closure-Passing Style (1988)
- TR-182-88 - Allocation Without Locking (1988)
- TR-169-88 - Vectorized Garbage Collection (1988)
- TR-168-88 - Optimizing Closure Environment Representation (1988)
- TR-162-88 - Copying Garbage Collection in the Presence of Ambiguous References (1988)
- TR-143-88 - Simple Generational Garbage Collection and Fast Allocation (1988)
- TR-142-88 - Runtime Tags Aren't Necessary (1988)
- TR-133-88 - Real-time Concurrent Collection on Stock Multiprocessors (1988)
- TR-097-87 - A Standard ML Compiler (1987)
- TR-093-87 - Simulating Digital Circuits with One Bit Per Wire (1987)
- TR-080-87 - Concise Specifications of Locally Optimal Code Generators (1987)
- TR-079-87 - Re-opening Closures (1987)
- TR-045-86 - Garbage Collection Can Be Faster Than Stack Allocation (1986)
