| 2015 | HASKELL | Guilt free ivory. | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 2014 | ESOP | Application-Scale Secure Multiparty Computation. | John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens |
| 2014 | ICFP | Building embedded systems with embedded DSLs. | Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
| 2012 | ICFP | Efficient lookup-table protocol in secure multiparty computation. | John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran |
| 2011 | GPCE | Theorem-based circuit derivation in cryptol. | John Launchbury |
| 2010 | HASKELL | Concurrent orchestration in Haskell. | John Launchbury, Trevor Elliott |
| 2008 | PADL | Industrial Functional Programming. | John Launchbury |
| 2004 | ICFP | Galois: high assurance software. | John Launchbury |
| 2003 | ICSE | Modularity in the New Millenium: A Panel Summary. | Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr |
| 2002 | HASKELL | A recursive do for Haskell. | Levent Erkk, John Launchbury |
| 2001 | FOSSACS | Categories of Processes Enriched in Final Coalgebras. | Sava Krstic, John Launchbury, Dusko Pavlovic |
| 2000 | ICFP | Recursive monadic bindings. | Levent Erkk, John Launchbury |
| 2000 | POPL | Implicit Parameters: Dynamic Scoping with Static Types. | Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields |
| 1999 | CAV | Elementary Microarchitecture Algebra. | John Matthews, John Launchbury |
| 1999 | ICFP | On Embedding a Microarchitectural Design Language within Haskell. | John Launchbury, Jeffrey R. Lewis, Byron Cook |
| 1998 | POPL | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1997 | ICFP | Disposable Memo Functions (Extended Abstract). | Byron Cook, John Launchbury |
| 1997 | ICFP | Monadic State: Axiomatization and Type Safety. | John Launchbury, Amr Sabry |
| 1996 | ESOP | Parametricity and Unboxing with Unpointed Types. | John Launchbury, Ross Paterson |
| 1995 | POPL | Structuring Depth-First Search Algorithms in Haskell. | David J. King, John Launchbury |
| 1994 | ICLP | Lazy Funtional State Threads: An Abstract. | John Launchbury, Simon L. Peyton Jones |
| 1994 | PLDI | Lazy Functional State Threads. | John Launchbury, Simon L. Peyton Jones |
| 1993 | POPL | A Natural Semantics for Lazy Evaluation. | John Launchbury |
| 1992 | ESOP | Reversing Abstract Interpretations. | John Hughes, John Launchbury |
| 1991 | PLDI | Strictness and Binding-Time Analyses: Two for the Price of One. | John Launchbury |