Norman Ramsey

According to our database, Norman Ramsey authored at least 44 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl).

Norman Ramsey

Proc. ACM Program. Lang., 2022

2017

Exact Bayesian inference by symbolic disintegration.

Chung-chieh Shan, Norman Ramsey

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

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

2014

On teaching *how to design programs*: observations from a newcomer.

Norman Ramsey

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Engineering definitional interpreters.

Jan Midtgaard, Norman Ramsey, Bradford Larsen

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Experience report: Haskell in computational biology.

Noah M. Daniels, Andrew Gallant, Norman Ramsey

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Embedding an interpreted language using higher-order functions and types.

Norman Ramsey

J. Funct. Program., 2011

Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code.

Norman Ramsey, João Dias

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Automatically generating instruction selectors using declarative machine descriptions.

João Dias, Norman Ramsey

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Hoopl: a modular, reusable library for dataflow analysis and transformation.

Norman Ramsey, João Dias, Simon L. Peyton Jones

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2006

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions.

Reuben Olinsky, Christian Lindig, Norman Ramsey

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.

João Dias, Norman Ramsey

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

An Applicative Control-Flow Graph Based on Huet's Zipper.

Norman Ramsey, João Dias

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter.

Norman Ramsey

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.

Norman Ramsey

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

An expressive language of signatures.

Norman Ramsey, Kathleen Fisher, Paul Govereau

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Source-Level Debugging for Multiple Languages with Modest Programming Effort.

Sukyoung Ryu, Norman Ramsey

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

A generalized algorithm for graph-coloring register allocation.

Michael D. Smith, Norman Ramsey, Glenn H. Holloway

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

The C - compiler infrastructure.

Norman Ramsey, Simon L. Peyton Jones

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Widening Integer Arithmetic.

Kevin Redwine, Norman Ramsey

Proceedings of the Compiler Construction, 13th International Conference, 2004

Declarative Composition of Stack Frames.

Christian Lindig, Norman Ramsey

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

A transformational approach to binary translation of delayed branches.

Norman Ramsey, Cristina Cifuentes

ACM Trans. Program. Lang. Syst., 2003

Pragmatic aspects of reusable program generators.

Norman Ramsey

J. Funct. Program., 2003

2002

LATEX Support for Proceedings.

Norman Ramsey

ACM SIGPLAN Notices, 2002

Stochastic lambda calculus and monads of probability distributions.

Norman Ramsey, Avi Pfeffer

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001

An algebraic approach to file synchronization.

Norman Ramsey, Elöd Csirmaz

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000

The 1999 ICFP Programming Contest.

Norman Ramsey, Kevin Scott

ACM SIGPLAN Notices, 2000

A single intermediate language that supports multiple implementations of exceptions.

Norman Ramsey, Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions.

Norman Ramsey

Comput. J., 1999

The Design of a Resourceable and Retargetable Binary Translator.

Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey

Proceedings of the Sixth Working Conference on Reverse Engineering, 1999

C--: A Portable Assembly Language that Supports Garbage Collection.

Simon L. Peyton Jones, Norman Ramsey, Fermin Reig

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

Unparsing Expressions with Prefix and Postfix Operators.

Norman Ramsey

Softw. Pract. Exp., 1998

Machine Descriptions to Build Tools for Embedded Systems.

Norman Ramsey, Jack W. Davidson

Proceedings of the Languages, 1998

1997

Specifying Representations of Machine Instructions.

Norman Ramsey, Mary F. Fernandez

ACM Trans. Program. Lang. Syst., 1997

Automatic Checking of Instruction Specifications.

Mary F. Fernandez, Norman Ramsey

Proceedings of the Pulling Together, 1997

1996

A Simple Solver for Linear Equations Containing Nonlinear Operators.

Norman Ramsey

Softw. Pract. Exp., 1996

Relocating Machine Instructions by Currying.

Norman Ramsey

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

The New Jersey Machine-Code Toolkit.

Norman Ramsey, Mary F. Fernandez

Proceedings of the USENIX 1995 Technical Conference on UNIX and Advanced Computing Systems, 1995

1994

Literate Programming Simplified.

Norman Ramsey

IEEE Softw., 1994

Correctness of Trap-Based Breakpoint Implementations.

Norman Ramsey

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1992

A Retargetable Debugger.

Norman Ramsey, David R. Hanson

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Literate Programming on a Team Project.

Norman Ramsey, Carla Marceau

Softw. Pract. Exp., 1991

1989

Waving A Language-Independent WEB.

Christopher J. Van Wyk, Norman Ramsey

Commun. ACM, 1989

Developing formally verified Ada programs.

Norman Ramsey

Proceedings of the 5th International Workshop on Software Specification and Design, 1989