- Functional Programming Editor: Philip Wadler, Bell Laboratories, Lucent Technologies; wadler@research.bell-labs.com
- Local Actions for a Curry-style Operational Semantics Gordon Stewart Andrew W. Appel
- A Standard ML Compiler Andrew W. Appel *
- How to Edit a Journal by E-mail Andrew W. Appel
- HOOTS'00 to appear E#cient Substitution in Hoare Logic
- MulVAL: A Logic-based Network Security Analyzer Xinming Ou Sudhakar Govindavajhala Andrew W. Appel
- A Semantic Model of Types and Machine Instructions for ProofCarrying Code
- ContinuationPassing, ClosurePassing Style Andrew W. Appel*
- Policy-Enforced Linking of Untrusted Components (Extended Abstract)
- A Trustworthy Proof Checker Andrew W. Appel and Neophytos Michael
- Verified Software Toolchain Andrew W. Appel
- Formal Verification of Coalescing Graph-Coloring Register Allocation
- The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine
- Oracle Semantics for Concurrent Separation Logic Aquinas Hobor1
- Separation Logic for Small-step Cminor Andrew W. Appel1,
- Effective audit policy for voter-verified paper ballots Andrew W. Appel
- Ceci n'est pas une urne: On the Internet vote for the Assemblee des Francais de l'etranger
- Safe Java Native Interface Andrew W. Appel
- Windows Access Control Demystified Sudhakar Govindavajhala and Andrew W. Appel
- Foundational Proof Checkers with Small Witnesses Dinghao Wu Andrew W. Appel Aaron Stump
- A Provably Sound TAL for Back-end Optimization Juan Chen Dinghao Wu
- An Indexed Model of Impredicative Polymorphism and Mutable References Amal Ahmed Andrew W. Appel Roberto Virga
- Deobfuscation is in NP Andrew W. Appel
- Typed Machine Language and its Semantics Kedar N. Swadi
- Foundational Proof-Carrying Code Andrew W. Appel
- A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
- Loop Headers in -calculus or CPS Andrew W. Appel
- Re-opening Closures Andrew W. Appel
- A Compositional Logic for Control Flow and Andrew W. Appel2
- Intensional Equality ;=) for Continuations Andrew W. Appel
- A Very Modal Model of a Modern, Major, General Type System
- Virtual Memory Primitives for User Programs Andrew W. Appel and Kai Li
- Simple Generational Garbage Collection and Fast Allocation Andrew W. Appel
- Garbage Collection Can Be Faster Than Stack Allocation Andrew W. Appel
- Vectorized Garbage Collection Andrew W. Appel*
- Oracle Semantics for Concurrent Separation Logic (Extended Version)
- SemanticsDirected Code Generation Andrew W. Appel
- A Fresh Look at Separation Algebras and Share Accounting
- Standard ML of New Jersey Andrew W. Appel #
- LambdaSplitting: A HigherOrder Approach to CrossModule Optimizations Matthias Blume Andrew W. Appel
- Type-Preserving Garbage Collectors Daniel C. Wang Andrew W. Appel
- Multimodal Separation Logic for Reasoning About Operational Semantics
- Realtime Concurrent Collection on Stock Multiprocessors
- Is POPL Mathematics or Science? Report of the Program Chair at the Nineteenth POPL
- Profiling in the Presence of Optimization and Garbage Collection Andrew W. Appel*
- Security seals on voting machines: a case study ANDREW W. APPEL, Princeton University
- Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala Andrew W. Appel
- A Logical Mix of Approximation and Separation Aquinas Hobor1
- Cache Performance of FastAllocating Programs Marcelo J. R. Goncalves and Andrew W. Appel
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Concise specifications of locally optimal code generators Andrew W. Appel
- Effective audit policy for voter-verified paper ballots in New Jersey Andrew W. Appel
- Mechanisms for Secure Modular Programming in Java Lujo Bauer Andrew W. Appel Edward W. Felten
- Unrolling Lists3 Zhong Shaoy
- A Theory of Indirection via Approximation Aquinas Hobor
- Journal of Automated Reasoning manuscript No. (will be inserted by the editor)
- A Kind System for Typed Machine Language Andrew W. Appel Christopher D. Richards
- Foundational High-level Static Analysis Andrew W. Appel
- Lightweight Lemmas in lProlog Andrew W. Appel
- Andrew W. Appel 3 Department of Computer Science
- To appear in IEEE Symposium on Information Visualization (InfoVis '98), October 1998. Traversalbased Visualization of Data Structures #
- Andrew W. Appel 3 Princeton University
- J. Functional Programming 1 (1): 1--000, January 1993 c # 1993 Cambridge University Press 1
- Construction of a Semantic Model for a Typed Assembly Language
- Tactics for Separation Logic early draft
- Proof-Carrying Authentication Andrew W. Appel and Edward W. Felten
- HOOTS'00 to appear Efficient Substitution in Hoare Logic
- Semantic Foundations for Typed Assembly Languages
- Generalizations of the SethiUllman algorithm for register allocation Andrew W. Appel
- Concurrent Separation Logic for Pipelined Parallelization
- Efficient Verified Red-Black Trees ANDREW W. APPEL
