"A designer knows he has achieved perfection
not when there is nothing left to add, but when there is nothing
left to take away."
Norman Ramsey
Research Assistant Professor
Computer Science Research Environment
Division of Engineering and Applied Sciences
Harvard University
Harvard, MA 02138
Phone:(434) 982-2227
Fax:(434) 982-2214
Email:nr@eecs.harvard.edu
Office:
Maxwell Dorkin 231, Harvard University
33 Oxford Street, Cambridge, MA 02138, USA
Home page of Norman Ramsey
Areas of Interest
Programming languages and software engineering.
Biographical Sketch
orman Ramsey earned BS and MS degrees in Physics at
Princeton and Cornell. After a short career as a
physicist, he moved to computer science, and he completed a Ph.D. in
Computer Science at Princeton in 1992. Norman Ramsey worked at Bellcore for several years as a
Member of Technical Staff, spent one year as a visiting professor at
Purdue, then joined the University of Virginia as a research
assistant professor in 1996. In 1998 he received the prestigious Faculty
Early Career Development Award from the National Science Foundation for
his proposal entitled Reusable Specifications for Retargetability.
He is author or co-author of over a dozen papers.
Research
orman Ramsey's research focuses on tools for
building, analyzing, and understanding software. His goal is to
develop techniques for creating software that works well, that we can
understand, and that we can move to new hardware as it becomes
available. He approaches such problems by building software for real
people to use, as well as research prototypes. Ramsey's recent work
focuses on machine descriptions, with the goal of making it as easy to
analyze and modify object code as it is today to analyze and modify
source code. Results include a retargetable debugger and a toolkit for
recognizing and emitting machine instructions.
Selected Publications
- "Literate Programming Simplified," IEEE Software, 11(5):97-105,
September 1994.
- "Relocating
Machine Instructions by Currying," ACM SIGPLAN '96 Conf. on
Programming Language Design and Implementation, pp. 226-236, 1996.
- "Specifying
Representations of Machine Instructions," N. Ramsey and Fernandez
ACM Trans. on Programming Languages and Sys., 19(3):492-524, May 1997.
- "Machine
Descriptions to Build Tools for Embedded Systems," N. Ramsey and
J.W. Davidson, ACM SIGPLAN Workshop on Languages, Compilers, and Tools
for Embedded Systems(LCTES '98), LNCS, pp. 172-188, Springer Verlag, June 1998