Tim Teitelbaum | Academic Influence

Tim Teitelbaum's AcademicInfluence.com Rankings

Tim Teitelbaum

Computer Science

#1788

World Rank

#1854

Historical Rank

#851

USA Rank

Software Engineering

#138

World Rank

#138

Historical Rank

#61

USA Rank

Algorithms

#148

World Rank

#150

Historical Rank

#28

USA Rank

Database

#8626

World Rank

#9041

Historical Rank

#1162

USA Rank

computer-science Degrees

Download Badge

Computer Science

Tim Teitelbaum's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics Cornell University

Similar Degrees You Can Earn

Why Is Tim Teitelbaum Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Tim Teitelbaum is an American computer scientist known for his early work on integrated development environments , syntax-directed editing, and incremental computation. He is Professor Emeritus at Cornell University. As an educator and faculty member of the Cornell University Computer Science Department since 1973, he was recognized for his large-scale teaching of introductory programming, and for his mentoring of highly successful graduate students. As a businessman, he is known for having co-founded GrammaTech, Inc. and for having been its sole CEO from 1988 to 2019.

(See a Problem?)

Tim Teitelbaum's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Cornell program synthesizer: a syntax-directed programming environment (1981) (673)
The synthesizer generator (1984) (468)
The Synthesizer Generator: A System for Constructing Language-Based Editors (1988) (357)
Incremental Context-Dependent Analysis for Language-Based Editors (1983) (283)
Incremental computation via function caching (1989) (198)
Incremental evaluation for attribute grammars with application to syntax-directed editors (1981) (179)
CodeSurfer/x86-A Platform for Analyzing x86 Executables (2005) (156)
The Cornell Program Synthesizer: a syntax-directed programming environment (1979) (130)
The Synthesizer Generator Reference Manual (1988) (107)
Program Slicing of Hardware Description Languages (1999) (94)
Static caching for incremental computation (1998) (93)
Software Inspection Using CodeSurfer (2001) (92)
Design and Implementation of a Fine-Grained Software Inspection Tool (2003) (89)
Generating editing environments based on relations and attributes (1986) (85)
Remote attribute updating for language-based editors (1986) (74)
Systematic Derivation of Incremental Programs (1995) (69)
Tool Support for Fine-Grained Software Inspection (2003) (65)
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation (2000) (60)
Slicing Promela and its Applications to Model Checking, Simulation, and Protocol Understanding (2002) (56)
The why and wherefore of the Cornell Program Synthesizer (1981) (55)
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (2005) (54)
Language Processing in Program Editors (1987) (46)
Incremental reduction in the lambda calculus (1990) (45)
A Next-Generation Platform for Analyzing Executables (2005) (43)
The synthesizer generator reference manual (3. ed.) (1989) (42)
Caching intermediate results for program improvement (1995) (40)
Higher-order attribute grammars and editing environments (1990) (37)
An efficient general iterative algorithm for dataflow analysis (1987) (36)
Program slicing for VHDL (2002) (35)
Efficient incremental evaluation of aggregate values in attribute grammars (1986) (33)
Discovering auxiliary information for incremental computation (1996) (27)
Relations and attributes: A symbiotic basis for editing environments (1985) (25)
The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS (1979) (22)
CodeSurfer (2000) (21)
A syntax-directed programming environment (1981) (18)
Flow insensitive points-to sets (2001) (16)
ALEX an Alexical Programming Language (1987) (16)
Cps - the cornell program synthesizer (1981) (14)
Strengthening invariants for efficient computation (2001) (13)
The Cornell Program Synthesizer: A Tutorial Introduction (1979) (11)
Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul (1998) (9)
Static Analysis of Software Executables (2009) (7)
Channel dependence analysis for slicing Promela (1999) (6)
The synthesizer generator reference manual springer-verier (1988) (6)
A Formal Syntax for PL/CS (1976) (3)
Incremental Computation for Transformational Software Development (1995) (2)
The synthesizer generator reference manum 3rd edition (1989) (2)
Program Sli ing for VHDL ? (1999) (2)
Defining Hybrid Editors with the Synthesizer Generator (1989) (1)
Interactive Program Verification (1989) (1)
Interface to C (1989) (1)
The Attribute-Grammar Model of Editing (1989) (0)
Static Analysis for Detecting Vulnerabilities in COTS (2005) (0)
Strengthening Invariants for EÆ ientComputation ? (2001) (0)
The SSL Debugger (1989) (0)
Specifying an Editor (1989) (0)
Using an Editor (1989) (0)
ALEX-AN ALEXI CAL PROGRAMMING LANGUAGE (1990) (0)
Lists, Optional Elements, and Placeholders (1989) (0)
Performing Static Inferences with Attributes (1989) (0)
Generating Code Using Attributes (1989) (0)
Deriving Incremental (1993) (0)
Demonstration of a Sample Editor (1989) (0)
Incremental Computation for Transformational Software (1995) (0)
TIGHTLY INTEGRATED TOOLS AS ENVIRONMENT (1992) (0)
Incremental Attribute Evaluation for Ordered Attribute Grammars (1989) (0)
Implications for interactive tools (1993) (0)
An Oral History Conversation: The Paradigm Shift from Centralized to Decentralized Computing at Cornell (2015) (0)
A Conversation with Tim Teitelbaum (2015) (0)
Specification of a Sample Editor (1989) (0)
Programmable Interfaces for Advanced Static Analysis (2004) (0)

This paper list is powered by the following services:

Other Resources About Tim Teitelbaum

en.wikipedia.org

What Schools Are Affiliated With Tim Teitelbaum?

Tim Teitelbaum is affiliated with the following schools: