default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNorman Ramsey
Person information
- affiliation (since 2008): Tufts University, Medford, MA, USA
- affiliation (former): Harvard University, Cambridge, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j14]Norman Ramsey
:
Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl). Proc. ACM Program. Lang. 6(ICFP): 1-22 (2022)
2010 – 2019
- 2017
- [c33]Chung-chieh Shan, Norman Ramsey:
Exact Bayesian inference by symbolic disintegration. POPL 2017: 130-144 - 2015
- [j13]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): 4-16 (2015) - 2014
- [c32]Norman Ramsey:
On teaching *how to design programs*: observations from a newcomer. ICFP 2014: 153-166 - 2013
- [c31]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: 133 - [c30]Jan Midtgaard, Norman Ramsey, Bradford Larsen:
Engineering definitional interpreters. PPDP 2013: 121-132 - 2012
- [c29]Noah M. Daniels, Andrew Gallant, Norman Ramsey:
Experience report: Haskell in computational biology. ICFP 2012: 227-234 - 2011
- [j12]Norman Ramsey:
Embedding an interpreted language using higher-order functions and types. J. Funct. Program. 21(6): 585-615 (2011) - [c28]Norman Ramsey, João Dias:
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. POPL 2011: 575-586 - 2010
- [c27]Norman Ramsey, João Dias, Simon L. Peyton Jones:
Hoopl: a modular, reusable library for dataflow analysis and transformation. Haskell 2010: 121-134 - [c26]João Dias, Norman Ramsey:
Automatically generating instruction selectors using declarative machine descriptions. POPL 2010: 403-416
2000 – 2009
- 2007
- [e1]Ralf Hinze, Norman Ramsey:
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. ACM 2007, ISBN 978-1-59593-815-2 [contents] - 2006
- [c25]João Dias, Norman Ramsey:
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. CC 2006: 217-231 - [c24]Reuben Olinsky, Christian Lindig, Norman Ramsey:
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. POPL 2006: 409-421 - 2005
- [c23]Sukyoung Ryu, Norman Ramsey:
Source-Level Debugging for Multiple Languages with Modest Programming Effort. CC 2005: 10-26 - [c22]Norman Ramsey, Kathleen Fisher, Paul Govereau:
An expressive language of signatures. ICFP 2005: 27-40 - [c21]Norman Ramsey:
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. PADL 2005: 1-4 - [c20]Norman Ramsey, João Dias:
An Applicative Control-Flow Graph Based on Huet's Zipper. ML 2005: 105-126 - [c19]Norman Ramsey:
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. ML 2005: 181-209 - 2004
- [c18]Kevin Redwine, Norman Ramsey:
Widening Integer Arithmetic. CC 2004: 232-249 - [c17]Christian Lindig, Norman Ramsey:
Declarative Composition of Stack Frames. CC 2004: 298-312 - [c16]Norman Ramsey, Simon L. Peyton Jones:
The C - compiler infrastructure. ICFP 2004: 1 - [c15]Michael D. Smith, Norman Ramsey, Glenn H. Holloway:
A generalized algorithm for graph-coloring register allocation. PLDI 2004: 277-288 - 2003
- [j11]Norman Ramsey:
Pragmatic aspects of reusable program generators. J. Funct. Program. 13(3): 601-646 (2003) - [j10]Norman Ramsey, Cristina Cifuentes:
A transformational approach to binary translation of delayed branches. ACM Trans. Program. Lang. Syst. 25(2): 210-224 (2003) - [c14]Norman Ramsey:
Embedding an interpreted language using higher-order functions and types. IVME 2003: 6-14 - 2002
- [j9]Norman Ramsey:
LATEX Support for Proceedings. ACM SIGPLAN Notices 37(4): 1-3 (2002) - [c13]Norman Ramsey, Avi Pfeffer:
Stochastic lambda calculus and monads of probability distributions. POPL 2002: 154-165 - 2001
- [c12]Norman Ramsey, Elöd Csirmaz:
An algebraic approach to file synchronization. ESEC / SIGSOFT FSE 2001: 175-185 - 2000
- [j8]Norman Ramsey, Kevin Scott:
The 1999 ICFP Programming Contest. ACM SIGPLAN Notices 35(3): 73-83 (2000) - [c11]Norman Ramsey, Simon L. Peyton Jones:
A single intermediate language that supports multiple implementations of exceptions. PLDI 2000: 285-298 - [c10]Norman Ramsey:
Pragmatic Aspects of Reusable Program Generators. SAIG 2000: 149-171
1990 – 1999
- 1999
- [j7]Norman Ramsey:
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. Comput. J. 42(5): 360-372 (1999) - [c9]Simon L. Peyton Jones, Norman Ramsey, Fermin Reig:
C--: A Portable Assembly Language that Supports Garbage Collection. PPDP 1999: 1-28 - [c8]Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey:
The Design of a Resourceable and Retargetable Binary Translator. WCRE 1999: 280-291 - 1998
- [j6]Norman Ramsey:
Unparsing Expressions with Prefix and Postfix Operators. Softw. Pract. Exp. 28(12): 1327-1356 (1998) - [c7]Norman Ramsey, Jack W. Davidson:
Machine Descriptions to Build Tools for Embedded Systems. LCTES 1998: 176-192 - 1997
- [j5]Norman Ramsey, Mary F. Fernandez:
Specifying Representations of Machine Instructions. ACM Trans. Program. Lang. Syst. 19(3): 492-524 (1997) - [c6]Mary F. Fernandez, Norman Ramsey:
Automatic Checking of Instruction Specifications. ICSE 1997: 326-336 - 1996
- [j4]Norman Ramsey:
A Simple Solver for Linear Equations Containing Nonlinear Operators. Softw. Pract. Exp. 26(4): 467-487 (1996) - [c5]Norman Ramsey:
Relocating Machine Instructions by Currying. PLDI 1996: 226-236 - 1995
- [c4]Norman Ramsey, Mary F. Fernandez:
The New Jersey Machine-Code Toolkit. USENIX 1995: 289-302 - 1994
- [j3]Norman Ramsey:
Literate Programming Simplified. IEEE Softw. 11(5): 97-105 (1994) - [c3]Norman Ramsey:
Correctness of Trap-Based Breakpoint Implementations. POPL 1994: 15-24 - 1992
- [c2]Norman Ramsey, David R. Hanson:
A Retargetable Debugger. PLDI 1992: 22-31 - 1991
- [j2]Norman Ramsey, Carla Marceau:
Literate Programming on a Team Project. Softw. Pract. Exp. 21(7): 677-683 (1991)
1980 – 1989
- 1989
- [j1]Christopher J. Van Wyk, Norman Ramsey:
Waving A Language-Independent WEB. Commun. ACM 32(9): 1051-1055 (1989) - [c1]Norman Ramsey:
Developing formally verified Ada programs. IWSSD 1989: 257-265
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
