Debugging Standard ML Without Reverse Engineering. - Andrew P. Tolmach; Andrew W. Appel (LISP and Functional Programming, 1990)

Debuggable Concurrency Extensions for Standard ML. - Andrew P. Tolmach; Andrew W. Appel (Workshop on Parallel and Distributed Debugging, 1991)

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. - J. Gregory Morrisett; Andrew P. Tolmach (PPoPP, 1993)

Tag-Free Garbage Collection Using Explicit Type Parameters. - Andrew P. Tolmach (LISP and Functional Programming, 1994)

A Debugger for Standard ML. - Andrew P. Tolmach; Andrew W. Appel (J. Funct. Program., 1995)

Building Program Optimizers with Rewriting Strategies. - Eelco Visser; Zine-El-Abidine Benaissa; Andrew P. Tolmach (ICFP, 1998)

Bridging the Gulf: A Common Intermediate Language for ML and Haskell. - Simon L. Peyton Jones; Mark Shields; John Launchbury; Andrew P. Tolmach (POPL, 1998)

Optimizing ML Using a Hierarchy of Monadic Types. - Andrew P. Tolmach (Types in Compilation, 1998)

From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. - Andrew P. Tolmach; Dino Oliva (J. Funct. Program., 1998)

Typed Higher-Order Narrowing without Higher-Order Strategies. - Sergio Antoy; Andrew P. Tolmach (Fuji International Symposium on Functional and Logic Programming, 1999)

Modular lazy search for Constraint Satisfaction Problems. - Thomas Nordin; Andrew P. Tolmach (J. Funct. Program., 2001)

A monadic semantics for core Curry. - Andrew P. Tolmach; Sergio Antoy (WFLP, 2003)

Implementing functional logic languages using multiple threads and stores. - Andrew P. Tolmach; Sergio Antoy; Marius Nita (ICFP, 2004)

A Virtual Machine for Functional Logic Computations. - Sergio Antoy; Michael Hanus; Jimeng Liu; Andrew P. Tolmach (IFL, 2004)

A principled approach to operating system construction in Haskell. - Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew P. Tolmach (ICFP, 2005)

Lightweight concurrency primitives for GHC. - Peng Li; Simon Marlow; Simon L. Peyton Jones; Andrew P. Tolmach (Haskell, 2007)

Writing systems software in a functional language: an experience report. - Iavor S. Diatchki; Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew Tolmach (PLOS@SOSP, 2007)

A certified framework for compiling and executing garbage-collected languages. - Andrew McCreight; Tim Chevalier; Andrew P. Tolmach (ICFP, 2010)

Special Issue Dedicated to ICFP 2009 Editorial. - Andrew P. Tolmach; Xavier Leroy (J. Funct. Program., 2011)

Suppl: A Flexible Language for Policies. - Robert Dockins; Andrew Tolmach (APLAS, 2014)

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. - Eelco Visser; Guido Wachsmuth; Andrew P. Tolmach; Pierre Neron; Vlad A. Vergu; Augusto Passalaqua; Gabriël Konat (Onward!, 2014)

A Theory of Name Resolution. - Pierre Neron; Andrew P. Tolmach; Eelco Visser; Guido Wachsmuth (ESOP, 2015)

Micro-Policies: Formally Verified, Tag-Based Security Monitors. - Arthur Azevedo de Amorim; Maxime Dénès; Nick Giannarakis; Catalin Hritcu; Benjamin C. Pierce; Antal Spector-Zabusky; Andrew Tolmach (IEEE Symposium on Security and Privacy, 2015)

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. - Yannis Juglaret; Catalin Hritcu; Arthur Azevedo de Amorim; Benjamin C. Pierce; Antal Spector-Zabusky; Andrew Tolmach (CoRR, 2015)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (ECOOP, 2016)

A constraint language for static semantic analysis based on scope graphs. - Hendrik van Antwerpen; Pierre Neron; Andrew P. Tolmach; Eelco Visser; Guido Wachsmuth (PEPM, 2016)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (Dagstuhl Artifacts Ser., 2016)

A verified information-flow architecture. - Arthur Azevedo de Amorim; Nathan Collins; André DeHon; Delphine Demange; Catalin Hritcu; David Pichardie; Benjamin C. Pierce; Randy Pollack; Andrew Tolmach (J. Comput. Secur., 2016)

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). - Guglielmo Fachini; Catalin Hritcu; Marco Stronati; Ana Nora Evans; Théo Laurent; Arthur Azevedo de Amorim; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2017)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. - Carmine Abate; Arthur Azevedo de Amorim; Roberto Blanco; Ana Nora Evans; Guglielmo Fachini; Catalin Hritcu; Théo Laurent; Benjamin C. Pierce; Marco Stronati; Andrew Tolmach (CCS, 2018)

Intrinsically-typed definitional interpreters for imperative languages. - Casper Bach Poulsen; Arjen Rouvoet; Andrew Tolmach; Robbert Krebbers; Eelco Visser (Proc. ACM Program. Lang., 2018)

Scopes and Frames Improve Meta-Interpreter Specialization. - Vlad A. Vergu; Andrew Tolmach; Eelco Visser (ECOOP, 2019)

Towards formally verified compilation of tag-based policy enforcement. - Chris Chhak; Andrew Tolmach; Sean Noble Anderson (CPP, 2021)

Security Properties for Stack Safety. - Sean Noble Anderson; Leonidas Lampropoulos; Roberto Blanco; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2021)

Eelco Visser: The Oregon Connection. - Andrew Tolmach (Eelco Visser Commemorative Symposium, 2023)

Formalizing Stack Safety as a Security Property. - Sean Noble Anderson; Roberto Blanco; Leonidas Lampropoulos; Benjamin C. Pierce; Andrew Tolmach (CSF, 2023)

Flexible Runtime Security Enforcement with Tagged C. - Sean Noble Anderson; Allison Naaktgeboren; Andrew Tolmach (RV, 2023)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs. - Jérémy Thibault; Roberto Blanco; Dongjae Lee; Sven Argo; Arthur Azevedo de Amorim; Aïna Linn Georges; Catalin Hritcu; Andrew Tolmach (CCS, 2024)

Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model. - Andrew Tolmach; Chris Chhak; Sean Noble Anderson (ITP, 2024)

Pipe-Cleaner: Flexible Fuzzing Using Security Policies. - Allison Naaktgeboren; Sean Noble Anderson; Andrew Tolmach; Greg Sullivan (CoRR, 2024)