Norman Ramsey

48 papers A* 11A 6B 5C 4Journal 14Unranked 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl).
Proc. ACM Program. Lang.
Norman Ramsey
2017 A* conf
Exact Bayesian inference by symbolic disintegration.
POPL
Chung-chieh Shan, Norman Ramsey
2015 J jnl
MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search.
IEEE ACM Trans. Comput. Biol. Bioinform.
Noah M. Daniels, Andrew Gallant, Norman Ramsey, Lenore J. Cowen
2014 A conf
On teaching *how to design programs*: observations from a newcomer.
ICFP
Norman Ramsey
2013 C conf
Engineering definitional interpreters.
PPDP
Jan Midtgaard, Norman Ramsey, Bradford Larsen
2013 — conf
MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search.
BCB
Noah M. Daniels, Andrew Gallant, Norman Ramsey, Lenore J. Cowen
2012 A conf
Experience report: Haskell in computational biology.
ICFP
Noah M. Daniels, Andrew Gallant, Norman Ramsey
2011 J jnl
Embedding an interpreted language using higher-order functions and types.
J. Funct. Program.
Norman Ramsey
2011 A* conf
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code.
POPL
Norman Ramsey, João Dias
2010 A* conf
Automatically generating instruction selectors using declarative machine descriptions.
POPL
João Dias, Norman Ramsey
2010 C conf
Hoopl: a modular, reusable library for dataflow analysis and transformation.
Haskell
Norman Ramsey, João Dias, Simon L. Peyton Jones
2007 A ed.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007
ICFP
Ralf Hinze, Norman Ramsey
2006 B conf
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.
CC
João Dias, Norman Ramsey
2006 A* conf
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions.
POPL
Reuben Olinsky, Christian Lindig, Norman Ramsey
2005 — conf
An Applicative Control-Flow Graph Based on Huet's Zipper.
ML
Norman Ramsey, João Dias
2005 A conf
An expressive language of signatures.
ICFP
Norman Ramsey, Kathleen Fisher, Paul Govereau
2005 C conf
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.
PADL
Norman Ramsey
2005 — conf
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter.
ML
Norman Ramsey
2005 B conf
Source-Level Debugging for Multiple Languages with Modest Programming Effort.
CC
Sukyoung Ryu, Norman Ramsey
2004 A* conf
A generalized algorithm for graph-coloring register allocation.
PLDI
Michael D. Smith, Norman Ramsey, Glenn H. Holloway
2004 B conf
Declarative Composition of Stack Frames.
CC
Christian Lindig, Norman Ramsey
2004 A conf
The C - compiler infrastructure.
ICFP
Norman Ramsey, Simon L. Peyton Jones
2004 B conf
Widening Integer Arithmetic.
CC
Kevin Redwine, Norman Ramsey
2003 J jnl
A transformational approach to binary translation of delayed branches.
ACM Trans. Program. Lang. Syst.
Norman Ramsey, Cristina Cifuentes
2003 — conf
Embedding an interpreted language using higher-order functions and types.
IVME
Norman Ramsey
2003 J jnl
Pragmatic aspects of reusable program generators.
J. Funct. Program.
Norman Ramsey
2002 J jnl
LATEX Support for Proceedings.
ACM SIGPLAN Notices
Norman Ramsey
2002 A* conf
Stochastic lambda calculus and monads of probability distributions.
POPL
Norman Ramsey, Avi Pfeffer
2001 — conf
An algebraic approach to file synchronization.
ESEC / SIGSOFT FSE
Norman Ramsey, Elöd Csirmaz
2000 A* conf
A single intermediate language that supports multiple implementations of exceptions.
PLDI
Norman Ramsey, Simon L. Peyton Jones
2000 — conf
Pragmatic Aspects of Reusable Program Generators.
SAIG
Norman Ramsey
2000 J jnl
The 1999 ICFP Programming Contest.
ACM SIGPLAN Notices
Norman Ramsey, Kevin Scott
1999 C conf
C--: A Portable Assembly Language that Supports Garbage Collection.
PPDP
Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
1999 J jnl
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions.
Comput. J.
Norman Ramsey
1999 — conf
The Design of a Resourceable and Retargetable Binary Translator.
WCRE
Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey
1998 B conf
Machine Descriptions to Build Tools for Embedded Systems.
LCTES
Norman Ramsey, Jack W. Davidson
1998 J jnl
Unparsing Expressions with Prefix and Postfix Operators.
Softw. Pract. Exp.
Norman Ramsey
1997 A* conf
Automatic Checking of Instruction Specifications.
ICSE
Mary F. Fernandez, Norman Ramsey
1997 J jnl
Specifying Representations of Machine Instructions.
ACM Trans. Program. Lang. Syst.
Norman Ramsey, Mary F. Fernandez
1996 J jnl
A Simple Solver for Linear Equations Containing Nonlinear Operators.
Softw. Pract. Exp.
Norman Ramsey
1996 A* conf
Relocating Machine Instructions by Currying.
PLDI
Norman Ramsey
1995 A conf
The New Jersey Machine-Code Toolkit.
USENIX
Norman Ramsey, Mary F. Fernandez
1994 A* conf
Correctness of Trap-Based Breakpoint Implementations.
POPL
Norman Ramsey
1994 J jnl
Literate Programming Simplified.
IEEE Softw.
Norman Ramsey
1992 A* conf
A Retargetable Debugger.
PLDI
Norman Ramsey, David R. Hanson
1991 J jnl
Literate Programming on a Team Project.
Softw. Pract. Exp.
Norman Ramsey, Carla Marceau
1989 — conf
Developing formally verified Ada programs.
IWSSD
Norman Ramsey
1989 J jnl
Waving A Language-Independent WEB.
Commun. ACM
Christopher J. Van Wyk, Norman Ramsey