Norman Ramsey

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 2

Top Topics

Remote Homology Detection

Bayesian Inference

Protein Function

Top Venues

Proc. ACM Program. Lang.

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

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