Curriculum Vitae
RAY (Tim) TEITELBAUM - July 14, 1999

$\textstyle \parbox{3.5in}{ \noindent Associate Professor\\ Department of Compu... ...55-5331 (Secretary)\\ (607) 255-4428 (Fax)\\ Email: {\tt tt@cs.cornell.edu} }$$\textstyle \parbox{3.5in}{ \noindent Chairman\\ GrammaTech, Inc.\\ One Hopkin... ...) 273-7340 (Office)\\ (607) 273-8752 (Fax)\\ Email: {\tt tt@grammatech.com} }$

CONTENTS

EDUCATION

1975
Carnegie-Mellon University, Ph.D., Computer Science
1964
Massachusetts Institute of Technology, B.S., Mathematics

POSITIONS

1988-
Chairman, GrammaTech, Inc., Ithaca, NY

1981-
Associate Professor, Department of Computer Science, Cornell University

1982-83
Visiting Researcher, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, France

1979-81
Senior Lecturer, Department of Computer Science, Cornell University

1973-79
Assistant Professor, Department of Computer Science, Cornell University

1968-72
Graduate Student, Department of Computer Science, Carnegie-Mellon University

1965-68
Senior Research Programmer, Physics Department, Columbia University

1964-65
Programmer, Western Electric Corporation

AWARDS

College of Engineering Teaching Award, 1996
Dean's Prize for Innovation in Undergraduate Teaching, May 1986.

GRANTS and CONTRACTS (at Cornell)

1.
Software Engineering with a Transformational System, NSF, 1995-98, $270,000 (with D. Gries).

2.
Incremental Computation, ONR, 1995-1998, $270,000.

3.
Incremental Computation, ONR, 1992-1995, $300,000.

4.
The Synthesizer Generator, NSF, 1990-1991, $100,000.

5.
Incremental Computation, ONR, 1988-1990, $400,000.

6.
Generating Efficient Language-based Programming Environments, NSF, 1988-1989, $8,000.

7.
Research Experience for Undergraduates, NSF, 1987-1988, $8,000.

8.
Generating Efficient Language-based Programming Environments, NSF/ONR, 1986-1989, $428,182. (Supplement for Undergraduate Research, 1987-1988, $22,000.)

9.
Coordinated experimental research on systems for constructing and manipulating complex objects, NSF, 1986-1991, $3,606,266 (with Gries, Constable and Hopcroft).

10.
Language Editors and Their Generators, IBM, 1984-85, $99,957.

11.
Affiliation Program for Education in Language Editors and their Implementations, IBM, 1984-85, $25,000.

12.
Syntax-directed Programming Environments, NSF, 1982-85, $364,966.

13.
Syntax-directed Programming Environemnts, NSF, 1980-82, $145,033.

CONTRACTS (at GrammaTech, Inc.)

1.
Multi-Lingual Dependence-Graph Components for Software and Hardware Analysis and Specialization, DARPA, SBIR Phase II, 1999-2001, $750,000.

2.
Model Checking of Software Designs, ONR, 1998-2000, $398,118.

3.
User Interfaces for Rule-Based Formal Methods Environments, ONR, SBIR Phase II, 1998-1999, $594,340.

4.
Multi-Lingual Dependence-Graph Components for Software and Hardware Analysis and Specialization, DARPA, SBIR Phase I, 1997, $98,995.

5.
A Prototype Formal Methods Environment, ONR, 1996, $50,500.

6.
User-Interfaces for Rule-Based Formal Methods Environments, ONR, SBIR Phase I, 1999, $50,000.

7.
Language-Based Software Environments, ONR, SBIR Phase II, 1990-92, $500,000.

8.
Language-Based Software Environments, NY State Science and Technology Foundation, 1990, $24,924.

9.
Language-Based Software Environments, ONR, SBIR Phase I, 1989-90, $50,000.

PH.D. STUDENTS

$\textstyle \parbox{3in}{ 1. Aswin van den Berg (1998) [with D. Gries]\\ 2. Y. ... ... 4. John Field (1990)\\ 5. Allan Zaring (1990)\\ 6. Stephen Peckham (1990) }$$\textstyle \parbox{3in}{ 7. William Pugh (1988)[PYI, Packard Fellow]\\ 8. Roge... ...{.3in}[ACM Doctoral Dissertation Award,\\ \hspace*{.3in}PYI, Packard Fellow]. }$

PUBLICATIONS

Software

1.
CodeSurfer, a software development, inspection, and maintenance tool that provides dependence-graph browsing and precise interprocedural program slicing for C programmers. Release 1.0, May, 1999 (GrammaTech).

2.
Ada-ASSURED, a multi-purpose tool that ensures consistent coding style, prevents syntax errors, and provides numerous productivity features for writing and reviewing code. It features WYSIWYG language-sensitive editing, automatic standards enforcement, high-quality pretty printing, and hypertext browsing in a package that can be integrated with any Ada compiler. Release 3.1, June 1996 (GrammaTech); Release 3.2, November 1997 (GrammaTech).

3.
The Synthesizer Generator, Release 1.0, December 1985; Release 2.0, July 1987; Release 3.0, April 1989; Release 3.4, April 1991; Release 3.5, September 1991 (GrammaTech); Release 4.0, December 1992 (GrammaTech),(with T. Reps, et al.); Release 4.1, August 1993 (GrammaTech); Release 4.2, January 1995 (GrammaTech); Release 5.0, September 1996 (GrammaTech).

The Synthesizer Generator is a tool for creating language-based environments from formal specifications. To date, it has been licensed, in source code form, for research purposes, to approximately 350 sites worldwide. Roughly half of the sites are in the U.S. and half are overseas; roughly half the sites are academic and half are government or industrial research laboratories. The implementation currently consists of about 200,000 lines of C source code; 23 demonstration environments distributed with the system are implemented in about 50,000 lines of Synthesizer Specification Language (SSL) code.

The Synthesizer Generator has been commercialized by GrammaTech, Inc. of Ithaca, NY. Commercial products based on it include Penelope, a formal verification system for Ada, by ORA of Ithaca, NY; Raise, a rigorous approach to industrial software engineering, by CRI of Copenhagen, DK; CRIE, a LOTOS editing tool, U. Twente, Netherlands; and Ada-ASSURED, an Ada language-sensitive editor and program analysis tool, by GrammaTech.

4.
The Cornell Program Synthesizer, Version 1, June 1979; Version 1.02, September 1980; Version 1.03, September 1981 (with T. Reps).

The Cornell Program Synthesizer was a programming environment for a small dialect of PL/I. During its lifetime, it was licensed to 110 sites worldwide and was used by over 20,000 introductory programming students.

Books

1.
The Synthesizer Generator: A System for Constructing Language-Based Editors, 315 pages, Springer-Verlag, NY, 1988 (with T. Reps)

2.
The Synthesizer Generator Reference Manual. First Edition, Cornell University, Ithaca, NY, August 1985, 51 pages; Second Edition, Cornell University, Ithaca, NY, June 1987, 162 pages; Third Edition, 171 pages, Springer-Verlag, NY, NY, 1988 (with T. Reps); Fourth Edition, 268 pages, GrammaTech, Ithaca, NY, 1992 (with GrammaTech staff); Fifth Edition, 282 pages, GrammaTech, Ithaca, NY, 1996 (with GrammaTech staff).

Chapters in books

1.
Alex -- an Alexical Programming Language. Visual Languages and Applications, ed. T. Ichikawa, E. Jungert and R. Korfhage, Plenum Press, NY, 1990.

2.
The Cornell Program Synthesizer: a syntax-directed programming environment. Interactive Programming Environments, ed. D. R. Barsow, E. Sanderwall, and H. Shrobe, McGraw-Hill, NY, 1984, pages 97-116 (with T. Reps). (Also appeared in CACM 24(9), September 1981, pages 563-573.)

3.
The why and wherefore of the Cornell Program Synthesizer. Tutorial: Software Development Environments, ed. A.I. Wasserman, IEEE Computer Society Press, November 1981, pages 64-72 (with T. Reps and S. Horwitz). (Also appeared in Proceedings of ACM/SIGPLAN-SIGOA Symposium on Text Manipulation, Portland, OR, June 8-10, 1981, SIGPLAN NOTICES 16, 6 June 1981, pages 8-16.

Journals

1.
Issues in Slicing Promela and its Applications to Protocol Understanding and Analysis. International Journal on Software Tools and Technology Transfer, accepted for publication (with L. Millett).

2.
Systematic Derivation of Incremental Programs. Science of Computer Programming 24(1), pages 1-39, 1995. (with Yanhong A. Liu).

3.
Language Processing in Program Editors. IEEE Computer 20(11), pages 29-40, November 1987 (with T. Reps).

4.
An Efficient General Iterative Algorithm for Dataflow Analysis, Acta Informatica 24(6), pages 679-694, 1987 (with S. Horwitz and A. J. Demers).

5.
Generating editing environments based on relations and attributes. TOPLAS 9(3), pages 577-608, October 1986 (with S. Horwitz).

6.
Incremental context-dependent analysis for language-based editors. TOPLAS 5(3), pages 449-477, July 1983 (with T. Reps and A. J. Demers).

7.
The Cornell Program Synthesizer: a syntax-directed programming environment. CACM 24(9), September 1981, 563-573 (with T. Reps). (Reprinted in Interactive Programming Environments, Barsow, D.R., Sanderwall, E., and Shrobe, H., McGraw Hill, 1984.)

Refereed Conference Proceedings

1.
Program Slicing of Hardware Description Languages. 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARM '99), Bad Herrenalb, Germany, September 1999 (with E. M. Clarke, M. Fujita, S. P. Rajan, T. Reps, and S. Shankar).

2.
Channel Dependence Analysis for Slicing Promela. Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), Los Angeles, CA, pages 52-61, May, 1999 (with L. Millett).

3.
Slicing Promela and its Applications to Protocol Understanding and Analysis. Proceedings of the 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker, Paris, France, pages 75-83, November, 1998 (with L. Millett)

4.
An Environment for Integrating Formal Methods Tools. Proceeding of User-Interfaces for Theorem Provers 97 (UITP97), INRIA, Sophia-Antipolis, September, 1997 (with P. Anderson, M. Goldsmith, and B. Scattergood).

5.
Discovering Auxiliary Information for Incremental Computation. Proceeding of POPL '96: the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pages 157-170, January 1996 (with Yanhong A. Liu and Scott D. Stoller).

6.
Caching Intermediate Results for Program Improvement. Proceedings of ACM SIGPLAN Symposium on PEPM, La Jolla, CA, pages 190-201, June 1995 (with Yanhong A. Liu).

7.
Incremental Reduction in the Lambda Calculus. Presented at 1990 Lisp and Functional Programming Conference, Nice, France, pages 307-322, June 1990 (with J. Field).

8.
Higher-order Attribute Grammars and Editing Environments. Proceedings of ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, NY, pages 197-208, June 1990 (with R. Chapman).

9.
Incremental Computation by Function Caching. Proceedings of 16th ACM Symposium on Principles of Programming Languages, Austin, TX, January 11-13, 1989, pages 269-276 (with W. Pugh).

10.
Alex - an Alexical Programming Language. Workshop on Visual Language, Linkoping, Sweden, August 19-21, 1987 (with D. Kozen, et al.).

11.
Efficient Incremental Evaluation of Aggregate Values in Attribute Grammars, Proceedings of ACM SIGPLAN '86 Symposium on Compiler Construction, Palo Alto, CA, June 1986, pages 39-50 (with R. Hoover).

12.
Remote attribute updating for language-based editors, Proceedings of 13th ACM Symposium on Principles of Programming Languages, St. Petersburg, FL, January 1986, pages 1-13 (with T. Reps and C. Marceau).

13.
Relations and attributes: a symbiotic basis for editing environments. Proceedings of ACM SIGPLAN '85 Symposium on Language Issues in Programming Environments. SIGPLAN NOTICES 20, 7, June 1985, pages 93-106 (with S. Horwitz).

14.
The Synthesizer Generator. Proceedings of ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, PA, April 1984, pages 42-48 (with T. Reps).

15.
The why and wherefore of the Cornell Program Synthesizer. Proceedings of ACM/SIGPLAN-SIGOA Symposium on Text Manipulation, Portland, OR, June 8-10, 1981, SIGPLAN NOTICES 16, 6 June 1981, pages 8-16 (with T. Reps and S. Horwitz). (Reprinted in Tutorial: Software Development Environments, Wasserman, A.I., IEEE Computer Society Press, November 1981, pages 64-72.)

16.
Incremental evaluation for attribute grammars with application to syntax-directed editors. Proceedings of 8th ACM Symposium Principles of Programming Languages, Williamsburg, VA, January 26-28, 1981, pages 105-116 (with A. J. Demers and T. Reps).

17.
Encapsulated data types and generic procedures. Proceedings of DOD Workshop on a Common Programming Language for Embedded Systems, Ithaca, NY, 1976, Springer-Verlag, pages 171-214 (with A. J. Demers, et al.).

18.
Context-free error correction by evaluation of algebraic power series. Proceedings of 5th ACM Symposium Theory of Computing, Austin, TX, April 30-May 2, 1973, pages 196-199.

19.
A study of sigma leptonic decay using an HPD in pattern recognition mode. Proceedings International Conference Advanced Data Processing for Bubble Chambers and Spark Chambers, New York, NY, October 1968, pages 256-265 (with Newman, et al.).

20.
Current status of automatic scanning at Columbia University. 1967 International Conference on Programming for Flying Spot Devices, Munich, January 1967 (with D. Burd).
Tutorials

1.
Semantic Analysis. SIGPLAN '93 Conference on Programming Language Design and Implementation, Albuquerque, NM, June, 1993.

2.
Generating Language-Sensitive Environment. SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, CA, June 15-19, 1992.

3.
Semantic Analysis. SIGPLAN '88 Conference on Programming Language Design and Implementation, Atlanta, GA, June 22-24, 1988.

4.
Semantic Analysis. SIGPLAN '86 Symposium on Complier Construction, Palo Alto, CA, June 25-27, 1986.

Other Publications

1.
Structure of C Programs and Their Interpretation, Third Edition August 20, 1996, 58 pages. Approximately 1000 copies printed.

2.
On the value of syntax-directed editors. CACM 25(5), May 1982, pages 351-352 (with T. Reps).
3.
The Cornell Program Synthesizer: a tutorial introduction. Department of Computer Science, Cornell University, First Edition, July 1979, Fifth Edition, May 1983, 49 pages. Approximately 20,000 copies printed.

4.
The Cornell Program Synthesizer: announcement. SIGPLAN NOTICES, October 1979, page 75.

Technical Reports

1.
Incremental Computation for Transformational Software Development. Tech. Rep. 95-1499, Department of Computer Science, Cornell Unversity, Ithaca, NY, March 1995 (with Yanhong A. Liu).

2.
Caching Intermediate Results for Program Improvement. Tech. Rep. 95-1498, Department of Computer Science, Cornell University, Ithaca, NY, March 1995 (with Yanhong A. Liu).

3.
Systematic Derivation of Incremental Programs. Tech. Rep. 94-1444, Department of Computer Science, Cornell University, Ithaca, NY, August 1994 (with Yanhong A. Liu).

4.
Deriving Incremental Programs. Tech. Rep. 93-1384, Department of Computer Science, Cornell University, Ithaca, NY, September (revised October) 1993 (with Yanhong A. Liu).

5.
Alex -- an Alexical Programming Language. Tech. Rep. 87-835, Department of Computer Science, Cornell University, Ithaca, NY, May 1987 (with D. Kozen, et al.).

6.
The Cornell Program Synthesizer: a microcomputer implementation of PL/CS. Tech. Rep. 79-370, Department of Computer Science, Cornell University, Ithaca, NY, March 1979.

7.
A formal syntax for PL/CS. Tech. Rep. 76-281, Department of Computer Science, Cornell University, Ithaca, NY, January 1976.

8.
A compiler project. Department of Computer Science, Cornell University, Ithaca, NY, January 1976.

9.
Minimal Distance Analysis of Syntax Errors in Computer Programs. Ph D. Thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, September 1975.

LECTURES

PROFESSIONAL ACTIVITIES

Chairman

Doctoral Dissertation Award Committee, ACM, 1992-93.

Member

Doctoral Dissertation Award Committee, ACM, July 1988-94.

Academic Advisory Committee, ADAPSO, October 16-19, 1988, Dallas, TX.

Program Committee, ACM SIGPLAN `88 Compiler Construction Conference, June 20-24, 1988, Atlanta, GA.

Panel, Software Engineering Program, NSF, April 4, 1988, Washington, DC.

NSF Software Engineering Workshop, February 24-26, 1988, Atlanta, GA.

Program Committee, Fifteenth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 1987.

Program Committee, ACM SIGPLAN '84 Symposium on Compiler Construction, Montreal, Canada, June, 1984.

Program Committee, International Course on Syntax-Directed Editors, Aussois, France, April 18-22, 1983 (Co-director).

Program Committee, Tenth Annual ACM SIGACT/ SIGPLAN Symposium on Principles of Programming Languages, January 24-26, 1983 (Co-chairman).

Program Committee, ACM SIGPLAN '82 Symposium on Compiler Construction, Boston, MA, June 23-25, 1982.

Delegate, Sino-American Symposium on Computer Software Engineering, Changsha, Peoples Republic of China, April 8-10, 1982.

Program Committee, ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, 1981-82.

Panel, Productivity in Education, IEEE COMPCON, Washington, DC, September 15, 1981.

Association for Computing Machinery

Consultant

IBM (1985), AMS/ACM Summer Computer Science Institute Planning Committee (1982), Terak Corp. (1979), U.S. Army Electronics Command (1975), Digital Equipment Corp. (1970).

Reviewer

ACM Computing Surveys, ACM TOPLAS, IEEE Computer, IEEE Software, IEEE Transactions on Software Engineering, MIT Press.

Review of DoD Programming Language Policy, Computer Science and Telecommunications Board, National Research Council, (1996).

Referee

NSF, NSERC

CORNELL ACTIVITIES

Member, Computing Policy Committee (1994-1996)

Chairman, Departmental Computer Facilities Committee (1990-91)

Member, 2001 Committee (1990-91)

Member, Committee on Instructional Computer Technologies (1990-91)

Member, Search Committee for Associate Dean for Undergraduate Affairs (1986)

Member, CER Management Committee (1986-89); Chairman (1987-88)

Chairman, Department Chairman Search Committee (1986-87)

Member, Senior Faculty Recruiting Committee (1985-1992); Chairman (1985-87)

Member, Engineering College Resource Allocation Advisory Committee (1985-86)

Member, Engineering College Computing Board (1984-88); Chairman (1987-88)

Member, Computer Science Undergraduate Academic Affairs Committee (1984-85)

Member, University Appeals Panel (1984-89)

Director, Undergraduate Programs in Computer Science (1983-85)

Member, Engineering College Computer Advisory Committee (1983-84)

Member, Committee to Study Computers in Engineering Mathematics (1983-84)

Co-director, Computer Science Summer School Program (1981-82)

Member, University Computing Board subcommittee (1981-82)

Member, Faculty Appeals Board (1981-82)

Director, Computer Science Summer School Program (1979-80)

Member, Engineering College Core Curriculum Committee (1977-82)

Undergraduate program advisor (1977-1995)

CORNELL COURSES TAUGHT

CS100--Introduction to Computer Programming 


Fall 1996, 182 students


Fall 1995, 189 students


Fall 1994, 270 students


Fall 1993, 317 students


Fall 1992 and Spring 1993, 478 students


Fall 1985, 645 students


Fall 1984, 758 students


Fall 1983, 749 students


Fall 1981, 725 students


Fall 1980 and Spring 1981, 1176 students


Fall 1979 and Spring 1980, 1020 students


Fall 1978 and Spring 1979, 952 students


Fall 1977, 475 students


Fall 1976, 544 students


Fall 1975, 460 students

CS100S--Introduction to Computer Programming (Honors) 


Fall 1987, 45 students


Spring 1987, 10 students

CS211--Computers and Programming 


Fall 1990, 85 students

CS212--Modes of Algorithmic Expression 


Fall 1988, 42 students

CS314--Introduction to Computer Systems and Organization 


Fall 1974, 35 students


Fall 1973, 48 students

CS411--Introduction to Programming Languages 


Spring 1988, 23 students

CS412--Translator Writing 


Spring 1997, 30 students


Spring 1996, 40 students


Spring 1994, 37 students


Spring 1993, 24 students


Spring 1974, 42 students


Spring 1973, 25 students

CS501- Sorfware Engineering 


Fall 1998, 36 students

CS612--Advanced Programming Languages and Translator Writing 


Spring 1995, 10 students


Spring 1986, 28 students


Spring 1984, 32 students


Spring 1982, 24 students


Spring 1977, 33 students


Spring 1976, 29 students


Spring 1975, 36 students

CS712--Topics in Programming Languages and Systems 


Spring 1989, 10 students


Fall 1986, 7 students


Spring 1985, 11 students

CORNELL LECTURES

Computer programming as engineering design. Cornell College of Engineering Alumni Council, May 1984.

. Engineering Career Orientation Forum, February 1984.

The Cornell Program Synthesizer. Conversations at Cornell, May 1982.

. Computing in Agriculture, ATC/CALS Faculty Series, January 6, 1981.

The computer: idiot savant or wunderkind? Freshman Orientation Program, August 28, 1980.

From slide rule to microcomputer: how freshmen learn to compute. Cornell Trustee's Weekend, October 12, 1979.

Design and implementation of the Cornell Program Synthesizer, a syntax-directed programming environment, with demonstration. OCS Seminar, March 28, 1979.

. Department of Computer Science, December 7, 1978.

Computer programming as engineering communication. Parents' Weekend, October 22, 1977.

Go to top