Literate programming simplified N Ramsey IEEE software 11 (5), 97-105, 1994 | 319 | 1994 |
Stochastic lambda calculus and monads of probability distributions N Ramsey, A Pfeffer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 276 | 2002 |
Specifying representations of machine instructions N Ramsey, MF Fernández ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 492-524, 1997 | 205 | 1997 |
C-—: A portable assembly language that supports garbage collection SP Jones, N Ramsey, F Reig Principles and Practice of Declarative Programming: International Conference …, 1999 | 146 | 1999 |
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 | 139 | 2004 |
An algebraic approach to file synchronization N Ramsey, E Csirmaz Proceedings of the 8th European software engineering conference held jointly …, 2001 | 130 | 2001 |
The New Jersey machine-code toolkit N Ramsey, MF Fernandez USENIX, 289-302, 1995 | 124 | 1995 |
Machine descriptions to build tools for embedded systems N Ramsey, JW Davidson Languages, Compilers, and Tools for Embedded Systems, 176-192, 1998 | 89 | 1998 |
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 | 87 | 2000 |
A retargetable debugger N Ramsey, DR Hanson Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992 | 78 | 1992 |
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 | 69 | 1999 |
Waving A Language-Independent WEB. CJ Van Wyk, N Ramsey Commun. ACM 32 (9), 1051-1055, 1989 | 66 | 1989 |
Exact Bayesian inference by symbolic disintegration C Shan, N Ramsey Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 59 | 2017 |
Embedding an interpreted language using higher-order functions and types N Ramsey Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003 | 56 | 2003 |
The Zephyr compiler infrastructure A Appel, J Davidson, N Ramsey Distributed at Supercomputing 98, 1998 | 53 | 1998 |
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 | 48 | 2002 |
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 | 42 | 2010 |
Literate programming on a team project N Ramsey, C Marceau Software: Practice and Experience 21 (7), 677-683, 1991 | 40 | 1991 |
Concurrent programming in ML N Ramsey Princeton University, Department of Computer Science, 1990 | 37 | 1990 |
When do match-compilation heuristics matter K Scott, N Ramsey University of Virginia, Charlottesville, VA, 2000 | 34 | 2000 |