Tim Teitelbaum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
1981–2005
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | APLAS | A Next-Generation Platform for Analyzing Executables. | Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
| 2005 | CAV | 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 |
| 2005 | CC | CodeSurfer/x86-A Platform for Analyzing x86 Executables. | Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum |
| 2001 | SCAM | Flow Insensitive Points-To Sets. | Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum |
| 1996 | POPL | Discovering Auxiliary Information for Incremental Computation. | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
| 1995 | PEPM | Caching Intermediate Results for Program Improvement. | Yanhong A. Liu, Tim Teitelbaum |
| 1990 | PLDI | Higher-Order Attribute Grammars and Editing Environments. | Tim Teitelbaum, Richard Chapman |
| 1989 | POPL | Incremental Computation via Function Caching. | William W. Pugh, Tim Teitelbaum |
| 1986 | POPL | Remote Attribute Updating for Language-Based Editors. | Thomas W. Reps, Carla Marceau, Tim Teitelbaum |
| 1981 | POPL | Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. | Alan J. Demers, Thomas W. Reps, Tim Teitelbaum |