2005 |
28 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim,
Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables.
APLAS 2005: 212-229 |
27 | EE | Gogul Balakrishnan,
Thomas W. Reps,
Nicholas Kidd,
Akash Lal,
Junghee Lim,
David Melski,
Radu Gruian,
Suan Hsi Yong,
Chi-Hua Chen,
Tim Teitelbaum:
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV 2005: 158-163 |
26 | EE | Gogul Balakrishnan,
Radu Gruian,
Thomas W. Reps,
Tim Teitelbaum:
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
CC 2005: 250-254 |
25 | EE | Gogul Balakrishnan,
Thomas W. Reps,
David Melski,
Tim Teitelbaum:
WYSINWYX: What You See Is Not What You eXecute.
VSTTE 2005: 202-213 |
2003 |
24 | EE | Paul Anderson,
Thomas W. Reps,
Tim Teitelbaum,
Mark Zarins:
Tool Support for Fine-Grained Software Inspection.
IEEE Software 20(4): 42-50 (2003) |
23 | EE | Paul Anderson,
Thomas W. Reps,
Tim Teitelbaum:
Design and Implementation of a Fine-Grained Software Inspection Tool.
IEEE Trans. Software Eng. 29(8): 721-733 (2003) |
2002 |
22 | | Paul Anderson,
David Binkley,
Genevieve Rosay,
Tim Teitelbaum:
Flow insensitive points-to sets.
Information & Software Technology 44(13): 743-754 (2002) |
21 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program slicing for VHDL.
STTT 4(1): 125-137 (2002) |
2001 |
20 | EE | Paul Anderson,
David Binkley,
Genevieve Rosay,
Tim Teitelbaum:
Flow Insensitive Points-To Sets.
SCAM 2001: 81-91 |
19 | | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Strengthening invariants for efficient computation.
Sci. Comput. Program. 41(2): 139-172 (2001) |
2000 |
18 | EE | Lynette I. Millett,
Tim Teitelbaum:
Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.
STTT 2(4): 343-349 (2000) |
1999 |
17 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program Slicing of Hardware Description Languages.
CHARME 1999: 298-312 |
16 | EE | Lynette I. Millett,
Tim Teitelbaum:
Channel Dependence Analysis for Slicing Promela.
PDSE 1999: 52-61 |
1998 |
15 | EE | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Static Caching for Incremental Computation.
ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998) |
1996 |
14 | EE | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Discovering Auxiliary Information for Incremental Computation.
POPL 1996: 157-170 |
1995 |
13 | | Yanhong A. Liu,
Tim Teitelbaum:
Caching Intermediate Results for Program Improvement.
PEPM 1995: 190-201 |
12 | | Yanhong A. Liu,
Tim Teitelbaum:
Systematic Derivation of Incremental Programs.
Sci. Comput. Program. 24(1): 1-39 (1995) |
1990 |
11 | EE | John Field,
Tim Teitelbaum:
Incremental Reduction in the lambda Calculus.
LISP and Functional Programming 1990: 307-322 |
10 | | Tim Teitelbaum,
Richard Chapman:
Higher-Order Attribute Grammars and Editing Environments.
PLDI 1990: 197-208 |
1989 |
9 | | William Pugh,
Tim Teitelbaum:
Incremental Computation via Function Caching.
POPL 1989: 315-328 |
1987 |
8 | | Susan Horwitz,
Alan J. Demers,
Tim Teitelbaum:
An Efficient General Iterative Algorithm for Dataflow Analysis.
Acta Inf. 24(6): 679-694 (1987) |
1986 |
7 | | Thomas W. Reps,
Carla Marceau,
Tim Teitelbaum:
Remote Attribute Updating for Language-Based Editors.
POPL 1986: 1-13 |
6 | EE | Roger Hoover,
Tim Teitelbaum:
Efficient incremental evaluation of aggregate values in attribute grammars.
SIGPLAN Symposium on Compiler Construction 1986: 39-50 |
5 | EE | Susan Horwitz,
Tim Teitelbaum:
Generating Editing Environments Based on Relations and Attributes.
ACM Trans. Program. Lang. Syst. 8(4): 577-608 (1986) |
1984 |
4 | | Thomas W. Reps,
Tim Teitelbaum:
The Synthesizer Generator.
Software Development Environments (SDE) 1984: 42-48 |
1983 |
3 | EE | Thomas W. Reps,
Tim Teitelbaum,
Alan J. Demers:
Incremental Context-Dependent Analysis for Language-Based Editors.
ACM Trans. Program. Lang. Syst. 5(3): 449-477 (1983) |
1981 |
2 | | Alan J. Demers,
Thomas W. Reps,
Tim Teitelbaum:
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
POPL 1981: 105-116 |
1 | | Tim Teitelbaum,
Thomas W. Reps:
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.
Commun. ACM 24(9): 563-573 (1981) |