| 2016 | ECOOP | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. | Casper Bach Poulsen, Pierre Nron, Andrew P. Tolmach, Eelco Visser |
| 2016 | PEPM | A constraint language for static semantic analysis based on scope graphs. | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2015 | ESOP | A Theory of Name Resolution. | Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2014 | OOPSLA | 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, Gabril Konat |
| 2010 | ICFP | A certified framework for compiling and executing garbage-collected languages. | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
| 2007 | HASKELL | Lightweight concurrency primitives for GHC. | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
| 2005 | ICFP | A principled approach to operating system construction in Haskell. | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
| 2004 | ICFP | Implementing functional logic languages using multiple threads and stores. | Andrew P. Tolmach, Sergio Antoy, Marius Nita |
| 1999 | FLOPS | Typed Higher-Order Narrowing without Higher-Order Strategies. | Sergio Antoy, Andrew P. Tolmach |
| 1998 | ICFP | Building Program Optimizers with Rewriting Strategies. | Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach |
| 1998 | POPL | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1993 | PPoPP | Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. | J. Gregory Morrisett, Andrew P. Tolmach |