Reports for Author "Appel, Andrew W."

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