Tim Teitelbaum

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)

Coauthor Index

1	Paul Anderson	[20] [22] [23] [24]
2	Gogul Balakrishnan	[25] [26] [27] [28]
3	David Binkley	[20] [22]
4	Richard Chapman	[10]
5	Chi-Hua Chen	[27]
6	Edmund M. Clarke	[17] [21]
7	Alan J. Demers	[2] [3] [8]
8	John Field	[11]
9	Masahiro Fujita	[17] [21]
10	Radu Gruian	[26] [27]
11	Roger Hoover	[6]
12	Susan Horwitz	[5] [8]
13	Nicholas Kidd	[27]
14	Akash Lal	[27]
15	Junghee Lim	[27] [28]
16	Yanhong A. Liu	[12] [13] [14] [15] [19]
17	Carla Marceau	[7]
18	David Melski	[25] [27]
19	Lynette I. Millett	[16] [18]
20	William Pugh	[9]
21	Sreeranga P. Rajan	[17] [21]
22	Thomas W. Reps	[1] [2] [3] [4] [7] [17] [21] [23] [24] [25] [26] [27] [28]
23	Genevieve Rosay	[20] [22]
24	Subash Shankar	[17] [21]
25	Scott D. Stoller	[14] [15] [19]
26	Suan Hsi Yong	[27]
27	Mark Zarins	[24]

Colors in the list of coauthors