Tim Teitelbaum

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