| 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 |
|---|
| 34 | EE | João Dias,
Norman Ramsey:
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.
CC 2006: 217-231 |
| 33 | EE | Reuben Olinsky,
Christian Lindig,
Norman Ramsey:
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions.
POPL 2006: 409-421 |
| 32 | EE | Norman Ramsey,
João Dias:
An Applicative Control-Flow Graph Based on Huet's Zipper.
Electr. Notes Theor. Comput. Sci. 148(2): 105-126 (2006) |
| 31 | EE | Norman Ramsey:
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter.
Electr. Notes Theor. Comput. Sci. 148(2): 181-209 (2006) |
| 2005 |
|---|
| 30 | EE | Sukyoung Ryu,
Norman Ramsey:
Source-Level Debugging for Multiple Languages with Modest Programming Effort.
CC 2005: 10-26 |
| 29 | EE | Norman Ramsey,
Kathleen Fisher,
Paul Govereau:
An expressive language of signatures.
ICFP 2005: 27-40 |
| 28 | EE | Norman Ramsey:
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.
PADL 2005: 1-4 |
| 2004 |
|---|
| 27 | EE | Kevin Redwine,
Norman Ramsey:
Widening Integer Arithmetic.
CC 2004: 232-249 |
| 26 | EE | Christian Lindig,
Norman Ramsey:
Declarative Composition of Stack Frames.
CC 2004: 298-312 |
| 25 | EE | Norman Ramsey,
Simon L. Peyton Jones:
The C - compiler infrastructure.
ICFP 2004: 1 |
| 24 | EE | Michael D. Smith,
Norman Ramsey,
Glenn H. Holloway:
A generalized algorithm for graph-coloring register allocation.
PLDI 2004: 277-288 |
| 2003 |
|---|
| 23 | EE | Norman Ramsey,
Cristina Cifuentes:
A transformational approach to binary translation of delayed branches.
ACM Trans. Program. Lang. Syst. 25(2): 210-224 (2003) |
| 22 | EE | Norman Ramsey:
Pragmatic aspects of reusable program generators.
J. Funct. Program. 13(3): 601-646 (2003) |
| 2002 |
|---|
| 21 | EE | Norman 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 |
|---|
| 19 | EE | Norman Ramsey,
Elöd Csirmaz:
An algebraic approach to file synchronization.
ESEC / SIGSOFT FSE 2001: 175-185 |
| 2000 |
|---|
| 18 | EE | Norman Ramsey,
Simon L. Peyton Jones:
A single intermediate language that supports multiple implementations of exceptions.
PLDI 2000: 285-298 |
| 17 | EE | Norman 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 |
| 14 | EE | Cristina 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 |
|---|
| 12 | EE | Norman 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 |
|---|
| 10 | EE | Mary F. Fernandez,
Norman Ramsey:
Automatic Checking of Instruction Specifications.
ICSE 1997: 326-336 |
| 9 | EE | Norman 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 |
| 4 | EE | Norman 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) |
