Norman Ramsey
Norman Ramsey
Professor of Computer Science, Tufts University
Verified email at cs.tufts.edu - Homepage
Title
Cited by
Cited by
Year
Literate programming simplified
N Ramsey
IEEE software 11 (5), 97-105, 1994
2651994
Stochastic lambda calculus and monads of probability distributions
N Ramsey, A Pfeffer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2262002
Specifying representations of machine instructions
N Ramsey, MF Fernández
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 492-524, 1997
1871997
C-—: A portable assembly language that supports garbage collection
SP Jones, N Ramsey, F Reig
International Conference on Principles and Practice of Declarative …, 1999
1271999
A generalized algorithm for graph-coloring register allocation
MD Smith, N Ramsey, G Holloway
Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004
1222004
The New Jersey machine-code toolkit
N Ramsey, MF Fernandez
USENIX, 289-302, 1995
1191995
An algebraic approach to file synchronization
N Ramsey, E Csirmaz
Proceedings of the 8th European software engineering conference held jointly …, 2001
1182001
A single intermediate language that supports multiple implementations of exceptions
N Ramsey, S Peyton Jones
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
902000
Machine descriptions to build tools for embedded systems
N Ramsey, JW Davidson
Languages, Compilers, and Tools for Embedded Systems, 176-192, 1998
861998
A retargetable debugger
N Ramsey, DR Hanson
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992
761992
The design of a resourceable and retargetable binary translator
C Cifuentes, M Van Emmerik, N Ramsey
Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), 280-291, 1999
701999
Waving A Language-Independent WEB.
CJ Van Wyk, N Ramsey
Commun. ACM 32 (9), 1051-1055, 1989
601989
The Zephyr compiler infrastructure
A Appel
IEEE Super-computing98, research exibition, 1998
521998
Embedding an interpreted language using higher-order functions and types
N Ramsey
Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003
482003
Experience in the design, implementation and use of a retargetable static binary translation framework
C Cifuentes, M Van Emmerik, N Ramsey, B Lewis
Sun Microsystems, Inc., 2002
442002
Hoopl: a modular, reusable library for dataflow analysis and transformation
N Ramsey, J Dias, S Peyton Jones
ACM Sigplan Notices 45 (11), 121-134, 2010
352010
Literate programming on a team project
N Ramsey, C Marceau
Software: Practice and Experience 21 (7), 677-683, 1991
351991
Exact Bayesian inference by symbolic disintegration
C Shan, N Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
322017
Automatic checking of instruction specifications
M Fernández, N Ramsey
Proceedings of the 19th international conference on Software engineering …, 1997
321997
Concurrent programming in ML
N Ramsey
Princeton University, Department of Computer Science, 1990
311990
The system can't perform the operation now. Try again later.
Articles 1–20