Tim Teitelbaum

According to our database, Tim Teitelbaum authored at least 36 papers between 1979 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Malware Detection, 2007

2005

WYSINWYX: What You See Is Not What You eXecute.

Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum

Proceedings of the Verified Software: Theories, 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.

Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum

Proceedings of the Compiler Construction, 14th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.

Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

Design and Implementation of a Fine-Grained Software Inspection Tool.

Paul Anderson, Thomas W. Reps, Tim Teitelbaum

IEEE Trans. Software Eng., 2003

Tool Support for Fine-Grained Software Inspection.

Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins

IEEE Softw., 2003

2002

Program slicing for VHDL.

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum

Int. J. Softw. Tools Technol. Transf., 2002

Flow insensitive points-to sets.

Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum

Inf. Softw. Technol., 2002

2001

Strengthening invariants for efficient computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Sci. Comput. Program., 2001

2000

Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.

Lynette I. Millett, Tim Teitelbaum

Int. J. Softw. Tools Technol. Transf., 2000

CodeSurfer.

Tim Teitelbaum

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Channel Dependence Analysis for Slicing Promela.

Lynette I. Millett, Tim Teitelbaum

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Program Slicing of Hardware Description Languages.

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Static Caching for Incremental Computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

ACM Trans. Program. Lang. Syst., 1998

1996

Discovering Auxiliary Information for Incremental Computation.

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Systematic Derivation of Incremental Programs.

Yanhong A. Liu, Tim Teitelbaum

Sci. Comput. Program., 1995

Caching Intermediate Results for Program Improvement.

Yanhong A. Liu, Tim Teitelbaum

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

Implications for interactive tools.

Tim Teitelbaum

Proceedings of the Tenth Annual Washington Ada Symposium on Ada, 1993

1990

Higher-Order Attribute Grammars and Editing Environments.

Tim Teitelbaum, Richard Chapman

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Incremental Reduction in the lambda Calculus.

John Field, Tim Teitelbaum

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

Incremental Computation via Function Caching.

William W. Pugh, Tim Teitelbaum

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

The Synthesizer Generator - A System for Constructing Language-Based Editors.

Thomas W. Reps, Tim Teitelbaum

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9623-9, 1989

The Synthesizer Generator Reference Manual, Third Edition.

Thomas W. Reps, Tim Teitelbaum

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9633-8, 1989

1987

Language Processing in Program Editors.

Thomas W. Reps, Tim Teitelbaum

Computer, 1987

An Efficient General Iterative Algorithm for Dataflow Analysis.

Susan Horwitz, Alan J. Demers, Tim Teitelbaum

Acta Informatica, 1987

1986

Generating Editing Environments Based on Relations and Attributes.

Susan Horwitz, Tim Teitelbaum

ACM Trans. Program. Lang. Syst., 1986

Efficient incremental evaluation of aggregate values in attribute grammars.

Roger Hoover, Tim Teitelbaum

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Remote Attribute Updating for Language-Based Editors.

Thomas W. Reps, Carla Marceau, Tim Teitelbaum

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Relations and attributes: A symbiotic basis for editing environments.

Susan Horwitz, Tim Teitelbaum

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

1984

The Synthesizer Generator.

Thomas W. Reps, Tim Teitelbaum

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

1983

Incremental Context-Dependent Analysis for Language-Based Editors.

Thomas W. Reps, Tim Teitelbaum, Alan J. Demers

ACM Trans. Program. Lang. Syst., 1983

1981

The why and wherefore of the Cornell Program Synthesizer.

Tim Teitelbaum, Thomas W. Reps, Susan Horwitz

Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, 1981

The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.

Tim Teitelbaum, Thomas W. Reps

Commun. ACM, 1981

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.

Alan J. Demers, Thomas W. Reps, Tim Teitelbaum

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1979

The Cornell Program Synthesizer: a syntax-directed programming environment.

Tim Teitelbaum

ACM SIGPLAN Notices, 1979