http:^^www.cs.cornell.edu^info^people^tt^vita^vita.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 966 行 · 第 1/3 页
HTML
966 行
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
<HTML><TITLE>Teitelbaum CV</TITLE><H1>Tim Teitelbaum</H1>Associate Professor<br> Department of Computer Science<br>Cornell University<br>Ithaca, New York 14853<br>USA <p>Date of Birth: April 12, 1943<br>Social Security: 071-34-7678<br>Citizenship: United States<br>Telephone: (607) 255-7573<br>Fax: (607) 255-4428<br>Email: tt@cs.cornell.edu<br><h2>CONTENTS</h2><ul><li> <a href="#education">Education</a><li> <a href="#positions">Positions</a><li> <a href="#awards">Awards</a><li> <a href="#grants">Grants</a><li> <a href="#phdstudents">Ph.D. Students</a><li> <a href="#publications">Publications</a><li> <a href="#lectures">Lectures</a><li> <a href="#professional">Professional Activities</a><li> <a href="#cornellactivities">Cornell Activities</a><li> <a href="#cornellcoursestaught">Cornell Courses Taught</a><li> <a href="#cornelllectures">Cornell Lectures</a></ul><a name="education"><h3><b>EDUCATION</b></h3><ul><li>[1975] Carnegie-Mellon University, Ph.D., Computer Science<br><li>[1964] Massachusetts Institute of Technology, B.S., Mathematics</ul><a name="positions"><h3><B>POSITIONS</B></h3><ul><li>[1981-] Associate Professor, Department of Computer Science, CornellUniversity<br><li>[1982-83] Visiting Researcher, Institut National de Recherche enInformatique et en Automatique (INRIA), Rocquencourt, France<br><li>[1979-81] Senior Lecturer, Department of Computer Science, CornellUniversity<br><li>[1973-79] Assistant Professor, Department of Computer Science, CornellUniversity<br><li>[1968-72] Graduate Student, Department of Computer Science,Carnegie-Mellon University<br><li>[1965-68] Senior Research Programmer, Physics Department, ColumbiaUniversity<br><li>[1964-65] Programmer, Western Electric Corporation</ul><a name="awards"><h3><B>AWARDS</B></h3><ol><li>Dean's Prize for Innovation in Undergraduate Teaching, May 1986.</ol><a name="grants"><h3><B>GRANTS</B></h3><ol><li>Software Engineering with a Transformational System, NSF,1995-98, $270,000 (with D. Gries).<li>Incremental Computation, ONR, 1995-1998, $270,000.<li>Incremental Computation, ONR, 1992-1995, $300,000.<li>The Synthesizer Generator, NSF, 1990-1991, $100,000.<li>Incremental Computation, ONR, 1988-1990, $400,000.<li>Generating Efficient Language-based Programming Environments,NSF, 1988-1989, $8,000.<li>Research Experience for Undergraduates, NSF, 1987-1988, $8,000.<li>Generating Efficient Language-based Programming Environments,NSF/ONR, 1986-1989, $428,182. (Supplement for Undergraduate Research,1987-1988, $22,000.)<li>Coordinated experimental research on systems for constructingand manipulating complex objects, NSF, 1986-1991, $3,606,266 (withGries, Constable and Hopcroft).<li>Language Editors and Their Generators, IBM, 1984-85, $99,957.<li>Affiliation Program for Education in Language Editors and theirImplementations, IBM, 1984-85, $25,000.<li>Syntax-directed Programming Environments, NSF, 1982-85, $364,966.<li>Syntax-directed Programming Environemnts, NSF, 1980-82, $145,033.</ol><a name="phdstudents"><h3><B>PH.D. STUDENTS</B></h3><ol><li>Yanhong A. Liu (1995)<li>John Reppy (1992)<li>John Field (1991)<li>Allan Zaring (1990)<li>Stephen Peckham (1990)<li>William Pugh (1988), [PYI, Packard Fellow]<li>Roger Hoover (1987)<li>Susan Horwitz (1985), [PYI]<li>Thomas Reps (1982, winner of the ACM Doctoral Dissertation Award.), [PYI, Packard Fellow]</ol><a name="publications"><h3><B>PUBLICATIONS</B></h3><h4><i>Software</i></h4><ol><li> <i>The Synthesizer Generator</i>,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, <i>et al.</i>);Release 4.1, August 1993 (GrammaTech);Release 4.2, January 1995 (GrammaTech).<p>The Synthesizer Generator is a tool for creating language-basedenvironments from formal specifications. To date, it has beenlicensed, in source code form, for research purposes, to approximately330 sites worldwide. Roughly half of the sites are in the U.S. andhalf are overseas; roughly half the sites are academic and half aregovernment or industrial research laboratories. The implementationof Release 4 consists of about 120,000 lines of C source code;23 demonstration environments distributed with the system areimplemented in about 50,000 lines of Synthesizer SpecificationLanguage (SSL) code.<p><li> <i>The Cornell Program Synthesizer</i>, Version 1, June 1979;Version 1.02, September 1980; Version 1.03, September 1981 (with T.Reps).<p>The Cornell Program Synthesizer was a programming environment for asmall dialect of PL/I. During its lifetime, it was licensed to 110sites worldwide and was used by over 20,000 introductory programmingstudents.</ol><h4><i>Books</i></h4><ol><li> <i>The Synthesizer Generator: A System for ConstructingLanguage-Based Editors</i>, 315 pages,Springer-Verlag, NY, 1988 (with T. Reps) <p><li> <i>The Synthesizer Generator Reference Manual</i>. FirstEdition, Cornell University, Ithaca, NY, August 1985, 51 pages; SecondEdition, Cornell University, Ithaca, NY, June 1987, 162 pages; ThirdEdition, 171 pages, Springer-Verlag, NY, NY, 1988 (with T. Reps);Fourth Edition, 268 pages, GrammaTech, Ithaca, NY, 1992 (withGrammaTech staff).</ol><h4><i>Chapters in books</i></h4><ol><li> <i>Alex --- an Alexical Programming Language</i>. VisualLanguages and Applications, ed. T. Ichikawa, E. Jungert andR. Korfhage, Plenum Press, NY, 1990.<p><li> <i>The Cornell Program Synthesizer: a syntax-directedprogramming environment</i>. 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), September1981, pages 563-573.)<p><li> <i>The why and wherefore of the Cornell Program Synthesizer</i>.Tutorial: Software Development Environments, ed. A.I. Wasserman, IEEEComputer Society Press, November 1981, pages 64-72 (with T. Reps andS. Horwitz). (Also appeared in Proceedings of ACM/SIGPLAN-SIGOASymposium on Text Manipulation, Portland, OR, June 8-10, 1981, SIGPLANNOTICES 16, 6 June 1981, pages 8-16.</ol><h4><i>Journals</i></h4><ol><p><li><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Inc-SCP95.ps.Z">Systematic Derivation of Incremental Programs</a>. <i>Science ofComputer Programming 24</i>(1), pages 1-39, 1995. (with Yanhong A. Liu).<p><li> Language Processing in Program Editors.<i>IEEE Computer 20</i>(11), pages 29-40, November 1987 (with T. Reps).<p><li> An Efficient General Iterative Algorithm for Dataflow Analysis,<i>Acta Informatica 24</i>(6), pages 679-694, 1987 (with S. Horwitz andA. J. Demers).<p><li> Generating editing environments based on relations and attributes.<i>TOPLAS 9</i>(3), pages 577-608, October 1986 (with S. Horwitz).<p><li> Incremental context-dependent analysis for language-based editors.<i>TOPLAS 5</i>(3), pages 449-477, July 1983 (with T. Reps and A. J. Demers).<p><li> The Cornell Program Synthesizer: a syntax-directed programmingenvironment. <i>CACM 24</i>(9), September 1981, 563-573 (withT. Reps). (Reprinted in <i>Interactive Programming Environments</i>,Barsow, D.R., Sanderwall, E., and Shrobe, H., McGraw Hill, 1984.)</ol><h4><i>Refereed Conference Proceedings</i></h4><ol><p><li><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Dai-POPL96.ps.Z">Discovering Auxiliary Information for Incremental Computation</a>,<i> Proceedingsof 23rd ACM Symposium on Principles of Programming Languages</i>,St. Petersburg Beach, FL, pages xx-xx, January 21-24, 1996,(with Yanhong A. Liu and Scott D. Stoller).<p><li><a href="ftp://ftp.cs.cornell.edu/pub/yanhong/Cir-PEPM95.ps.Z">Caching Intermediate Results for Program Improvement</a>. <i>Proceedings of ACM SIGPLAN Symposium on PEPM</i>, La Jolla, CA, pages190-201, June 1995 (with Yanhong A. Liu).<p><li> Incremental Reduction in the Lambda Calculus.Presented at <i> 1990 Lisp and Functional Programming Conference</i>,Nice, France, pages 307-322, June 1990 (with J. Field).<p><li> Higher-order Attribute Grammars and Editing Environments. <i>Proceedings of ACM SIGPLAN '90 Conference on Programming LanguageDesign and Implementation</i>, White Plains, NY, pages 197-208, June 1990(with R. Chapman).<p><li> Incremental Computation by Function Caching. <i> Proceedingsof 16th ACM Symposium on Principles of Programming Languages</i>, Austin,TX, January 11-13, 1989, pages 269-276 (with W. Pugh).<p><li> Alex - an Alexical Programming Language.<i> Workshop on Visual Language</i>,Linkoping, Sweden, August 19-21, 1987 (with D. Kozen, <i> et al</i>.).<p><li> Efficient Incremental Evaluation of Aggregate Values inAttribute Grammars, <i> Proceedings of ACM SIGPLAN '86 Symposium onCompiler Construction</i>, Palo Alto, CA, June 1986, pages 39-50 (withR. Hoover).<p><li> Remote attribute updating for language-based editors,<i> Proceedings of 13th ACM Symposium on Principles of Programming Languages</i>,St. Petersburg, FL, January 1986, pages 1-13 (with T. Reps and C. Marceau).<p><li> Relations and attributes: a symbiotic basis for editingenvironments. <i> Proceedings of ACM SIGPLAN '85 Symposium onLanguage Issues in Programming Environments. SIGPLAN NOTICES 20</i>, 7,June 1985, pages 93-106 (with S. Horwitz).<p><li> The Synthesizer Generator.<i> Proceedings of ACM SIGSOFT/SIGPLAN Software Engineering Symposiumon Practical Software Development Environments</i>,Pittsburgh, PA, April 1984, pages 42-48 (with T. Reps).<p><li> The why and wherefore of the Cornell Program Synthesizer. <i>Proceedings of ACM/SIGPLAN-SIGOA Symposium on Text Manipulation</i>,Portland, OR, June 8-10, 1981, <i> SIGPLAN NOTICES 16</i>, 6 June 1981,pages 8-16 (with T. Reps and S. Horwitz). (Reprinted in <i>Tutorial: Software Development Environments</i>, Wasserman, A.I., IEEEComputer Society Press, November 1981, pages 64-72.)<p><li> Incremental evaluation for attribute grammars with application to syntax-directed editors. <i> Proceedings of 8th ACM SymposiumPrinciples of Programming Languages</i>, Williamsburg, VA, January 26-28,1981, pages 105-116 (with A. J. Demers and T. Reps).<p><li> Encapsulated data types and generic procedures. <i>Proceedings of DOD Workshop on a Common Programming Language forEmbedded Systems</i>, Ithaca, NY, 1976, Springer-Verlag, pages 171-214(with A. J. Demers, <i> et al.</i>).<p><li> Context-free error correction by evaluation of algebraic power series. <i> Proceedings of 5th ACM Symposium Theory of Computing</i>,Austin, TX, April 30--May 2, 1973, pages 196-199.<p><li> A study of sigma leptonic decay using an HPD in patternrecognition mode. <i> Proceedings International Conference Advanced⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?