Thomas W. Reps

	2012
170		Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon: Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012)
	2011
169		Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps: ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264
168		Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps: Abstract Domains of Affine Relations. SAS 2011: 198-215
167		Evan Driscoll, Amanda Burton, Thomas W. Reps: Checking conformance of a producer and a consumer. SIGSOFT FSE 2011: 113-123
166		Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A decision procedure for detecting atomicity violations for communicating processes with locks. STTT 13(1): 37-60 (2011)
165		Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. STTT 13(1): 61-87 (2011)
164		Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding concurrency-related bugs using random isolation. STTT 13(6): 495-518 (2011)
	2010
163		Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps: Analysis Techniques for Information Security Morgan & Claypool Publishers 2010
162		William R. Harris, Somesh Jha, Thomas W. Reps: DIFC programs by automatic instrumentation. ACM Conference on Computer and Communications Security 2010: 284-296
161		Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305
160		Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal: There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56
159		Bill McCloskey, Thomas W. Reps, Mooly Sagiv: Statically Inferring Complex Heap, Array, and Numeric Invariants. SAS 2010: 71-99
158		Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv: A relational approach to interprocedural shape analysis. ACM Trans. Program. Lang. Syst. 32(2): (2010)
157		Thomas W. Reps, Mooly Sagiv, Alexey Loginov: Finite differencing of logical formulas for static analysis. ACM Trans. Program. Lang. Syst. 32(6): (2010)
156		Gogul Balakrishnan, Thomas W. Reps: WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32(6): (2010)
155		Matt Elder, Denis Gopan, Thomas W. Reps: View-Augmented Abstractions. Electr. Notes Theor. Comput. Sci. 267(1): 43-57 (2010)
	2009
154		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789
153		Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142
152		Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168
151		Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213
150		Akash Lal, Thomas W. Reps: Reducing concurrent analysis under a context bound to sequential analysis. Formal Methods in System Design 35(1): 73-97 (2009)
149		Tal 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
148		Akash Lal, Thomas W. Reps: Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. CAV 2008: 37-51
147		Thomas W. Reps, Gogul Balakrishnan: Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35
146		Junghee Lim, Thomas W. Reps: A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52
145		Nicholas Kidd, Akash Lal, Thomas W. Reps: Language Strength Reduction. SAS 2008: 283-298
144		Akash Lal, Thomas W. Reps: Solving Multiple Dataflow Queries Using WPDSs. SAS 2008: 93-109
143		Gogul Balakrishnan, Thomas W. Reps: Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140
142		Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
	2007
141		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
140		Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327
139		Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv: Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225
138		Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490
137		Denis Gopan, Thomas W. Reps: Low-Level Library Analysis and Summarization. CAV 2007: 68-81
136		Thomas W. Reps, Akash Lal, Nicholas Kidd: Program Analysis Using Weighted Pushdown Systems. FSTTCS 2007: 23-51
135		Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
134		Denis Gopan, Thomas W. Reps: Guided Static Analysis. SAS 2007: 349-365
133		Gogul Balakrishnan, Thomas W. Reps: DIVINE: DIscovering Variables IN Executables. VMCAI 2007: 1-28
132		Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps: Constructing Specialized Shape Analyses for Uniform Change. VMCAI 2007: 215-233
131		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. Malware Detection 2007: 43-61
130		Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
	2006
129		Akash Lal, Thomas W. Reps: Improving Pushdown System Model Checking. CAV 2006: 343-357
128		Denis Gopan, Thomas W. Reps: Lookahead Widening. CAV 2006: 452-466
127		Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173
126		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim: Intermediate-representation recovery from low-level code. PEPM 2006: 100-111
125		Thomas W. Reps, Mooly Sagiv, Jörg Bauer: An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation 2006: 1-11
124		Alexey Loginov, Thomas W. Reps, Mooly Sagiv: Refinement-Based Verification for Possibly-Cyclic Lists. Program Analysis and Compilation 2006: 247-272
123		Gogul Balakrishnan, Thomas W. Reps: Recency-Abstraction for Heap-Allocated Storage. SAS 2006: 221-239
122		Alexey Loginov, Thomas W. Reps, Mooly Sagiv: Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. SAS 2006: 261-279
121		Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26
120		Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349
119		Junghee Lim, Thomas W. Reps, Ben Liblit: Extracting Output Formats from Executables. WCRE 2006: 167-178
118		Eran 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
117		Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum: A Next-Generation Platform for Analyzing Executables. APLAS 2005: 212-229
116		Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115
115		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
114		Akash Lal, Thomas W. Reps, Gogul Balakrishnan: Extended Weighted Pushdown Systems. CAV 2005: 434-448
113		Alexey Loginov, Thomas W. Reps, Shmuel Sagiv: Abstraction Refinement via Inductive Learning. CAV 2005: 519-533
112		Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum: CodeSurfer/x86-A Platform for Analyzing x86 Executables. CC 2005: 250-254
111		Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant: Automatic discovery of API-level exploits. ICSE 2005: 312-321
110		Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
109		Denis Gopan, Thomas W. Reps, Shmuel Sagiv: A framework for numeric analysis of array operations. POPL 2005: 338-350
108		Bertrand Jeannet, Denis Gopan, Thomas W. Reps: A Relational Abstraction for Functions. SAS 2005: 186-202
107		Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum: WYSINWYX: What You See Is Not What You eXecute. VSTTE 2005: 202-213
106		Nurit 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
105		Rajeev 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)
104		Greta 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)
103		Thomas 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
102		Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
101		Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Verification via Structure Simulation. CAV 2004: 281-294
100		Gogul Balakrishnan, Thomas W. Reps: Analyzing Memory Accesses in x86 Executables. CC 2004: 5-23
99		Neil 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
98		Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv: A Relational Approach to Interprocedural Shape Analysis. SAS 2004: 246-264
97		Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv: Numeric Domains with Summarized Dimensions. TACAS 2004: 512-529
96		Greta Yorsh, Thomas W. Reps, Shmuel Sagiv: Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. TACAS 2004: 530-545
95		Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Symbolic Implementation of the Best Transformer. VMCAI 2004: 252-266
94		Somesh Jha, Thomas W. Reps: Model checking SPKI/SDSI. Journal of Computer Security 12(3-4): 317-353 (2004)
	2003
93		David Melski, Thomas W. Reps: The Interprocedural Express-Lane Transformation. CC 2003: 200-216
92		Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine: On Generalized Authorization Problems. CSFW 2003: 202-
91		Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
90		Thomas W. Reps, Shmuel Sagiv, Alexey Loginov: Finite Differencing of Logical Formulas for Static Analysis. ESOP 2003: 380-398
89		Thomas W. Reps, Stefan Schwoon, Somesh Jha: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS 2003: 189-213
88		Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)
87		Thomas W. Reps, Louis B. Rall: Computational Divided Differencing and Divided-Difference Arithmetics. Higher-Order and Symbolic Computation 16(1-2): 93-149 (2003)
86		Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins: Tool Support for Fine-Grained Software Inspection. IEEE Software 20(4): 42-50 (2003)
85		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
84		Somesh Jha, Thomas W. Reps: Analysis of SPKI/SDSI Certificates Using Model Checking. CSFW 2002: 129-
83		Thomas W. Reps, Alexey Loginov, Shmuel Sagiv: Semantic Minimization of 3-Valued Propositional Formulae. LICS 2002: 40-
82		Thomas W. Reps: Static Program Analysis via 3-Valued Logic. SAS 2002: 1
81		Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
80		Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
79		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
78		Zhichen Xu, Thomas W. Reps, Barton P. Miller: Typestate Checking of Machine Code. ESOP 2001: 335-351
77		Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Debugging via Run-Time Type Checking. FASE 2001: 217-232
76		Michael Benedikt, Patrice Godefroid, Thomas W. Reps: Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001: 652-666
	2000
75		Mark N. Wegman, Thomas W. Reps: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000 ACM 2000
74		Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps: Shape Analysis. CC 2000: 1-17
73		Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
72		Zhichen Xu, Barton P. Miller, Thomas W. Reps: Safety checking of machine code. PLDI 2000: 70-82
71		Thomas W. Reps: Undecidability of context-sensitive data-independence analysis. ACM Trans. Program. Lang. Syst. 22(1): 162-186 (2000)
70		David 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
69		David Melski, Thomas W. Reps: Interprocedural Path Profiling. CC 1999: 47-62
68		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
67		Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
66		Michael Benedikt, Thomas W. Reps, Shmuel Sagiv: A Decidable Logic for Describing Linked Data Structures. ESOP 1999: 2-19
65		Satish Chandra, Thomas W. Reps: Physical Type Checking for C. PASTE 1999: 66-75
64		Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Pointer Analysis for Programs with Structures and Casting. PLDI 1999: 91-103
63		Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
62		Michael Siff, Thomas W. Reps: Identifying Modules via Concept Analysis. IEEE Trans. Software Eng. 25(6): 749-768 (1999)
	1998
61		Shmuel 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)
60		Thomas W. Reps: "Maximal-munch" Tokenization in Linear Time. ACM Trans. Program. Lang. Syst. 20(2): 259-273 (1998)
59		Thomas W. Reps: Program analysis via graph reachability. Information & Software Technology 40(11-12): 701-726 (1998)
	1997
58		Thomas 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
57		Thomas W. Reps: The Use of Program Profiling for Software Testing. GI Jahrestagung 1997: 4-16
56		Michael Siff, Thomas W. Reps: Identifying modules via concept analysis. ICSM 1997: 170-179
55		Thomas W. Reps: Program Analysis via Graph Reachability. ILPS 1997: 5-19
54		David Melski, Thomas W. Reps: Interconveritibility of Set Constraints and Context-Free Language Reachability. PEPM 1997: 74-89
	1996
53		Thomas W. Reps, Todd Turnidge: Program Specialization via Program Slicing. Dagstuhl Seminar on Partial Evaluation 1996: 409-429
52		Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31
51		Michael Siff, Thomas W. Reps: Program Generalization for Software Reuse: From C to C++. SIGSOFT FSE 1996: 135-146
50		Thomas W. Reps: On the Sequential Nature of Interprocedural Program-Analysis Problems. Acta Inf. 33(8): 739-757 (1996)
49		G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for a Generalization of the Shortest-Path Problem. J. Algorithms 21(2): 267-305 (1996)
48		G. Ramalingam, Thomas W. Reps: On the Computational Complexity of Dynamic Graph Problems. Theor. Comput. Sci. 158(1&2): 233-277 (1996)
47		Shmuel 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
46		Thomas W. Reps: Shape Analysis as a Generalized Path Problem. PEPM 1995: 1-11
45		Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck: Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM 1995: 100-110
44		Thomas W. Reps, Susan Horwitz, Shmuel Sagiv: Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL 1995: 49-61
43		Susan Horwitz, Thomas W. Reps, Shmuel Sagiv: Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115
42		Thomas W. Reps, Genevieve Rosay: Precise Interprocedural Chopping. SIGSOFT FSE 1995: 41-52
41		Shmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665
40		David Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
	1994
39		Thomas W. Reps: Solving Demand Versions of Interprocedural Analysis Problems. CC 1994: 389-403
38		G. Ramalingam, Thomas W. Reps: An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. POPL 1994: 287-296
37		Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay: Speeding up Slicing. SIGSOFT FSE 1994: 11-20
36		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
35		G. Ramalingam, Thomas W. Reps: A Categorized Bibliography on Incremental Computation. POPL 1993: 502-510
34		Thomas W. Reps: Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism. SPAA 1993: 367-376
33		Thomas W. Reps: Demand Interprocedural Program Analysis Using Logic Databases. Workshop on Programming with Logic Databases (Book), ILPS 1993: 163-196
	1992
32		Susan Horwitz, Thomas W. Reps: The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411
31		Wuu 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)
30		Paul Klint, Thomas W. Reps, Gregor Snelting: Programming environments: report on an international workshop at Dagstuhl Castle. SIGPLAN Notices 27(11): 90-96 (1992)
	1991
29		G. Ramalingam, Thomas W. Reps: Modification Algebras. AMAST 1991: 547-558
28		G. Ramalingam, Thomas W. Reps: A Theory of Program Modifications. TAPSOFT, Vol.2 1991: 137-152
27		Susan Horwitz, Thomas W. Reps: Efficient Comparison of Program Slices. Acta Inf. 28(8): 713-732 (1991)
26		Thomas W. Reps: Algebraic Properties of Program Integration. Sci. Comput. Program. 17(1-3): 139-215 (1991)
	1990
25		Thomas W. Reps: Algebraic Properties of Program Integration. ESOP 1990: 326-340
24		Wuu Yang, Susan Horwitz, Thomas W. Reps: A program integration algorithm that accommodates semantics-preserving transformations. SDE 1990: 133-143
23		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)
	1989
22		Thomas W. Reps, Tim Teitelbaum: The synthesizer generator reference manual (3. ed.). Springer 1989: I-XI, 1-171
21		Thomas W. Reps, Tim Teitelbaum: The synthesizer generator - a system for constructing language-based editors. Springer 1989: I-XIII, 1-317
20		Susan Horwitz, Phil Pfeiffer, Thomas W. Reps: Dependence Analysis for Pointer Variables. PLDI 1989: 28-40
19		Thomas W. Reps, T. Bricker: Illustrating Interference in Interfering Versions of Programs. SCM 1989: 46-55
18		Thomas W. Reps, Wuu Yang: The Semantics of Program Slicing and Program Integration. TAPSOFT, Vol.2 1989: 360-374
17		Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)
	1988
16		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI 1988: 229-243
15		Thomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. ESOP 1988: 1-20
14		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46
13		Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Non-Interfering Versions of Programs. POPL 1988: 133-145
12		Susan Horwitz, Jan Prins, Thomas W. Reps: On the Adequacy of Program Dependence Graphs for Representing Programs. POPL 1988: 146-157
11		Thomas W. Reps, Susan Horwitz, Jan Prins: Support for Integrating Program Variants in an Environment for Programming in the Large. SCM 1988: 197-216
10		Thomas W. Reps: Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. Acta Inf. 25(2): 155-178 (1988)
	1987
9		Thomas W. Reps, Alan J. Demers: Sublinear-Space Evaluation Algorithms for Attribute Grammars. ACM Trans. Program. Lang. Syst. 9(3): 408-440 (1987)
	1986
8		Thomas W. Reps, Carla Marceau, Tim Teitelbaum: Remote Attribute Updating for Language-Based Editors. POPL 1986: 1-13
	1984
7		Thomas W. Reps: Generating Language-Based Environments. MIT Press 1984: 1-138
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
4		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)
	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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page