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

Thomas W. Reps 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

*2009
146EENicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142
145EEJunghee Lim, Akash Lal, Thomas W. Reps: Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168
144EENicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213
143EETal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh: Simulating reachability using first-order logic with applications to verification of linked data structures Logical Methods in Computer Science 5(2): (2009)
2008
142EEAkash Lal, Thomas W. Reps: Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. CAV 2008: 37-51
141EEThomas W. Reps, Gogul Balakrishnan: Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35
140EEJunghee Lim, Thomas W. Reps: A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52
139EENicholas Kidd, Akash Lal, Thomas W. Reps: Language Strength Reduction. SAS 2008: 283-298
138EEAkash Lal, Thomas W. Reps: Solving Multiple Dataflow Queries Using WPDSs. SAS 2008: 93-109
137EEGogul Balakrishnan, Thomas W. Reps: Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140
136EEAkash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
2007
135 Thomas W. Reps, Mooly Sagiv, Jörg Bauer: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Springer 2007
134EETal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327
133EEIgor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv: Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225
132EEDaphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
131EEDenis Gopan, Thomas W. Reps: Low-Level Library Analysis and Summarization. CAV 2007: 68-81
130EEThomas W. Reps, Akash Lal, Nicholas Kidd: Program Analysis Using Weighted Pushdown Systems. FSTTCS 2007: 23-51
129EEAkash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
128EEDenis Gopan, Thomas W. Reps: Guided Static Analysis. SAS 2007: 349-365
127EEGogul Balakrishnan, Thomas W. Reps: DIVINE: DIscovering Variables IN Executables. VMCAI 2007: 1-28
126EETal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233
125EEGreta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
2006
124EEAkash Lal, Thomas W. Reps: Improving Pushdown System Model Checking. CAV 2006: 343-357
123EEDenis Gopan, Thomas W. Reps: Lookahead Widening. CAV 2006: 452-466
122EEHao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173
121EEThomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111
120EEThomas W. Reps, Mooly Sagiv, Jörg Bauer: An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation 2006: 1-11
119EEAlexey Loginov, Thomas W. Reps, Mooly Sagiv: Refinement-Based Verification for Possibly-Cyclic Lists. Program Analysis and Compilation 2006: 247-272
118EEGogul Balakrishnan, Thomas W. Reps: Recency-Abstraction for Heap-Allocated Storage. SAS 2006: 221-239
117EEAlexey Loginov, Thomas W. Reps, Mooly Sagiv: Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. SAS 2006: 261-279
116EESomesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26
115EESagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349
114EEJunghee Lim, Thomas W. Reps, Ben Liblit: Extracting Output Formats from Executables. WCRE 2006: 167-178
113EEEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL 14(5): 755-783 (2006)
2005
112EEThomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229
111EETal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115
110EEGogul 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
109EEAkash Lal, Thomas W. Reps, Gogul Balakrishnan: Extended Weighted Pushdown Systems. CAV 2005: 434-448
108EEAlexey Loginov, Thomas W. Reps, Shmuel Sagiv: Abstraction Refinement via Inductive Learning. CAV 2005: 519-533
107EEGogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254
106EEVinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant: Automatic discovery of API-level exploits. ICSE 2005: 312-321
105EENoam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
104EEDenis Gopan, Thomas W. Reps, Shmuel Sagiv: A framework for numeric analysis of array operations. POPL 2005: 338-350
103EEBertrand Jeannet, Denis Gopan, Thomas W. Reps: A Relational Abstraction for Functions. SAS 2005: 186-202
102EEGogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum: WYSINWYX: What You See Is Not What You eXecute. VSTTE 2005: 202-213
101EENurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
100EERajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis: Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27(4): 786-818 (2005)
99EEGreta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv: Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Electr. Notes Theor. Comput. Sci. 131: 125-138 (2005)
98EEThomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2): 206-263 (2005)
2004
97EEThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
96EENeil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Verification via Structure Simulation. CAV 2004: 281-294
95EEGogul Balakrishnan, Thomas W. Reps: Analyzing Memory Accesses in x86 Executables. CC 2004: 5-23
94EENeil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. CSL 2004: 160-174
93EEBertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv: A Relational Approach to Interprocedural Shape Analysis. SAS 2004: 246-264
92EEDenis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv: Numeric Domains with Summarized Dimensions. TACAS 2004: 512-529
91EEGreta Yorsh, Thomas W. Reps, Shmuel Sagiv: Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. TACAS 2004: 530-545
90EEThomas W. Reps, Shmuel Sagiv, Greta Yorsh: Symbolic Implementation of the Best Transformer. VMCAI 2004: 252-266
89 Somesh Jha, Thomas W. Reps: Model checking SPKI/SDSI. Journal of Computer Security 12(3-4): 317-353 (2004)
2003
88EEDavid Melski, Thomas W. Reps: The Interprocedural Express-Lane Transformation. CC 2003: 200-216
87EEStefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine: On Generalized Authorization Problems. CSFW 2003: 202-
86EEEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
85EEThomas W. Reps, Shmuel Sagiv, Alexey Loginov: Finite Differencing of Logical Formulas for Static Analysis. ESOP 2003: 380-398
84EEThomas W. Reps, Stefan Schwoon, Somesh Jha: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS 2003: 189-213
83EEGreta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)
82EEThomas W. Reps, Louis B. Rall: Computational Divided Differencing and Divided-Difference Arithmetics. Higher-Order and Symbolic Computation 16(1-2): 93-149 (2003)
81EEPaul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins: Tool Support for Fine-Grained Software Inspection. IEEE Software 20(4): 42-50 (2003)
80EEPaul 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
79EESomesh Jha, Thomas W. Reps: Analysis of SPKI/SDSI Certificates Using Model Checking. CSFW 2002: 129-
78EEThomas W. Reps, Alexey Loginov, Shmuel Sagiv: Semantic Minimization of 3-Valued Propositional Formulae. LICS 2002: 40-
77EEThomas W. Reps: Static Program Analysis via 3-Valued Logic. SAS 2002: 1
76 Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
75EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
74EEEdmund 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
73EEZhichen Xu, Thomas W. Reps, Barton P. Miller: Typestate Checking of Machine Code. ESOP 2001: 335-351
72EEAlexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Debugging via Run-Time Type Checking. FASE 2001: 217-232
71EEMichael Benedikt, Patrice Godefroid, Thomas W. Reps: Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001: 652-666
2000
70EEReinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps: Shape Analysis. CC 2000: 1-17
69EETal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
68EEZhichen Xu, Barton P. Miller, Thomas W. Reps: Safety checking of machine code. PLDI 2000: 70-82
67EEThomas W. Reps: Undecidability of context-sensitive data-independence analysis. ACM Trans. Program. Lang. Syst. 22(1): 162-186 (2000)
66EEDavid Melski, Thomas W. Reps: Interconvertibility of a class of set constraints and context-free-language reachability. Theor. Comput. Sci. 248(1-2): 29-98 (2000)
1999
65EEDavid Melski, Thomas W. Reps: Interprocedural Path Profiling. CC 1999: 47-62
64EEEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312
63EEMichael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
62EEMichael Benedikt, Thomas W. Reps, Shmuel Sagiv: A Decidable Logic for Describing Linked Data Structures. ESOP 1999: 2-19
61EESatish Chandra, Thomas W. Reps: Physical Type Checking for C. PASTE 1999: 66-75
60EESuan Hsi Yong, Susan Horwitz, Thomas W. Reps: Pointer Analysis for Programs with Structures and Casting. PLDI 1999: 91-103
59EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
58EEMichael Siff, Thomas W. Reps: Identifying Modules via Concept Analysis. IEEE Trans. Software Eng. 25(6): 749-768 (1999)
1998
57EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. 20(1): 1-50 (1998)
56EEThomas W. Reps: "Maximal-munch" Tokenization in Linear Time. ACM Trans. Program. Lang. Syst. 20(2): 259-273 (1998)
55EEThomas W. Reps: Program analysis via graph reachability. Information & Software Technology 40(11-12): 701-726 (1998)
1997
54EEThomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus: The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE 1997: 432-449
53 Thomas W. Reps: The Use of Program Profiling for Software Testing. GI Jahrestagung 1997: 4-16
52EEMichael Siff, Thomas W. Reps: Identifying modules via concept analysis. ICSM 1997: 170-179
51 Thomas W. Reps: Program Analysis via Graph Reachability. ILPS 1997: 5-19
50EEDavid Melski, Thomas W. Reps: Interconveritibility of Set Constraints and Context-Free Language Reachability. PEPM 1997: 74-89
1996
49 Thomas W. Reps, Todd Turnidge: Program Specialization via Program Slicing. Dagstuhl Seminar on Partial Evaluation 1996: 409-429
48EEShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31
47EEMichael Siff, Thomas W. Reps: Program Generalization for Software Reuse: From C to C++. SIGSOFT FSE 1996: 135-146
46 Thomas W. Reps: On the Sequential Nature of Interprocedural Program-Analysis Problems. Acta Inf. 33(8): 739-757 (1996)
45 G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for a Generalization of the Shortest-Path Problem. J. Algorithms 21(2): 267-305 (1996)
44EEG. Ramalingam, Thomas W. Reps: On the Computational Complexity of Dynamic Graph Problems. Theor. Comput. Sci. 158(1&2): 233-277 (1996)
43EEShmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. Theor. Comput. Sci. 167(1&2): 131-170 (1996)
1995
42 Thomas W. Reps: Shape Analysis as a Generalized Path Problem. PEPM 1995: 1-11
41 Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck: Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM 1995: 100-110
40 Thomas W. Reps, Susan Horwitz, Shmuel Sagiv: Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL 1995: 49-61
39EESusan Horwitz, Thomas W. Reps, Shmuel Sagiv: Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115
38EEThomas W. Reps, Genevieve Rosay: Precise Interprocedural Chopping. SIGSOFT FSE 1995: 41-52
37EEShmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665
36EEDavid Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
1994
35EEThomas W. Reps: Solving Demand Versions of Interprocedural Analysis Problems. CC 1994: 389-403
34 G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. POPL 1994: 287-296
33EEThomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay: Speeding up Slicing. SIGSOFT FSE 1994: 11-20
32 G. Ramalingam, Thomas W. Reps: On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. Inf. Process. Lett. 51(3): 155-161 (1994)
1993
31 G. Ramalingam, Thomas W. Reps: A Categorized Bibliography on Incremental Computation. POPL 1993: 502-510
30EEThomas W. Reps: Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism. SPAA 1993: 367-376
29 Thomas W. Reps: Demand Interprocedural Program Analysis Using Logic Databases. Workshop on Programming with Logic Databases (Book), ILPS 1993: 163-196
1992
28EESusan Horwitz, Thomas W. Reps: The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411
27EEWuu Yang, Susan Horwitz, Thomas W. Reps: A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. ACM Trans. Softw. Eng. Methodol. 1(3): 310-354 (1992)
26EEPaul Klint, Thomas W. Reps, Gregor Snelting: Programming environments: report on an international workshop at Dagstuhl Castle. SIGPLAN Notices 27(11): 90-96 (1992)
1991
25 G. Ramalingam, Thomas W. Reps: Modification Algebras. AMAST 1991: 547-558
24EEG. Ramalingam, Thomas W. Reps: A Theory of Program Modifications. TAPSOFT, Vol.2 1991: 137-152
23 Susan Horwitz, Thomas W. Reps: Efficient Comparison of Program Slices. Acta Inf. 28(8): 713-732 (1991)
22 Thomas W. Reps: Algebraic Properties of Program Integration. Sci. Comput. Program. 17(1-3): 139-215 (1991)
1990
21EEThomas W. Reps: Algebraic Properties of Program Integration. ESOP 1990: 326-340
20EESusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)
1989
19 Susan Horwitz, Phil Pfeiffer, Thomas W. Reps: Dependence Analysis for Pointer Variables. PLDI 1989: 28-40
18 Thomas W. Reps, T. Bricker: Illustrating Interference in Interfering Versions of Programs. SCM 1989: 46-55
17EEThomas W. Reps, Wuu Yang: The Semantics of Program Slicing and Program Integration. TAPSOFT, Vol.2 1989: 360-374
16EESusan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)
1988
15EESusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI 1988: 229-243
14EEThomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. ESOP 1988: 1-20
13 Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs PLDI 1988: 35-46
12 Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Non-Interfering Versions of Programs. POPL 1988: 133-145
11 Susan Horwitz, Jan Prins, Thomas W. Reps: On the Adequacy of Program Dependence Graphs for Representing Programs. POPL 1988: 146-157
10 Thomas W. Reps, Susan Horwitz, Jan Prins: Support for Integrating Program Variants in an Environment for Programming in the Large. SCM 1988: 197-216
9 Thomas W. Reps: Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. Acta Inf. 25(2): 155-178 (1988)
1987
8EEThomas W. Reps, Alan J. Demers: Sublinear-Space Evaluation Algorithms for Attribute Grammars. ACM Trans. Program. Lang. Syst. 9(3): 408-440 (1987)
1986
7 Thomas W. Reps, Carla Marceau, Tim Teitelbaum: Remote Attribute Updating for Language-Based Editors. POPL 1986: 1-13
1984
6 Thomas W. Reps, Bowen Alpern: Interactive Proof Checking. POPL 1984: 36-45
5 Thomas W. Reps, Tim Teitelbaum: The Synthesizer Generator. Software Development Environments (SDE) 1984: 42-48
1983
4EEThomas 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)
1982
3 Thomas W. Reps: Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. POPL 1982: 169-176
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

1Bowen Alpern [6]
2Rajeev Alur [100]
3Daphna Amit [132]
4Paul Anderson [80] [81]
5Gogul Balakrishnan [95] [102] [107] [109] [110] [112] [118] [121] [127] [137] [141]
6Thomas Ball [54] [63]
7Michael Benedikt [62] [71] [100]
8David Binkley [13] [15] [20] [36]
9Igor Bogudlov [133]
10T. Bricker [18]
11Randal E. Bryant [106]
12Sagar Chaki [115]
13Satish Chandra [61] [63]
14Chi-Hua Chen [110]
15Edmund M. Clarke [64] [74] [115]
16Manuvir Das [41] [54]
17Alan J. Demers [2] [4] [8]
18Frank DiMaio [92]
19Julian Dolby [144]
20Nurit Dor [92] [101]
21Kousha Etessami [100]
22John Field [101]
23Masahiro Fujita [64] [74]
24Vinod Ganapathy [106]
25Patrice Godefroid [71] [100]
26Denis Gopan [92] [101] [103] [104] [123] [128] [131]
27Radu Gruian [107] [110]
28Pascal Van Hentenryck [41]
29Susan Horwitz [10] [11] [12] [13] [14] [15] [16] [19] [20] [23] [27] [28] [33] [36] [37] [39] [40] [43] [60] [72]
30Neil Immerman [94] [96] [111] [126] [143]
31Bertrand Jeannet [93] [103]
32Somesh Jha [79] [84] [87] [89] [98] [106] [116] [122]
33Nicholas Kidd [110] [115] [129] [130] [136] [139] [144] [146]
34Paul Klint [26]
35Jörg Kreiker (Jörg Bauer) [105] [120] [135]
36Krishna Kunchithapadam [63]
37Akash Lal [109] [110] [124] [129] [130] [136] [138] [139] [142] [145]
38Peter Lammich [146]
39James R. Larus [54]
40Tal Lev-Ami [69] [101] [111] [126] [133] [134] [143]
41Ben Liblit [114]
42Junghee Lim [110] [112] [114] [121] [140] [145]
43Alexey Loginov [72] [78] [85] [93] [101] [108] [117] [119]
44Roman Manevich [101]
45Carla Marceau [7]
46David Melski [50] [65] [66] [88] [98] [102] [110]
47Barton P. Miller [68] [73]
48Phil Pfeiffer [19]
49Jan Prins [10] [11] [12] [16]
50Alexander Moshe Rabinovich (Alexander Rabinovich) [94] [96]
51Sreeranga P. Rajan [64] [74]
52Louis B. Rall [82]
53G. Ramalingam (Ganesan Ramalingam) [24] [25] [31] [32] [34] [44] [45] [101]
54Noam Rinetzky [101] [105] [132]
55Genevieve Rosay [33] [38]
56Shmuel Sagiv (Mooly Sagiv) [33] [37] [39] [40] [43] [48] [57] [59] [62] [69] [70] [75] [76] [78] [83] [85] [86] [90] [91] [92] [93] [94] [96] [97] [99] [101] [104] [105] [108] [111] [113] [117] [119] [120] [125] [126] [132] [133] [134] [135] [143]
57Stefan Schwoon [84] [87] [98] [116] [122]
58Sanjit A. Seshia [106]
59Subash Shankar [64] [74]
60Michael Siff [47] [52] [58] [63]
61Alexey Skidanov [99]
62Gregor Snelting [26]
63S. Srivastava [111]
64Siddharth Srivastava [143]
65Stuart G. Stubblebine [87] [122]
66Tim Teitelbaum [1] [2] [4] [5] [7] [64] [74] [80] [81] [102] [107] [110] [112]
67Tayssir Touili [115] [129] [136] [146]
68Todd Turnidge [49]
69Mandana Vaziri [144]
70Hao Wang [116] [122]
71Christoph Weidenbach [134]
72Reinhard Wilhelm [48] [57] [59] [69] [70] [75] [76] [83] [86] [97] [101] [105] [113] [125]
73Zhichen Xu [68] [73]
74Eran Yahav [86] [101] [113] [132]
75Wuu Yang [17] [27]
76Mihalis Yannakakis [100]
77Suan Hsi Yong [60] [72] [110]
78Greta Yorsh [83] [90] [91] [94] [96] [99] [101] [111] [125] [143]
79Mark Zarins [81]

Colors in the list of coauthors

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