Tim Teitelbaum

According to our database1, Tim Teitelbaum
  • authored at least 34 papers between 1981 and 2007.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2007
A Next-Generation Platform for Analyzing Executables.
Proceedings of the Malware Detection, 2007

2005
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

2003
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

2002
Program slicing for VHDL.
STTT, 2002

Flow insensitive points-to sets.
Information & Software Technology, 2002

2001
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

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

CodeSurfer.
ACM SIGSOFT Software Engineering Notes, 2000

1999
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

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

1996
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

1995
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

1990
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.
LISP and Functional Programming, 1990

1989
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

1987
Language Processing in Program Editors.
IEEE Computer, 1987

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

1986
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

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

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

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

1981
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


  Loading...