Tim Teitelbaum

According to our database1, Tim Teitelbaum authored at least 32 papers between 1981 and 2005.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


WYSINWYX: What You See Is Not What You eXecute.
Proceedings of the Verified Software: Theories, 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.
Proceedings of the Compiler Construction, 14th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Next-Generation Platform for Analyzing Executables.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

Design and Implementation of a Fine-Grained Software Inspection Tool.
IEEE Trans. Software Eng., 2003

Tool Support for Fine-Grained Software Inspection.
IEEE Software, 2003

Program slicing for VHDL.
STTT, 2002

Strengthening invariants for efficient computation.
Sci. Comput. Program., 2001

Flow Insensitive Points-To Sets.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

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

ACM SIGSOFT Software Engineering Notes, 2000

Channel Dependence Analysis for Slicing Promela.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Program Slicing of Hardware Description Languages.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Static Caching for Incremental Computation.
ACM Trans. Program. Lang. Syst., 1998

Discovering Auxiliary Information for Incremental Computation.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Systematic Derivation of Incremental Programs.
Sci. Comput. Program., 1995

Caching Intermediate Results for Program Improvement.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Higher-Order Attribute Grammars and Editing Environments.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Incremental Reduction in the lambda Calculus.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Incremental Computation via Function Caching.
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.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9623-9, 1989

The Synthesizer Generator Reference Manual, Third Edition.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9633-8, 1989

Language Processing in Program Editors.
IEEE Computer, 1987

An Efficient General Iterative Algorithm for Dataflow Analysis.
Acta Inf., 1987

Generating Editing Environments Based on Relations and Attributes.
ACM Trans. Program. Lang. Syst., 1986

Efficient incremental evaluation of aggregate values in attribute grammars.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Remote Attribute Updating for Language-Based Editors.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Relations and attributes: A symbiotic basis for editing environments.
SIGPLAN Notices, 1985

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

Incremental Context-Dependent Analysis for Language-Based Editors.
ACM Trans. Program. Lang. Syst., 1983

The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.
Commun. ACM, 1981

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981