| 2017 | POPL | Exact Bayesian inference by symbolic disintegration. | Chung-chieh Shan, Norman Ramsey |
| 2014 | ICFP | On teaching *how to design programs*: observations from a newcomer. | Norman Ramsey |
| 2013 | PPDP | Engineering definitional interpreters. | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
| 2012 | ICFP | Experience report: Haskell in computational biology. | Noah M. Daniels, Andrew Gallant, Norman Ramsey |
| 2011 | POPL | Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. | Norman Ramsey, Joo Dias |
| 2010 | HASKELL | Hoopl: a modular, reusable library for dataflow analysis and transformation. | Norman Ramsey, Joo Dias, Simon L. Peyton Jones |
| 2010 | POPL | Automatically generating instruction selectors using declarative machine descriptions. | Joo Dias, Norman Ramsey |
| 2006 | CC | Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. | Joo Dias, Norman Ramsey |
| 2006 | POPL | Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. | Reuben Olinsky, Christian Lindig, Norman Ramsey |
| 2005 | CC | Source-Level Debugging for Multiple Languages with Modest Programming Effort. | Sukyoung Ryu, Norman Ramsey |
| 2005 | ICFP | An expressive language of signatures. | Norman Ramsey, Kathleen Fisher, Paul Govereau |
| 2005 | PADL | Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. | Norman Ramsey |
| 2004 | CC | Declarative Composition of Stack Frames. | Christian Lindig, Norman Ramsey |
| 2004 | CC | Widening Integer Arithmetic. | Kevin Redwine, Norman Ramsey |
| 2004 | ICFP | The C - compiler infrastructure. | Norman Ramsey, Simon L. Peyton Jones |
| 2004 | PLDI | A generalized algorithm for graph-coloring register allocation. | Michael D. Smith, Norman Ramsey, Glenn H. Holloway |
| 2002 | POPL | Stochastic lambda calculus and monads of probability distributions. | Norman Ramsey, Avi Pfeffer |
| 2000 | PLDI | A single intermediate language that supports multiple implementations of exceptions. | Norman Ramsey, Simon L. Peyton Jones |
| 1999 | PPDP | C--: A Portable Assembly Language that Supports Garbage Collection. | Simon L. Peyton Jones, Norman Ramsey, Fermin Reig |
| 1997 | ICSE | Automatic Checking of Instruction Specifications. | Mary F. Fernandez, Norman Ramsey |
| 1996 | PLDI | Relocating Machine Instructions by Currying. | Norman Ramsey |
| 1995 | USENIX | The New Jersey Machine-Code Toolkit. | Norman Ramsey, Mary F. Fernandez |
| 1994 | POPL | Correctness of Trap-Based Breakpoint Implementations. | Norman Ramsey |
| 1992 | PLDI | A Retargetable Debugger. | Norman Ramsey, David R. Hanson |