Follow
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
3181994
Stochastic lambda calculus and monads of probability distributions
N Ramsey, A Pfeffer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2762002
Specifying representations of machine instructions
N Ramsey, MF Fernández
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 492-524, 1997
2051997
C-—: A portable assembly language that supports garbage collection
SP Jones, N Ramsey, F Reig
Principles and Practice of Declarative Programming: International Conference …, 1999
1461999
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
1392004
An algebraic approach to file synchronization
N Ramsey, E Csirmaz
Proceedings of the 8th European software engineering conference held jointly …, 2001
1302001
The New Jersey machine-code toolkit
N Ramsey, MF Fernandez
USENIX, 289-302, 1995
1241995
Machine descriptions to build tools for embedded systems
N Ramsey, JW Davidson
Languages, Compilers, and Tools for Embedded Systems, 176-192, 1998
891998
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
872000
A retargetable debugger
N Ramsey, DR Hanson
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992
781992
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
691999
Waving A Language-Independent WEB.
CJ Van Wyk, N Ramsey
Commun. ACM 32 (9), 1051-1055, 1989
661989
Exact Bayesian inference by symbolic disintegration
C Shan, N Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
592017
Embedding an interpreted language using higher-order functions and types
N Ramsey
Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003
562003
The Zephyr compiler infrastructure
A Appel, J Davidson, N Ramsey
Distributed at Supercomputing 98, 1998
531998
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
482002
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
422010
Literate programming on a team project
N Ramsey, C Marceau
Software: Practice and Experience 21 (7), 677-683, 1991
401991
Concurrent programming in ML
N Ramsey
Princeton University, Department of Computer Science, 1990
371990
When do match-compilation heuristics matter
K Scott, N Ramsey
University of Virginia, Charlottesville, VA, 2000
342000
The system can't perform the operation now. Try again later.
Articles 1–20