Person: Norman Ramsey

DBLP: Ramsey:Norman

Facilitated 1 volumes:

Ed

Contributed to:

2014

2013

2012

2011

2010

2006

2006

2005

2005

2005

2004

2004

2004

2002

2001

2000

2000

1999

1999

1998

1997

1996

1994

1992

2010

2017

Wrote 27 papers:

ICFP-2014-Ramsey #design #education #on the

On teaching *how to design programs*: observations from a newcomer (NR), pp. 153–166.

PPDP-2013-MidtgaardRL

Engineering definitional interpreters (JM, NR, BL), pp. 121–132.

ICFP-2012-DanielsGR #biology #case study #experience #haskell

Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.

POPL-2011-RamseyD #composition #dependent type #independence #low level #type system #using

Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.

POPL-2010-DiasR #automation #declarative #generative #using

Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.

CC-2006-DiasR #assembly #declarative #using

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.

POPL-2006-OlinskyLR #composition #implementation #specification #staged

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.

CC-2005-RyuR #debugging #multi #programming

Source-Level Debugging for Multiple Languages with Modest Programming Effort (SR, NR), pp. 10–26.

ICFP-2005-RamseyFG

An expressive language of signatures (NR, KF, PG), pp. 27–40.

PADL-2005-Ramsey #compilation #declarative

Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.

CC-2004-LindigR #composition #declarative #stack

Declarative Composition of Stack Frames (CL, NR), pp. 298–312.

CC-2004-RedwineR #integer

Widening Integer Arithmetic (KR, NR), pp. 232–249.

ICFP-2004-RamseyJ #c #compilation #framework

The C — compiler infrastructure (NR, SLPJ), p. 1.

PLDI-2004-SmithRH #algorithm #graph

A generalized algorithm for graph-coloring register allocation (MDS, NR, GHH), pp. 277–288.

POPL-2002-RamseyP #monad #probability #λ-calculus

Stochastic λ calculus and monads of probability distributions (NR, AP), pp. 154–165.

ESEC-FSE-2001-RamseyC #algebra #approach

An algebraic approach to file synchronization (NR, EC), pp. 175–185.

PLDI-2000-RamseyJ #exception #implementation #multi

A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.

SAIG-2000-Ramsey #aspect-oriented #generative #reuse

Pragmatic Aspects of Reusable Program Generators (NR), pp. 149–171.

PPDP-1999-JonesRR #assembly #garbage collection #named

C--: A Portable Assembly Language that Supports Garbage Collection (SLPJ, NR, FR), pp. 1–28.

WCRE-1999-CifuentesER #design

The Design of a Resourceable and Retargetable Binary Translator (CC, MVE, NR), pp. 280–291.

LCTES-1998-RamseyD #embedded #tool support

Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.

ICSE-1997-FernandezR #automation #specification

Automatic Checking of Instruction Specifications (MFF, NR), pp. 326–336.

PLDI-1996-Ramsey #bytecode

Relocating Machine Instructions by Currying (NR), pp. 226–236.

POPL-1994-Ramsey #correctness #implementation

Correctness of Trap-Based Breakpoint Implementations (NR), pp. 15–24.

PLDI-1992-RamseyH #debugging

A Retargetable Debugger (NR, DRH), pp. 22–31.

Haskell-2010-RamseyDJ #analysis #composition #data flow #library #named #reuse

Hoopl: a modular, reusable library for dataflow analysis and transformation (NR, JD, SLPJ), pp. 121–134.

POPL-2017-ShanR

Exact Bayesian inference by symbolic disintegration (CcS, NR), pp. 130–144.