Developing formally verified Ada programs. - Norman Ramsey (IWSSD, 1989)

Waving A Language-Independent WEB. - Christopher J. Van Wyk; Norman Ramsey (Commun. ACM, 1989)

Literate Programming on a Team Project. - Norman Ramsey; Carla Marceau (Softw. Pract. Exp., 1991)

A Retargetable Debugger. - Norman Ramsey; David R. Hanson (PLDI, 1992)

Correctness of Trap-Based Breakpoint Implementations. - Norman Ramsey (POPL, 1994)

Literate Programming Simplified. - Norman Ramsey (IEEE Softw., 1994)

The New Jersey Machine-Code Toolkit. - Norman Ramsey; Mary F. Fernandez (USENIX, 1995)

Relocating Machine Instructions by Currying. - Norman Ramsey (PLDI, 1996)

A Simple Solver for Linear Equations Containing Nonlinear Operators. - Norman Ramsey (Softw. Pract. Exp., 1996)

Automatic Checking of Instruction Specifications. - Mary F. Fernandez; Norman Ramsey (ICSE, 1997)

Specifying Representations of Machine Instructions. - Norman Ramsey; Mary F. Fernandez (ACM Trans. Program. Lang. Syst., 1997)

Machine Descriptions to Build Tools for Embedded Systems. - Norman Ramsey; Jack W. Davidson (LCTES, 1998)

Unparsing Expressions with Prefix and Postfix Operators. - Norman Ramsey (Softw. Pract. Exp., 1998)

C–: A Portable Assembly Language that Supports Garbage Collection. - Simon L. Peyton Jones; Norman Ramsey; Fermin Reig (PPDP, 1999)

The Design of a Resourceable and Retargetable Binary Translator. - Cristina Cifuentes; Mike Van Emmerik; Norman Ramsey (WCRE, 1999)

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. - Norman Ramsey (Comput. J., 1999)

A single intermediate language that supports multiple implementations of exceptions. - Norman Ramsey; Simon L. Peyton Jones (PLDI, 2000)

The 1999 ICFP Programming Contest. - Norman Ramsey; Kevin Scott (ACM SIGPLAN Notices, 2000)

An algebraic approach to file synchronization. - Norman Ramsey; Elöd Csirmaz (ESEC / SIGSOFT FSE, 2001)

Stochastic lambda calculus and monads of probability distributions. - Norman Ramsey; Avi Pfeffer (POPL, 2002)

LATEX Support for Proceedings. - Norman Ramsey (ACM SIGPLAN Notices, 2002)

Pragmatic aspects of reusable program generators. - Norman Ramsey (J. Funct. Program., 2003)

A transformational approach to binary translation of delayed branches. - Norman Ramsey; Cristina Cifuentes (ACM Trans. Program. Lang. Syst., 2003)

Declarative Composition of Stack Frames. - Christian Lindig; Norman Ramsey (CC, 2004)

Widening Integer Arithmetic. - Kevin Redwine; Norman Ramsey (CC, 2004)

The C - compiler infrastructure. - Norman Ramsey; Simon L. Peyton Jones (ICFP, 2004)

A generalized algorithm for graph-coloring register allocation. - Michael D. Smith 001; Norman Ramsey; Glenn H. Holloway (PLDI, 2004)

Source-Level Debugging for Multiple Languages with Modest Programming Effort. - Sukyoung Ryu; Norman Ramsey (CC, 2005)

An expressive language of signatures. - Norman Ramsey; Kathleen Fisher; Paul Govereau (ICFP, 2005)

Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. - Norman Ramsey (PADL, 2005)

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. - Norman Ramsey (ML, 2005)

An Applicative Control-Flow Graph Based on Huet's Zipper. - Norman Ramsey; João Dias 005 (ML, 2005)

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. - João Dias 005; Norman Ramsey (CC, 2006)

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. - Reuben Olinsky; Christian Lindig; Norman Ramsey (POPL, 2006)

Hoopl: a modular, reusable library for dataflow analysis and transformation. - Norman Ramsey; João Dias 005; Simon L. Peyton Jones (Haskell, 2010)

Automatically generating instruction selectors using declarative machine descriptions. - João Dias 005; Norman Ramsey (POPL, 2010)

Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. - Norman Ramsey; João Dias 005 (POPL, 2011)

Embedding an interpreted language using higher-order functions and types. - Norman Ramsey (J. Funct. Program., 2011)

Experience report: Haskell in computational biology. - Noah M. Daniels; Andrew Gallant; Norman Ramsey (ICFP, 2012)

Engineering definitional interpreters. - Jan Midtgaard; Norman Ramsey; Bradford Larsen (PPDP, 2013)

On teaching *how to design programs*: observations from a newcomer. - Norman Ramsey (ICFP, 2014)

MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search. - Noah M. Daniels; Andrew Gallant; Norman Ramsey; Lenore J. Cowen (IEEE ACM Trans. Comput. Biol. Bioinform., 2015)

Exact Bayesian inference by symbolic disintegration. - Chung-chieh Shan; Norman Ramsey (POPL, 2017)

Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl). - Norman Ramsey (Proc. ACM Program. Lang., 2022)