MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 24-Nov-96 21:33:28 GMT Content-Type: text/html Content-Length: 30689 Last-Modified: Thursday, 14-Mar-96 22:07:10 GMT Teitelbaum CV

Tim Teitelbaum

Associate Professor
Department of Computer Science
Cornell University
Ithaca, New York 14853
USA

Date of Birth: April 12, 1943
Social Security: 071-34-7678
Citizenship: United States
Telephone: (607) 255-7573
Fax: (607) 255-4428
Email: tt@cs.cornell.edu

CONTENTS

EDUCATION

POSITIONS

AWARDS

  1. Dean's Prize for Innovation in Undergraduate Teaching, May 1986.

GRANTS

  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.

PH.D. STUDENTS

  1. Yanhong A. Liu (1995)
  2. John Reppy (1992)
  3. John Field (1991)
  4. Allan Zaring (1990)
  5. Stephen Peckham (1990)
  6. William Pugh (1988), [PYI, Packard Fellow]
  7. Roger Hoover (1987)
  8. Susan Horwitz (1985), [PYI]
  9. Thomas Reps (1982, winner of the ACM Doctoral Dissertation Award.), [PYI, Packard Fellow]

PUBLICATIONS

Software

  1. 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).

    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 330 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 of Release 4 consists of about 120,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.

  2. 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).

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. Systematic Derivation of Incremental Programs. Science of Computer Programming 24(1), pages 1-39, 1995. (with Yanhong A. Liu).

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

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

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

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

  6. 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. Discovering Auxiliary Information for Incremental Computation, Proceedings of 23rd ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, pages xx-xx, January 21-24, 1996, (with Yanhong A. Liu and Scott D. Stoller).

  2. 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).

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

  4. 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).

  5. 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).

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

  7. 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).

  8. 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).

  9. 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).

  10. 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).

  11. 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.)

  12. 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).

  13. 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.).

  14. 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.

  15. 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.).

  16. 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. On the value of syntax-directed editors. CACM 25(5), May 1982, pages 351-352 (with T. Reps).

  2. 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.

  3. 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

  1. Doctoral Dissertation Award Committee, ACM, 1992-93.

Member

  1. Doctoral Dissertation Award Committee, ACM, July 1988-94.
  2. Academic Advisory Committee, ADAPSO, October 16-19, 1988, Dallas, TX.
  3. Program Committee, ACM SIGPLAN `88 Compiler Construction Conference, June 20-24, 1988, Atlanta, GA.
  4. Panel, Software Engineering Program, NSF, April 4, 1988, Washington, DC.
  5. NSF Software Engineering Workshop, February 24-26, 1988, Atlanta, GA.
  6. Program Committee, Fifteenth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 1987.
  7. Program Committee, ACM SIGPLAN '84 Symposium on Compiler Construction, Montreal, Canada, June, 1984.
  8. Program Committee, International Course on Syntax-Directed Editors, Aussois, France, April 18-22, 1983 (Co-director).
  9. Program Committee, Tenth Annual ACM SIGACT/ SIGPLAN Symposium on Principles of Programming Languages, January 24-26, 1983 (Co-chairman).
  10. Program Committee, ACM SIGPLAN '82 Symposium on Compiler Construction, Boston, MA, June 23-25, 1982.
  11. Delegate, Sino-American Symposium on Computer Software Engineering, Changsha, Peoples Republic of China, April 8-10, 1982.
  12. Program Committee, ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, 1981-82.
  13. Panel, Productivity in Education, IEEE COMPCON, Washington, DC, September 15, 1981.
  14. Association for Computing Machinery

Consultant

  1. 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

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

Referee

  1. NSF, NSERC

CORNELL ACTIVITIES

  1. Member, Computing Policy Committee (1994- )
  2. Chairman, Departmental Computer Facilities Committee (1990-91)
  3. Member, 2001 Committee (1990-91)
  4. Member, Committee on Instructional Computer Technologies (1990-91)
  5. Member, Search Committee for Associate Dean for Undergraduate Affairs (1986)
  6. Member, CER Management Committee (1986-89); Chairman (1987-88)
  7. Chairman, Department Chairman Search Committee (1986-87)
  8. Member, Senior Faculty Recruiting Committee (1985-1992); Chairman (1985-87)
  9. Member, Engineering College Resource Allocation Advisory Committee (1985-86)
  10. Member, Engineering College Computing Board (1984-88); Chairman (1987-88)
  11. Member, Computer Science Undergraduate Academic Affairs Committee (1984-85)
  12. Member, University Appeals Panel (1984-89)
  13. Director, Undergraduate Programs in Computer Science (1983-85)
  14. Member, Engineering College Computer Advisory Committee (1983-84)
  15. Member, Committee to Study Computers in Engineering Mathematics (1983-84)
  16. Co-director, Computer Science Summer School Program (1981-82)
  17. Member, University Computing Board subcommittee (1981-82)
  18. Member, Faculty Appeals Board (1981-82)
  19. Director, Computer Science Summer School Program (1979-80)
  20. Member, Engineering College Core Curriculum Committee (1977-82)
  21. Undergraduate program advisor (1977-1995)

CORNELL COURSES TAUGHT

CORNELL LECTURES

  1. Computer programming as engineering design. Cornell College of Engineering Alumni Council, May 1984.
  2. _____. Engineering Career Orientation Forum, February 1984.
  3. The Cornell Program Synthesizer. Conversations at Cornell, May 1982.
  4. _____. Computing in Agriculture, ATC/CALS Faculty Series, January 6, 1981.
  5. The computer: idiot savant or wunderkind? Freshman Orientation Program, August 28, 1980.
  6. From slide rule to microcomputer: how freshmen learn to compute. Cornell Trustee's Weekend, October 12, 1979.
  7. Design and implementation of the Cornell Program Synthesizer, a syntax-directed programming environment, with demonstration. OCS Seminar, March 28, 1979.
  8. _____. Department of Computer Science, December 7, 1978.
  9. Computer programming as engineering communication. Parents' Weekend, October 22, 1977.