dblp.uni-trier.dewww.uni-trier.de

Norman Ramsey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
35 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
2006
34EEJoão Dias, Norman Ramsey: Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. CC 2006: 217-231
33EEReuben Olinsky, Christian Lindig, Norman Ramsey: Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. POPL 2006: 409-421
32EENorman Ramsey, João Dias: An Applicative Control-Flow Graph Based on Huet's Zipper. Electr. Notes Theor. Comput. Sci. 148(2): 105-126 (2006)
31EENorman Ramsey: ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. Electr. Notes Theor. Comput. Sci. 148(2): 181-209 (2006)
2005
30EESukyoung Ryu, Norman Ramsey: Source-Level Debugging for Multiple Languages with Modest Programming Effort. CC 2005: 10-26
29EENorman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40
28EENorman Ramsey: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. PADL 2005: 1-4
2004
27EEKevin Redwine, Norman Ramsey: Widening Integer Arithmetic. CC 2004: 232-249
26EEChristian Lindig, Norman Ramsey: Declarative Composition of Stack Frames. CC 2004: 298-312
25EENorman Ramsey, Simon L. Peyton Jones: The C - compiler infrastructure. ICFP 2004: 1
24EEMichael D. Smith, Norman Ramsey, Glenn H. Holloway: A generalized algorithm for graph-coloring register allocation. PLDI 2004: 277-288
2003
23EENorman Ramsey, Cristina Cifuentes: A transformational approach to binary translation of delayed branches. ACM Trans. Program. Lang. Syst. 25(2): 210-224 (2003)
22EENorman Ramsey: Pragmatic aspects of reusable program generators. J. Funct. Program. 13(3): 601-646 (2003)
2002
21EENorman Ramsey, Avi Pfeffer: Stochastic lambda calculus and monads of probability distributions. POPL 2002: 154-165
20 Norman Ramsey: LATEX Support for Proceedings. SIGPLAN Notices 37(4): 1-3 (2002)
2001
19EENorman Ramsey, Elöd Csirmaz: An algebraic approach to file synchronization. ESEC / SIGSOFT FSE 2001: 175-185
2000
18EENorman Ramsey, Simon L. Peyton Jones: A single intermediate language that supports multiple implementations of exceptions. PLDI 2000: 285-298
17EENorman Ramsey: Pragmatic Aspects of Reusable Program Generators. SAIG 2000: 149-171
16 Norman Ramsey, Kevin Scott: The 1999 ICFP Programming Contest. SIGPLAN Notices 35(3): 73-83 (2000)
1999
15 Simon L. Peyton Jones, Norman Ramsey, Fermin Reig: C--: A Portable Assembly Language that Supports Garbage Collection. PPDP 1999: 1-28
14EECristina Cifuentes, Mike Van Emmerik, Norman Ramsey: The Design of a Resourceable and Retargetable Binary Translator. WCRE 1999: 280-291
13 Norman Ramsey: Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. Comput. J. 42(5): 360-372 (1999)
1998
12EENorman Ramsey, Jack W. Davidson: Machine Descriptions to Build Tools for Embedded Systems. LCTES 1998: 176-192
11 Norman Ramsey: Unparsing Expressions with Prefix and Postfix Operators. Softw., Pract. Exper. 28(12): 1327-1356 (1998)
1997
10EEMary F. Fernandez, Norman Ramsey: Automatic Checking of Instruction Specifications. ICSE 1997: 326-336
9EENorman Ramsey, Mary F. Fernandez: Specifying Representations of Machine Instructions. ACM Trans. Program. Lang. Syst. 19(3): 492-524 (1997)
1996
8 Norman Ramsey: Relocating Machine Instructions by Currying. PLDI 1996: 226-236
7 Norman Ramsey: A Simple Solver for Linear Equations Containing Nonlinear Operators. Softw., Pract. Exper. 26(4): 467-487 (1996)
1995
6 Norman Ramsey, Mary F. Fernandez: The New Jersey Machine-Code Toolkit. USENIX Winter 1995: 289-302
1994
5 Norman Ramsey: Correctness of Trap-Based Breakpoint Implementations. POPL 1994: 15-24
4EENorman Ramsey: Literate Programming Simplified. IEEE Software 11(5): 97-105 (1994)
1992
3 Norman Ramsey, David R. Hanson: A Retargetable Debugger. PLDI 1992: 22-31
1991
2 Norman Ramsey, Carla Marceau: Literate Programming on a Team Project. Softw., Pract. Exper. 21(7): 677-683 (1991)
1989
1 Christopher J. Van Wyk, Norman Ramsey: Waving A Language-Independent WEB. Commun. ACM 32(9): 1051-1055 (1989)

Coauthor Index

1Cristina Cifuentes [14] [23]
2Elöd Csirmaz [19]
3Jack W. Davidson [12]
4João Dias [32] [34]
5Mike Van Emmerik [14]
6Mary F. Fernández (Mary F. Fernandez) [6] [9] [10]
7Kathleen Fisher [29]
8Paul Govereau [29]
9David R. Hanson [3]
10Ralf Hinze [35]
11Glenn H. Holloway [24]
12Simon L. Peyton Jones [15] [18] [25]
13Christian Lindig [26] [33]
14Carla Marceau [2]
15Reuben Olinsky [33]
16Avi Pfeffer [21]
17Kevin Redwine [27]
18Fermin Reig [15]
19Sukyoung Ryu [30]
20Kevin Scott [16]
21Michael D. Smith [24]
22Christopher J. Van Wyk [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)