Author|Conference|Journal|Year
Look for results that meet for the following criteria:
View Top Co-Authors In Visual Explorer
Thomas W. Reps

Top Co-Authors:

ObjectID : Author/316437
Thomas W. Reps
(Publications: 254)
(Citation Count: 6495)
(G-Index: 74)
(H-Index: 41)
Madison , WI , USA
University of Wisconsin
Permanent Link: http://academic.research.microsoft.com/Author/316437.aspx
Order by: Year|Citation|Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.                   Learn more
Year 2009
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri :
Finding Concurrency-Related Bugs Using Random Isolation
, VMCAI
, 2009
(Citations: 2)
Junghee Lim, Akash Lal, Thomas W. Reps :
Symbolic Analysis via Semantic Reinterpretation
, SPIN
, 2009
(Citations: 1)
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
, CORR
, 2009
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps :
Verifying Information Flow Control over Unbounded Processes
, FM
, 2009
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps :
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
, SPIN
, 2009
Akash Lal, Thomas W. Reps :
Reducing concurrent analysis under a context bound to sequential analysis
, FMSD
, 2009
Year 2008
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps :
Interprocedural Analysis of Concurrent Programs Under a Context Bound
, TACAS
, 2008
(Citations: 6)
Akash Lal, Thomas W. Reps :
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
, CAV
, 2008
(Citations: 6)
Nicholas Kidd, Akash Lal, Thomas W. Reps :
Language Strength Reduction
, SAS(WSA)
, 2008
(Citations: 1)
Junghee Lim, Thomas W. Reps :
A System for Generating Static Analyzers for Machine Instructions
, CC
, 2008
(Citations: 3)
Akash Lal, Thomas W. Reps :
Solving Multiple Dataflow Queries Using WPDSs
, SAS(WSA)
, 2008
(Citations: 1)
Gogul Balakrishnan, Thomas W. Reps :
Analyzing Stripped Device-Driver Executables
, TACAS
, 2008
(Citations: 1)
Thomas W. Reps, Gogul Balakrishnan :
Improved Memory-Access Analysis for x86 Executables
, CC
, 2008
Year 2007
Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav :
Comparison Under Abstraction for Verifying Linearizability
, CAV
, 2007
(Citations: 9)
Gogul Balakrishnan, Thomas W. Reps :
DIVINE: DIscovering Variables IN Executables
, VMCAI
, 2007
(Citations: 10)
Denis Gopan, Thomas W. Reps :
Guided Static Analysis
, SAS(WSA)
, 2007
(Citations: 7)
Igor Bogudlov, Tal Lev-ami, Thomas W. Reps, Mooly Sagiv :
Revamping TVLA: Making Parametric Shape Analysis Competitive
, CAV
, 2007
(Citations: 5)
Denis Gopan, Thomas W. Reps :
Low-Level Library Analysis and Summarization
, CAV
, 2007
(Citations: 4)
Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm :
Logical characterizations of heap abstractions
, TOCL
, 2007
(Citations: 5)
Thomas W. Reps, Akash Lal, Nicholas Kidd :
Program Analysis Using Weighted Pushdown Systems
, FSTTCS
, 2007
(Citations: 3)
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili :
Abstract Error Projection
, SAS(WSA)
, 2007
(Citations: 3)
Tal Lev-ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv :
Labelled Clauses
, CADE
, 2007
(Citations: 2)
Tal Lev-ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps :
Constructing Specialized Shape Analyses for Uniform Change
, VMCAI
, 2007
Year 2006
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili :
Verifying Concurrent Message-Passing C Programs with Recursive Calls
, TACAS
, 2006
(Citations: 13)
Denis Gopan, Thomas W. Reps :
Lookahead Widening
, CAV
, 2006
(Citations: 13)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim :
Intermediate-representation recovery from low-level code
, PEPM
, 2006
(Citations: 12)
Junghee Lim, Thomas W. Reps, Ben Liblit :
Extracting Output Formats from Executables
, WCRE
, 2006
(Citations: 6)
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine :
Reducing the Dependence of SPKI/SDSI on PKI
, ESORICS
, 2006
(Citations: 2)
Gogul Balakrishnan, Thomas W. Reps :
Recency-Abstraction for Heap-Allocated Storage
, SAS(WSA)
, 2006
(Citations: 5)
Alexey Loginov, Thomas W. Reps, Mooly Sagiv :
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
, SAS(WSA)
, 2006
(Citations: 4)
Akash Lal, Thomas W. Reps :
Improving Pushdown System Model Checking
, CAV
, 2006
(Citations: 5)
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps :
Weighted Pushdown Systems and Trust-Management Systems
, TACAS
, 2006
(Citations: 3)
M. Sagiv, T. Reps, R. Wilhelm :
Parametric shape analysis via 3-valued logic
, 2006
(Citations: 1)
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
Verifying Temporal Heap Properties Specified via Evolution Logic
, IGPL
, 2006
(Citations: 1)
Alexey Loginov, Thomas W. Reps, Mooly Sagiv :
Refinement-Based Verification for Possibly-Cyclic Lists
, Birthday ...
, 2006
Thomas W. Reps, Mooly Sagiv, Jörg Bauer :
An Appreciation of the Work of Reinhard Wilhelm
, Birthday ...
, 2006
Year 2005
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
A semantics for procedure local heaps and its abstractions
, POPL
, 2005
(Citations: 35)
Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis :
Analysis of recursive state machines
, TOPLAS
, 2005
(Citations: 34)
Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski :
Weighted pushdown systems and their application to interprocedural dataflow analysis
, SCP
, 2005
(Citations: 30)
Denis Gopan, Thomas W. Reps, Shmuel Sagiv :
A framework for numeric analysis of array operations
, POPL
, 2005
(Citations: 25)
Alexey Loginov, Thomas W. Reps, Shmuel Sagiv :
Abstraction Refinement via Inductive Learning
, CAV
, 2005
(Citations: 22)
Tal 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
(Citations: 28)
Akash Lal, Thomas W. Reps, Gogul Balakrishnan :
Extended Weighted Pushdown Systems
, CAV
, 2005
(Citations: 18)
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant :
Automatic discovery of API-level exploits
, ICSE
, 2005
(Citations: 11)
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum :
A Next-Generation Platform for Analyzing Executables
, APLAS
, 2005
(Citations: 9)
Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum :
CodeSurfer/x86-A Platform for Analyzing x86 Executables
, CC
, 2005
(Citations: 6)
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
(Citations: 8)
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum :
WYSINWYX: What You See Is Not What You eXecute
, 2005
(Citations: 7)
Alexey Loginov, Thomas Reps, Mooly Sagiv, Tel Aviv Univ :
Learning Abstractions for Verifying Data-Structure Properties
, 2005
(Citations: 4)
Gogul Balakrishnan, Thomas Reps :
Recovery of Variables and Heap Structure in x86 Executables
, 2005
(Citations: 5)
N. Kidd, T. Reps, D. Melski, A. Lal :
WPDS++: A C++ library for weighted pushdown systems
, 2005
(Citations: 4)
Greta Yorsh, Alexey Skidanov, Thomas Reps, Mooly Sagiv :
Automatic assume/guarantee reasoning for heap-manupilating programs
, 2005
(Citations: 5)
Bertrand Jeannet, Denis Gopan, Thomas W. Reps :
A Relational Abstraction for Functions
, SAS(WSA)
, 2005
(Citations: 2)
G. Yorsh, T. Reps, M. Sagiv, R. Wilhelm :
Logical characterizations of heap abstractions
, 2005
(Citations: 3)
Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv :
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work
, ENTCS
, 2005
(Citations: 2)
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
, 2005
Year 2004
Gogul Balakrishnan, Thomas W. Reps :
Analyzing Memory Accesses in x86 Executables
, CC
, 2004
(Citations: 75)
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv :
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
, TACAS
, 2004
(Citations: 43)
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh :
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
, CSL
, 2004
(Citations: 33)
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv :
A Relational Approach to Interprocedural Shape Analysis
, SAS(WSA)
, 2004
(Citations: 29)
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh :
Symbolic Implementation of the Best Transformer
, VMCAI
, 2004
(Citations: 25)
Denis Gopan, Frank Dimaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv :
Numeric Domains with Summarized Dimensions
, TACAS
, 2004
(Citations: 22)
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh :
Verification via Structure Simulation
, CAV
, 2004
(Citations: 16)
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
Static Program Analysis via 3-Valued Logic
, CAV
, 2004
(Citations: 13)
A. Loginov, T. Reps, M. Sagiv :
Abstraction refinement for 3-valued-logic analysis
, 2004
(Citations: 6)
Somesh Jha, Thomas W. Reps :
Model checking SPKI/SDSI
, JCS
, 2004
(Citations: 8)
Susan Horwitz, Thomas Reps, David Binkley :
Interprocedural slicing using dependence graphs
, SIGPLAN
, 2004
(Citations: 5)
N. Kidd, T. Reps, D. Melski, A. Lal :
WPDS++: A C++ library for weighted pushdown systems
, 2004
(Citations: 4)
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, R. Wilhelm :
A semantics for procedure local heaps and its abstractions
, 2004
(Citations: 2)
Year 2003
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
Verifying Temporal Heap Properties Specified via Evolution Logic
, ESOP
, 2003
(Citations: 33)
Thomas W. Reps, Stefan Schwoon, Somesh Jha :
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
, SAS(WSA)
, 2003
(Citations: 31)
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov :
Finite Differencing of Logical Formulas for Static Analysis
, ESOP
, 2003
(Citations: 32)
Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine :
On Generalized Authorization Problems
, CSFW
, 2003
(Citations: 16)
Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins :
Tool Support for Fine-Grained Software Inspection
, SOFTWARE
, 2003
(Citations: 12)
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
Logical Characterizations of Heap Abstractions
, CORR
, 2003
(Citations: 18)
Paul Anderson, Thomas W. Reps, Tim Teitelbaum :
Design and Implementation of a Fine-Grained Software Inspection Tool
, TSE
, 2003
(Citations: 13)
Thomas Reps, Mooly Sagiv, Greta Yorsh :
Symbolic implementation of the best transformer
, 2003
(Citations: 4)
T. Reps, M. Sagiv, A. Loginov :
Finite differencing of logical formulas with applications to program analysis
, 2003
(Citations: 3)
Thomas W. Reps, Louis B. Rall :
Computational Divided Differencing and Divided-Difference Arithmetics
, LISP
, 2003
(Citations: 1)
N. Immerman, A. Rabinovich, T. Reps, M. Sagiv, G. Yorsh :
Decidable logics for expressing heap connectivity
, 2003
(Citations: 1)
G. Yorsh, T. Reps, M. Sagiv :
Symbolically computing most-precise ab-stract operations for shape analysis
, 2003
(Citations: 2)
S. Schwoon, S. Jha, T. Reps, S. Stubblebine :
On generalized authentication problems
, 2003
(Citations: 1)
David Melski, Thomas W. Reps :
The Interprocedural Express-Lane Transformation
, CC
, 2003
Year 2002
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm :
Parametric shape analysis via 3-valued logic
, TOPLAS
, 2002
(Citations: 254)
Somesh Jha, Thomas W. Reps :
Analysis of SPKI/SDSI Certificates Using Model Checking
, CSFW
, 2002
(Citations: 20)
Thomas W. Reps, Alexey Loginov, Shmuel Sagiv :
Semantic Minimization of 3-Valued Propositional Formulae
, LICS
, 2002
(Citations: 7)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum :
Program slicing for VHDL
, STTT
, 2002
(Citations: 4)
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv :
Shape Analysis and Applications
, 2002
(Citations: 3)
Eran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm :
Automatic Verification of Temporal Properties of Concurrent Heap-Manipulating Programs using Evolution Logic
, 2002
(Citations: 3)
S. Sagiv, T. W. Reps, R. Wilhelm :
Parametric Shape Analysis via 3 - valued Logic TOPLAS
, 2002
Thomas W. Reps :
Static Program Analysis via 3-Valued Logic
, SAS(WSA)
, 2002
Year 2001
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps :
Debugging via Run-Time Type Checking
, FASE
, 2001
(Citations: 42)
Michael Benedikt, Patrice Godefroid, Thomas W. Reps :
Model Checking of Unrestricted Hierarchical State Machines
, ICALP
, 2001
(Citations: 30)
Zhichen Xu, Thomas W. Reps, Barton P. Miller :
Typestate Checking of Machine Code
, ESOP
, 2001
(Citations: 18)
Eran Yahav, Thomas Reps, Mooly Sagiv :
LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects
, 2001
(Citations: 5)
T. Reps, M. Sagiv, R. Wilhelm :
Automatic verification of a simple mark and sweep garbabge collector
, 2001
(Citations: 2)
Year 2000
Tal Lev-ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm :
Putting static analysis to work for verification: A case study
, ISSTA
, 2000
(Citations: 74)
Zhichen Xu, Barton P. Miller, Thomas W. Reps :
Safety checking of machine code
, PLDI
, 2000
(Citations: 44)
Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps :
Shape Analysis
, CC
, 2000
(Citations: 47)
Thomas Reps, Thomas Ball, Manuvir Das :
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem
, 2000
(Citations: 19)
Thomas W. Reps :
Undecidability of context-sensitive data-independence analysis
, TOPLAS
, 2000
(Citations: 17)
David Melski, Thomas W. Reps :
Interconvertibility of a class of set constraints and context-free-language reachability
, TCS
, 2000
(Citations: 20)
Zhichen Xu, Tom Reps, Bart Miller :
Typestate Checking of Machine Code
, 2000
(Citations: 11)
Thomas Reps :
Program Analysis via Graph Reachability
, 2000
(Citations: 3)
R. Wilhelm, M. Sagiv, T. Reps :
In proceedings of the 2000 international conference on compiler construction
, 2000
(Citations: 2)
R. Wilhelm, M. Sagiv, T. Reps :
9th International Conference on Compiler Construction
, 2000
(Citations: 1)
T. Reps, T. Ball, M. Das, J. R. Larus :
In technical report 1335
, 2000
Thomas W. Reps, Louis B. Rall :
Computational Divided Differencing and Divided-Difference Arithmetics
, 2000
Year 1999
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm :
Parametric Shape Analysis via 3-Valued Logic
, POPL
, 1999
(Citations: 161)
Michael Benedikt, Thomas W. Reps, Shmuel Sagiv :
A Decidable Logic for Describing Linked Data Structures
, ESOP
, 1999
(Citations: 57)
Suan Hsi Yong, Susan Horwitz, Thomas W. Reps :
Pointer Analysis for Programs with Structures and Casting
, PLDI
, 1999
(Citations: 63)
Satish Chandra, Thomas W. Reps :
Physical Type Checking for C
, PASTE
, 1999
(Citations: 40)
Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps :
Coping with Type Casts in C
, ESEC
, 1999
(Citations: 39)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum :
Program Slicing of Hardware Description Languages
, CHARME
, 1999
(Citations: 29)
David Melski, Thomas W. Reps :
Interprocedural Path Profiling
, CC
, 1999
(Citations: 28)
Michael Siff, Thomas W. Reps :
Identifying Modules via Concept Analysis
, TSE
, 1999
(Citations: 28)
S. Chandra, T. Reps :
Physical type checking for c" paste
, 1999
(Citations: 18)
T. Reps :
Undecidability of context_sensitive data-dependence analysis
, 1999
(Citations: 4)
M. Benedikt, T. Reps, M. Sagiv :
A decidable logic for linked data structures
, 1999
(Citations: 5)
David Melski, Thomas W. Reps, Compiler Construction Editor :
Held as Part of the European Joint Conferences on the Theory and Practice of Software
, 1999
(Citations: 1)
Year 1998
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm :
Solving Shape-Analysis Problems in Languages with Destructive Updating
, TOPLAS
, 1998
(Citations: 184)
Thomas W. Reps :
Program analysis via graph reachability
, INFSOF
, 1998
(Citations: 55)
David Melski, Thomas Reps :
Interconvertibility of Set Constraints and Context-Free Language Reachability
, 1998
(Citations: 7)
David Melski, Thomas Reps :
Interprocedural Path Pro ling
, 1998
(Citations: 7)
Thomas W. Reps :
"Maximal-munch" Tokenization in Linear Time
, TOPLAS
, 1998
(Citations: 4)
E. M. Clarke, M. Fujita, S. P. Rajan, T. Reps, S. Shankar, T. Teitelbaum :
Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul
, 1998
(Citations: 1)
Hausi Müller, Thomas Reps, Gregor Snelting :
Program comprehension and software reengineering
, ACM SIGSOFT Software Engineering Notes
, 1998
Year 1997
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
, 1997
(Citations: 77)
Michael Siff, Thomas W. Reps :
Identifying modules via concept analysis
, ICSM
, 1997
(Citations: 89)
Thomas W. Reps :
Program Analysis via Graph Reachability
, ILPS/ISLP/NACLP/SLP
, 1997
(Citations: 33)
David Melski, Thomas W. Reps :
Interconveritibility of Set Constraints and Context-Free Language Reachability
, PEPM
, 1997
(Citations: 23)
S. Sagiv, T. Reps, R. Wilhelm :
Solving shape-analysis problems in languages with destructive updating
, 1997
(Citations: 1)
S. Horwitz, T. Reps, T. Bricker, G. Rosay :
Wisconsin Program-Slicing Tool
, 1997
(Citations: 3)
Thomas W. Reps :
The Use of Program Profiling for Software Testing
, GI-Jahrestagung
, 1997
(Citations: 2)
T. Reps :
The Use of Program Profiling in Software Testing
, 1997
(Citations: 2)
Year 1996
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm :
Solving Shape-Analysis Problems in Languages with Destructive Updating
, POPL
, 1996
(Citations: 132)
G. Ramalingam, Thomas W. Reps :
An Incremental Algorithm for a Generalization of the Shortest-Path Problem
, JAL
, 1996
(Citations: 85)
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz :
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
, TCS
, 1996
(Citations: 68)
G. Ramalingam, Thomas W. Reps :
On the Computational Complexity of Dynamic Graph Problems
, TCS
, 1996
(Citations: 47)
Thomas W. Reps, Todd Turnidge :
Program Specialization via Program Slicing
, Dagstuhl Seminars
, 1996
(Citations: 57)
Michael Siff, Thomas W. Reps :
Program Generalization for Software Reuse: From C to C++
, SIGSOFT FSE
, 1996
(Citations: 17)
Thomas W. Reps :
On the Sequential Nature of Interprocedural Program-Analysis Problems
, ACTA
, 1996
(Citations: 11)
G. Ramalingam, T. Reps :
On the computational complexity of dynamic graph algorithms
, 1996
(Citations: 2)
M. Siff, T. Reps :
Program generalization for software reuse
, 1996
(Citations: 1)
Year 1995
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv :
Precise Interprocedural Dataflow Analysis via Graph Reachability
, POPL
, 1995
(Citations: 284)
Susan Horwitz, Thomas W. Reps, Shmuel Sagiv :
Demand Interprocedural Dataflow Analysis
, SIGSOFT FSE
, 1995
(Citations: 82)
David Binkley, Susan Horwitz, Thomas W. Reps :
Program Integration for Languages with Procedure Calls
, TOSEM
, 1995
(Citations: 56)
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz :
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
, TAPSOFT
, 1995
(Citations: 45)
Thomas W. Reps, Genevieve Rosay :
Precise Interprocedural Chopping
, SIGSOFT FSE
, 1995
(Citations: 44)
Thomas W. Reps :
Shape Analysis as a Generalized Path Problem
, PEPM
, 1995
(Citations: 27)
Thomas Reps, Todd Turnidge :
Program Specialization via Program Slicing
, 1995
(Citations: 31)
Thomas Reps :
On the Sequential Nature of Interprocedural Program-Analysis Problems
, 1995
(Citations: 10)
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck :
Semantic Foundations of Binding Time Analysis for Imperative Programs
, PEPM
, 1995
(Citations: 9)
M. Sagiv, T. Reps, R. Wilhelm :
Solving shape-analysis problems in languages with destructive updating
, 1995
(Citations: 2)
Year 1994
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay :
Speeding up Slicing
, SIGSOFT FSE
, 1994
(Citations: 100)
Thomas Reps, Mooly Sagiv :
Interprocedural DataflowAnalysis via Graph Reachability
, 1994
(Citations: 28)
Thomas W. Reps :
Demand Interprocedural Program Analysis Using Logic Databases
, 1994
(Citations: 34)
Thomas W. Reps :
Solving Demand Versions of Interprocedural Analysis Problems
, CC
, 1994
(Citations: 37)
G. Ramalingam, Thomas W. Reps :
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph
, POPL
, 1994
(Citations: 20)
G. Ramalingam, Thomas W. Reps :
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem
, IPL
, 1994
(Citations: 14)
M. Sagiv, T. Reps, S. Horwitz :
Precise interprocedural dataflow analysis with applications to constant propagation
, 1994
(Citations: 3)
S. Horwitz, T. Reps :
The Use of Program Dependence Graphs in Software Engineering
, 1994
(Citations: 4)
Year 1993
G. Ramalingam, Thomas W. Reps :
A Categorized Bibliography on Incremental Computation
, POPL
, 1993
(Citations: 31)
Thomas W. Reps :
Demand Interprocedural Program Analysis Using Logic Databases
, Deductive Database Workshops
, 1993
(Citations: 5)
T. Reps, T. Teitelbaum :
Texts and Monographs in Computer Science
, 1993
(Citations: 1)
Thomas W. Reps :
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism
, SPAA
, 1993
Year 1992
Susan Horwitz, Thomas W. Reps :
The Use of Program Dependence Graphs in Software Engineering
, ICSE
, 1992
(Citations: 118)
G. Ramalingam, Thomas Reps :
An Incremental Algorithm for a Generalization of the Shortest-Path Problem
, 1992
(Citations: 44)
Wuu Yang, Susan Horwitz, Thomas W. Reps :
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations
, TOSEM
, 1992
(Citations: 24)
Thomas Reps :
Scan Grammars: Parallel Attribute Evaluation Via Data-Parallelism
, 1992
(Citations: 2)
G. Ramalingam, T. Reps :
On the complexity of incremental computation
, 1992
(Citations: 2)
Paul Klint, Thomas W. Reps, Gregor Snelting :
Programming environments: report on an international workshop at Dagstuhl Castle
, SIGPLAN
, 1992
Year 1991
Susan Horwitz, Thomas W. Reps :
Efficient Comparison of Program Slices
, ACTA
, 1991
(Citations: 15)
Thomas W. Reps :
Algebraic Properties of Program Integration
, SCP
, 1991
(Citations: 19)
G. Ramalingam, T. Reps :
On the computational complexity of incremental algorithms
, 1991
(Citations: 10)
G. Ramalingam, Thomas W. Reps :
A Theory of Program Modifications
, TAPSOFT
, 1991
(Citations: 2)
G. Ramalingam, Thomas W. Reps :
Modification Algebras
, AMAST
, 1991
(Citations: 1)
G. Ramalingam, Thomas Reps :
New Programs From Old
, 1991
Year 1990
Susan Horwitz, Thomas W. Reps, David Binkley :
Interprocedural slicing using dependence graphs
, TOPLAS
, 1990
(Citations: 629)
Wuu Yang, Susan Horwitz, Thomas Reps :
A program integration algorithm that accommodates semantics-preserving transformations
, SESPSDE
, 1990
(Citations: 16)
S. Horwitz, T. Reps :
Efficient comparison of program slices
, 1990
(Citations: 8)
Thomas W. Reps :
Algebraic Properties of Program Integration
, ESOP
, 1990
(Citations: 12)
T. Ball, S. Horwitz, T. Reps :
Correctness of an algorithm for reconstituting a program from a dependence graph
, 1990
(Citations: 6)
S. Horwitz, J. Prins, T. Reps :
Integrating Non-interfering Ver-sions of Programs
, 1990
(Citations: 2)
T. Reps :
The Wisconsin program-integration system reference manual
, 1990
(Citations: 2)
Year 1989
Susan Horwitz, Jan Prins, Thomas W. Reps :
Integrating Noninterfering Versions of Programs
, TOPLAS
, 1989
(Citations: 221)
Susan Horwitz, Phil Pfeiffer, Thomas W. Reps :
Dependence Analysis for Pointer Variables
, PLDI
, 1989
(Citations: 160)
T. Reps, T. Teitelbaum :
The synthesizer generator: a system for constructing language-based editors
, 1989
(Citations: 100)
Thomas W. Reps, Wuu Yang :
The Semantics of Program Slicing and Program Integration
, TAPSOFT
, 1989
(Citations: 36)
Wuu Yang, Susan Horwitz, Thomas Reps :
Detecting Program Components With Equivalent Behaviors
, 1989
(Citations: 30)
Thomas W. Reps, T. Bricker :
Illustrating Interference in Interfering Versions of Programs
, SCM
, 1989
(Citations: 15)
T. Reps, T. Teitelbaum, The Synthesizer Generator :
A system for constructing language based editors
, 1989
(Citations: 12)
T. Ball, S. Horwitz, T. Reps :
Correctness of an algorithm for reconstituting a program from a dependence graph
, 1989
(Citations: 3)
G. Ramalingam, T. Reps :
Semantics of program representation graphs
, 1989
(Citations: 11)
T. Reps :
Demonstration of a prototype tool for program integration
, 1989
(Citations: 8)
T. Reps, W. Yang :
The semantics of program slicing
, 1989
(Citations: 3)
Thomas Reps, Thomas Bricker :
Semantics-based program integration: illustrating interference in interfering versions of programs
, 1989
(Citations: 3)
T. Reps :
Teitelbaum: "the synthesizer generator - reference manual; third edition
, 1989
(Citations: 1)
Year 1988
Susan Horwitz, Thomas W. Reps, David Binkley :
Interprocedural Slicing Using Dependence Graphs
, PLDI
, 1988
(Citations: 181)
Susan Horwitz, Jan Prins, Thomas W. Reps :
Integrating Non-Interfering Versions of Programs
, POPL
, 1988
(Citations: 52)
Susan Horwitz, Jan Prins, Thomas W. Reps :
On the Adequacy of Program Dependence Graphs for Representing Programs
, POPL
, 1988
(Citations: 60)
T. Reps, W. Yang :
The semantics of program slicing
, 1988
(Citations: 45)
S. Horwitz, P. Pfeiffer, T. Reps :
Dependence analysis for pointer variables
, 1988
(Citations: 14)
Thomas W. Reps :
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications
, ACTA
, 1988
(Citations: 8)
S. Horwitz, J. Prins, T. Reps :
On the suitability of dependence graphs for representing programs
, 1988
(Citations: 4)
T. Reps, T. Teitelbaum :
A System for Constructing Language-Based Editors
, 1988
(Citations: 20)
Thomas W. Reps, Susan Horwitz, Jan Prins :
Support for Integrating Program Variants in an Environment for Programming in the Large
, SCM
, 1988
(Citations: 13)
Thomas Reps, Tim Teitelbaum :
The Synthesizer Generator Reference Manual
, 1988
(Citations: 6)
Thomas W. Reps, Susan Horwitz :
Semantics-Based Program Integration
, ESOP
, 1988
(Citations: 5)
T. Reps, T. Teitelbaum :
The synthesizer generator reference manual springer-verier
, 1988
(Citations: 1)
Susan Horwitz, Thomas W. Reps, David Binkley :
Interprocedural slicing using dependence graphs (with retrospective)
, PLDI
, 1988
(Citations: 1)
Year 1987
Susan Horwitz, Jan Prins, Thomas Reps :
Integrating non-interfering versions of programs
, 1987
(Citations: 14)
T. Reps, T. Teitelbaum :
The synthesizer generator reference manual
, 1987
(Citations: 8)
Thomas W. Reps, Alan J. Demers :
Sublinear-Space Evaluation Algorithms for Attribute Grammars
, TOPLAS
, 1987
Year 1986
Thomas W. Reps, Carla Marceau, Tim Teitelbaum :
Remote Attribute Updating for Language-Based Editors
, POPL
, 1986
(Citations: 27)
T. Reps, C. Marceau :
Teitelbaum~ remote attribute updating for language-based editors
, 1986
(Citations: 19)
Year 1985
T. W. Reps, S. Horwitz, S. Sagiv :
Precise interprocedural dataflow analysis via graph reachability
, 1985
(Citations: 11)
T. Reps, T. Teitelbaum :
Department of computer science
, 1985
(Citations: 2)
Year 1984
Thomas W. Reps, Tim Teitelbaum :
The Synthesizer Generator
, SDE
, 1984
(Citations: 137)
T W Reps :
Generanng language-based environments
, 1984
(Citations: 58)
T. Reps :
Teitelbaum: the synthesizer generator
, 1984
(Citations: 15)
Thomas W. Reps, Bowen Alpern :
Interactive Proof Checking
, POPL
, 1984
(Citations: 11)
T. Reps, T. Teitelbaum :
Proc. of the acm sigsoft/s[gplan software engineering symposium on practical software development environments
, 1984
(Citations: 2)
T. Reps :
Generating language based enmronmeats
, 1984
(Citations: 1)
Thomas Reps, Tim Teitelbaum :
SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
, 1984
(Citations: 2)
T. Teitelbaum, T. Reps :
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment
, 1984
T. Reps :
Proc. of the acm sigsoft/sigplan software eng
, 1984
Year 1983
Thomas W. Reps, Tim Teitelbaum, Alan J. Demers :
Incremental Context-Dependent Analysis for Language-Based Editors
, TOPLAS
, 1983
(Citations: 111)
Thomas Reps, Tim Tietelbaum, Alan Demers :
Corrigenda
, TOPLAS
, 1983
Year 1982
Thomas W. Reps :
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors
, POPL
, 1982
(Citations: 45)
T Reps :
Generating language based environments
, 1982
(Citations: 25)
T. Reps, Tech. Rep :
D dissertation,dept. of computer science
, 1982
(Citations: 11)
T. Reps :
Technical report 82-514
, 1982
(Citations: 3)
Thomas Reps :
Cornell university tr 82-514
, 1982
(Citations: 1)
Year 1981
Tim Teitelbaum, Thomas W. Reps :
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment
, CACM
, 1981
(Citations: 234)
Alan J. Demers, Thomas W. Reps, Tim Teitelbaum :
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors
, POPL
, 1981
(Citations: 63)
Tim Teitelbaum, Thomas Reps, Susan Horwitz :
The why and wherefore of the Cornell Program Synthesizer
, SIGPLAN
, 1981
(Citations: 26)
T Teitelbaum, T. Reps :
Cps - the cornell program synthesizer
, 1981
(Citations: 6)
T. Teitelbaum, T. Reps :
A syntax-directed programming environment
, 1981
(Citations: 1)
Year 1980
T Textelbaum, T Reps :
The cornell program synthesizer a syntax-dlrected programming environment
, 1980
(Citations: 14)
Year Unknown
Vinod Ganapathy, Sanjit Seshia, Somesh Jha, Thomas Reps, Randal Bryant :
Automatic Discovery of API-Level Vulnerabilities
(Citations: 4)
G. Balakrishnan, T. Reps :
Analyzing memory accesses in x86 binary executables
(Citations: 2)
Tal Lev-ami, Mooly Sagiv, Thomas Reps, Sumit Gulwani :
Backward Analysis for Inferring Quantified Preconditions
(Citations: 1)
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri, Inc. Ithaca, Ny Usa :
Static Detection of Atomic-Set-Serializability Violations
(Citations: 1)
A Demers, T Reps, T Teltelbaum :
Incremental evaluataon for attribute grammars with appheauon to syntax dtrected editors
(Citations: 1)
Charles Fischer, S Usan Horwitz, Somesh Jha, Ben Liblit, Thomas Reps :
Qualifying-Exam Syllabus: Programming Languages and Compilers Spring 2008
William R. Harris, Nicholas A. Kidd, Sagar Chaki, Somesh Jha, Thomas Reps, Grammatech Inc. Ithaca, Ny Usa :
Verifying Information Flow Over Unbounded Processes
Hao Wang, Jha Somesh, Thomas Reps, Stefan Schwoon, Stuart Stubblebine :
Reducing the Dependence of Trust-Management Systems on PKI
Nicholas Kidd, Kevin Moore, Thomas Reps, David Wood, Inc. Ithaca, Ny Usa :
Towards the Analysis of Transactional Software
Nicholas Kidd, Akash Lal, Thomas Reps, Inc. Ithaca, Ny Usa :
Advanced Querying for Property Checking
Stefan Schwoon, Hao Wang, Jha Somesh, Thomas W. Reps :
Distributed Certificate-Chain Discovery in SPKI/SDSI
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas Reps :
Weighted Pushdown Systems and Weighted Transducers
Denis Gopan, Thomas Reps, Mooly Sagiv :
Numeric Analysis of Array Operations
Akash Lal, Junghee Lim, Thomas Reps :
MCDASH: Refinement-Based Property Verification for Machine Code
Microsoft Research Asia | Help | Feedback | Specific Terms
©2009 Microsoft Corporation. All rights reserved. Contact Us | Terms of Use | Trademarks | Privacy Statement