The Cornell Program Synthesizer: a syntax-directed programming environment. - Tim Teitelbaum (ACM SIGPLAN Notices, 1979)

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. - Alan J. Demers; Thomas W. Reps; Tim Teitelbaum (POPL, 1981)

The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. - Tim Teitelbaum; Thomas W. Reps (Commun. ACM, 1981)

The why and wherefore of the Cornell Program Synthesizer. - Tim Teitelbaum; Thomas W. Reps; Susan Horwitz (SIGPLAN SIGOA Symposium on Text Manipulation, 1981)

Incremental Context-Dependent Analysis for Language-Based Editors. - Thomas W. Reps; Tim Teitelbaum; Alan J. Demers (ACM Trans. Program. Lang. Syst., 1983)

The Synthesizer Generator. - Thomas W. Reps; Tim Teitelbaum (Software Development Environments (SDE), 1984)

Relations and attributes: A symbiotic basis for editing environments. - Susan Horwitz; Tim Teitelbaum (SLIPE, 1985)

Remote Attribute Updating for Language-Based Editors. - Thomas W. Reps; Carla Marceau; Tim Teitelbaum (POPL, 1986)

Efficient incremental evaluation of aggregate values in attribute grammars. - Roger Hoover; Tim Teitelbaum (SIGPLAN Symposium on Compiler Construction, 1986)

Generating Editing Environments Based on Relations and Attributes. - Susan Horwitz; Tim Teitelbaum (ACM Trans. Program. Lang. Syst., 1986)

An Efficient General Iterative Algorithm for Dataflow Analysis. - Susan Horwitz; Alan J. Demers; Tim Teitelbaum (Acta Informatica, 1987)

Language Processing in Program Editors. - Thomas W. Reps; Tim Teitelbaum (Computer, 1987)

The Synthesizer Generator Reference Manual, Third Edition. - Thomas W. Reps; Tim Teitelbaum (Springer, 1989)

The Synthesizer Generator - A System for Constructing Language-Based Editors. - Thomas W. Reps; Tim Teitelbaum (Springer, 1989)

Incremental Computation via Function Caching. - William W. Pugh; Tim Teitelbaum (POPL, 1989)

Incremental Reduction in the lambda Calculus. - John Field; Tim Teitelbaum (LISP and Functional Programming, 1990)

Higher-Order Attribute Grammars and Editing Environments. - Tim Teitelbaum; Richard Chapman 001 (PLDI, 1990)

Implications for interactive tools. - Tim Teitelbaum (WADAS, 1993)

Caching Intermediate Results for Program Improvement. - Yanhong A. Liu; Tim Teitelbaum (PEPM, 1995)

Systematic Derivation of Incremental Programs. - Yanhong A. Liu; Tim Teitelbaum (Sci. Comput. Program., 1995)

Discovering Auxiliary Information for Incremental Computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (POPL, 1996)

Static Caching for Incremental Computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (ACM Trans. Program. Lang. Syst., 1998)

Program Slicing of Hardware Description Languages. - Edmund M. Clarke; Masahiro Fujita; Sreeranga P. Rajan; Thomas W. Reps; Subash Shankar; Tim Teitelbaum (CHARME, 1999)

Channel Dependence Analysis for Slicing Promela. - Lynette I. Millett; Tim Teitelbaum (PDSE, 1999)

CodeSurfer. - Tim Teitelbaum (ACM SIGSOFT Softw. Eng. Notes, 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)

Strengthening invariants for efficient computation. - Yanhong A. Liu; Scott D. Stoller; Tim Teitelbaum (Sci. Comput. Program., 2001)

Flow insensitive points-to sets. - Paul Anderson; David W. Binkley; Genevieve Rosay; Tim Teitelbaum (Inf. Softw. Technol., 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)

Tool Support for Fine-Grained Software Inspection. - Paul Anderson; Thomas W. Reps; Tim Teitelbaum; Mark Zarins (IEEE Softw., 2003)

Design and Implementation of a Fine-Grained Software Inspection Tool. - Paul Anderson; Thomas W. Reps; Tim Teitelbaum (IEEE Trans. Software Eng., 2003)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (APLAS, 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 (CAV, 2005)

CodeSurfer/x86-A Platform for Analyzing x86 Executables. - Gogul Balakrishnan; Radu Gruian; Thomas W. Reps; Tim Teitelbaum (CC, 2005)

WYSINWYX: What You See Is Not What You eXecute. - Gogul Balakrishnan; Thomas W. Reps; David Melski; Tim Teitelbaum (VSTTE, 2005)

A Next-Generation Platform for Analyzing Executables. - Thomas W. Reps; Gogul Balakrishnan; Junghee Lim; Tim Teitelbaum (Malware Detection, 2007)