BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × France
1 × Sweden
1 × United Kingdom
11 × USA
2 × Austria
3 × Canada
3 × Spain
Collaborated with:
J.Dias S.L.P.Jones C.Lindig S.Ryu K.Redwine A.Pfeffer E.Csirmaz J.W.Davidson M.F.Fernández D.R.Hanson C.Shan J.Midtgaard B.Larsen N.M.Daniels A.Gallant R.Olinsky K.Fisher P.Govereau M.D.Smith G.H.Holloway F.Reig C.Cifuentes M.V.Emmerik
Talks about:
machin (6) instruct (4) descript (4) languag (4) declar (4) intermedi (3) implement (3) retarget (3) program (3) code (3)

Person: Norman Ramsey

DBLP DBLP: Ramsey:Norman

Facilitated 1 volumes:

ICFP 2007Ed

Contributed to:

ICFP 20142014
PPDP 20132013
ICFP 20122012
POPL 20112011
POPL 20102010
CC 20062006
POPL 20062006
CC 20052005
ICFP 20052005
PADL 20052005
CC 20042004
ICFP 20042004
PLDI 20042004
POPL 20022002
ESEC/FSE 20012001
PLDI 20002000
SAIG 20002000
PPDP 19991999
WCRE 19991999
LCTES 19981998
ICSE 19971997
PLDI 19961996
POPL 19941994
PLDI 19921992
Haskell 20102010
POPL 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.