dblp.uni-trier.dewww.uni-trier.de

Tim Teitelbaum Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
28EEThomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229
27EEGogul 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
26EEGogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254
25EEGogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum: WYSINWYX: What You See Is Not What You eXecute. VSTTE 2005: 202-213
2003
24EEPaul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins: Tool Support for Fine-Grained Software Inspection. IEEE Software 20(4): 42-50 (2003)
23EEPaul 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)
21EEEdmund 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
20EEPaul 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
18EELynette 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
17EEEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312
16EELynette I. Millett, Tim Teitelbaum: Channel Dependence Analysis for Slicing Promela. PDSE 1999: 52-61
1998
15EEYanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998)
1996
14EEYanhong 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
11EEJohn 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
6EERoger Hoover, Tim Teitelbaum: Efficient incremental evaluation of aggregate values in attribute grammars. SIGPLAN Symposium on Compiler Construction 1986: 39-50
5EESusan 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
3EEThomas 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)