Tim Teitelbaum

Publication Activity (10 Years)

Years Active: 1979-2005
Publications (10 Years): 0

Publications

Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC (2005)
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV (2005)
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum
WYSINWYX: What You See Is Not What You eXecute. VSTTE (2005)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
A Next-Generation Platform for Analyzing Executables. APLAS (2005)
Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins
Tool Support for Fine-Grained Software Inspection. IEEE Softw. 20 (4) (2003)
Paul Anderson, Thomas W. Reps, Tim Teitelbaum
Design and Implementation of a Fine-Grained Software Inspection Tool. IEEE Trans. Software Eng. 29 (8) (2003)
Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum
Flow insensitive points-to sets. Inf. Softw. Technol. 44 (13) (2002)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program slicing for VHDL. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
Strengthening invariants for efficient computation. Sci. Comput. Program. 41 (2) (2001)
Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum
Flow Insensitive Points-To Sets. SCAM (2001)
Tim Teitelbaum
CodeSurfer. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Lynette I. Millett, Tim Teitelbaum
Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Lynette I. Millett, Tim Teitelbaum
Channel Dependence Analysis for Slicing Promela. PDSE (1999)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program Slicing of Hardware Description Languages. CHARME (1999)
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. 20 (3) (1998)
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
Discovering Auxiliary Information for Incremental Computation. POPL (1996)
Yanhong A. Liu, Tim Teitelbaum
Caching Intermediate Results for Program Improvement. PEPM (1995)
Yanhong A. Liu, Tim Teitelbaum
Systematic Derivation of Incremental Programs. Sci. Comput. Program. 24 (1) (1995)
Tim Teitelbaum
Implications for interactive tools. WADAS (1993)
Tim Teitelbaum, Richard Chapman
Higher-Order Attribute Grammars and Editing Environments. PLDI (1990)
John Field, Tim Teitelbaum
Incremental Reduction in the lambda Calculus. LISP and Functional Programming (1990)
William Pugh, Tim Teitelbaum
Incremental Computation via Function Caching. POPL (1989)
Susan Horwitz, Alan J. Demers, Tim Teitelbaum
An Efficient General Iterative Algorithm for Dataflow Analysis. Acta Informatica 24 (6) (1987)
Thomas W. Reps, Tim Teitelbaum
Language Processing in Program Editors. Computer 20 (11) (1987)
Thomas W. Reps, Carla Marceau, Tim Teitelbaum
Remote Attribute Updating for Language-Based Editors. POPL (1986)
Roger Hoover, Tim Teitelbaum
Efficient incremental evaluation of aggregate values in attribute grammars. SIGPLAN Symposium on Compiler Construction (1986)
Susan Horwitz, Tim Teitelbaum
Generating Editing Environments Based on Relations and Attributes. ACM Trans. Program. Lang. Syst. 8 (4) (1986)
Susan Horwitz, Tim Teitelbaum
Relations and attributes: A symbiotic basis for editing environments. ACM SIGPLAN Notices 20 (7) (1985)
Thomas W. Reps, Tim Teitelbaum
The Synthesizer Generator. Software Development Environments (SDE) (1984)
Thomas W. Reps, Tim Teitelbaum, Alan J. Demers
Incremental Context-Dependent Analysis for Language-Based Editors. ACM Trans. Program. Lang. Syst. 5 (3) (1983)
Alan J. Demers, Thomas W. Reps, Tim Teitelbaum
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. POPL (1981)
Tim Teitelbaum, Thomas W. Reps
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Commun. ACM 24 (9) (1981)
Tim Teitelbaum, Thomas W. Reps, Susan Horwitz
The why and wherefore of the Cornell Program Synthesizer. ACM SIGPLAN Notices 16 (6) (1981)
Tim Teitelbaum
The Cornell Program Synthesizer: a syntax-directed programming environment. ACM SIGPLAN Notices 14 (10) (1979)