Tim Teitelbaum - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2005

2003

Tool Support for Fine-Grained Software InspectionPaul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins. IEEE Software, 20(4):42-50, 2003. [doi]

Design and Implementation of a Fine-Grained Software Inspection ToolPaul Anderson, Thomas W. Reps, Tim Teitelbaum. TSE, 29(8):721-733, 2003. [doi]

2002

Program slicing for VHDLEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum. STTT, 4(1):125-137, 2002. [doi]

2001

Strengthening invariants for efficient computationYanhong A. Liu, Scott D. Stoller, Tim Teitelbaum. SCP, 41(2):139-172, 2001.

1999

Program Slicing of Hardware Description LanguagesEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum. charme 1999: 298-312 [doi]

Channel Dependence Analysis for Slicing PromelaLynette I. Millett, Tim Teitelbaum. pdse 1999: 52-61 [doi]

1998

Static Caching for Incremental ComputationYanhong A. Liu, Scott D. Stoller, Tim Teitelbaum. TOPLAS, 20(3):546-585, 1998. [doi]

1996

Discovering Auxiliary Information for Incremental ComputationYanhong A. Liu, Scott D. Stoller, Tim Teitelbaum. POPL 1996: 157-170 [doi]

1995

Systematic Derivation of Incremental ProgramsYanhong A. Liu, Tim Teitelbaum. SCP, 24(1):1-39, 1995.

Caching Intermediate Results for Program ImprovementYanhong A. Liu, Tim Teitelbaum. PEPM 1995: 190-201

1990

Incremental Reduction in the lambda CalculusJohn Field, Tim Teitelbaum. lfp 1990: 307-322 [doi]

Higher-Order Attribute Grammars and Editing EnvironmentsTim Teitelbaum, Richard Chapman. PLDI 1990: 197-208 [doi]

1989

Incremental Computation via Function CachingWilliam Pugh, Tim Teitelbaum. POPL 1989: 315-328

1987

An Efficient General Iterative Algorithm for Dataflow AnalysisSusan Horwitz, Alan J. Demers, Tim Teitelbaum. ACTA, 24(6):679-694, 1987.

1986

Efficient incremental evaluation of aggregate values in attribute grammarsRoger Hoover, Tim Teitelbaum. sigplan 1986: 39-50 [doi]

Generating Editing Environments Based on Relations and AttributesSusan Horwitz, Tim Teitelbaum. TOPLAS, 8(4):577-608, 1986. [doi]

Remote Attribute Updating for Language-Based EditorsThomas W. Reps, Carla Marceau, Tim Teitelbaum. POPL 1986: 1-13

1984

The Synthesizer GeneratorThomas W. Reps, Tim Teitelbaum. SDE 1984: 42-48 [doi]

1983

Incremental Context-Dependent Analysis for Language-Based EditorsThomas W. Reps, Tim Teitelbaum, Alan J. Demers. TOPLAS, 5(3):449-477, 1983. [doi]

1981

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed EditorsAlan J. Demers, Thomas W. Reps, Tim Teitelbaum. POPL 1981: 105-116 [doi]

The Cornell Program Synthesizer: A Syntax-Directed Programming EnvironmentTim Teitelbaum, Thomas W. Reps. CACM, 24(9):563-573, 1981.

Sign in or sign up to see more results.

runs on WebDSL