Search results for "C-Reps"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv	Shape Analysis and Applications.	The Compiler Design Handbook	2002	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Static Program Analysis via 3-Valued Logic.	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
24	Somesh Jha, Thomas W. Reps	Analysis of SPKI/SDSI Certificates Using Model Checking.	CSFW	2002	DBLP DOI BibTeX RDF	certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI
24	Thomas W. Reps, Alexey Loginov, Shmuel Sagiv	Semantic Minimization of 3-Valued Propositional Formulae.	LICS	2002	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Static Program Analysis via 3-Valued Logic.	SAS	2002	DBLP DOI BibTeX RDF
24	Louis B. Rall, Thomas W. Reps	Algorithmic Differencing.	Perspectives on Enclosure Methods	2001	DBLP DOI BibTeX RDF
24	Michael Benedikt, Patrice Godefroid, Thomas W. Reps	Model Checking of Unrestricted Hierarchical State Machines.	ICALP	2001	DBLP DOI BibTeX RDF
24	Zhichen Xu, Thomas W. Reps, Barton P. Miller	Typestate Checking of Machine Code.	ESOP	2001	DBLP DOI BibTeX RDF
24	Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Debugging via Run-Time Type Checking.	FASE	2001	DBLP DOI BibTeX RDF
24	David Melski, Thomas W. Reps	Interconvertibility of a class of set constraints and context-free-language reachability.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
24	Mark N. Wegman, Thomas W. Reps (eds.)	POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000	POPL	2000	DBLP BibTeX RDF
24	Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps	Shape Analysis.	CC	2000	DBLP DOI BibTeX RDF
24	Zhichen Xu, Barton P. Miller, Thomas W. Reps	Safety checking of machine code.	PLDI	2000	DBLP DOI BibTeX RDF
24	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
24	Satish Chandra 0001, Thomas W. Reps	Physical type checking for C.	ACM SIGSOFT Softw. Eng. Notes	1999	DBLP DOI BibTeX RDF
24	Michael Siff, Thomas W. Reps	Identifying Modules via Concept Analysis.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	reverse engineering, modularization, Concept analysis, design recovery, software restructuring, software migration
24	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
24	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Parametric Shape Analysis via 3-Valued Logic.	POPL	1999	DBLP DOI BibTeX RDF
24	David Melski, Thomas W. Reps	Interprocedural Path Profiling.	CC	1999	DBLP DOI BibTeX RDF
24	Michael Siff, Satish Chandra 0001, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps	Coping with Type Casts in C.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
24	Michael Benedikt, Thomas W. Reps, Shmuel Sagiv	A Decidable Logic for Describing Linked Data Structures.	ESOP	1999	DBLP DOI BibTeX RDF
24	Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum	Program Slicing of Hardware Description Languages.	CHARME	1999	DBLP DOI BibTeX RDF
24	Suan Hsi Yong, Susan Horwitz, Thomas W. Reps	Pointer Analysis for Programs with Structures and Casting.	PLDI	1999	DBLP DOI BibTeX RDF
24	Hausi A. Müller, Thomas W. Reps, Gregor Snelting	Program comprehension and software reengineering.	ACM SIGSOFT Softw. Eng. Notes	1998	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Program analysis via graph reachability.	Inf. Softw. Technol.	1998	DBLP DOI BibTeX RDF
24	Thomas W. Reps	"Maximal-munch" Tokenization in Linear Time.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	tabulation, dynamic programming, backtracking, tokenization, memoization
24	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Solving Shape-Analysis Problems in Languages with Destructive Updating.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis
24	Thomas W. Reps	Program Analysis via Graph Reachability.	ILPS	1997	DBLP BibTeX RDF
24	David Melski, Thomas W. Reps	Interconveritibility of Set Constraints and Context-Free Language Reachability.	PEPM	1997	DBLP DOI BibTeX RDF
24	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	DBLP DOI BibTeX RDF
24	Thomas W. Reps	The Use of Program Profiling for Software Testing.	GI Jahrestagung	1997	DBLP DOI BibTeX RDF
24	Michael Siff, Thomas W. Reps	Identifying modules via concept analysis.	ICSM	1997	DBLP DOI BibTeX RDF	program module identification, object similarity identification, algorithmic framework, concept lattice, subroutines, concept analysis, lattice theory, legacy code, positive information, object attributes, negative information
24	Thomas W. Reps	On the Sequential Nature of Interprocedural Program-Analysis Problems.	Acta Informatica	1996	DBLP DOI BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	On the Computational Complexity of Dynamic Graph Problems.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
24	Shmuel Sagiv, Thomas W. Reps, Susan Horwitz	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	An Incremental Algorithm for a Generalization of the Shortest-Path Problem.	J. Algorithms	1996	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Todd Turnidge	Program Specialization via Program Slicing.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
24	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Solving Shape-Analysis Problems in Languages with Destructive Updating.	POPL	1996	DBLP DOI BibTeX RDF
24	Michael Siff, Thomas W. Reps	Program Generalization for Software Reuse: From C to C++.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C++, C
24	Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck	Semantic Foundations of Binding Time Analysis for Imperative Programs.	PEPM	1995	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Shape Analysis as a Generalized Path Problem.	PEPM	1995	DBLP DOI BibTeX RDF	LISP
24	Shmuel Sagiv, Thomas W. Reps, Susan Horwitz	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.	TAPSOFT	1995	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv	Precise Interprocedural Dataflow Analysis via Graph Reachability.	POPL	1995	DBLP DOI BibTeX RDF	C
24	Thomas W. Reps, Genevieve Rosay	Precise Interprocedural Chopping.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	graph reachability, program chopping, realizable path, debugging, program slicing, interprocedural analysis, program dependence graph
24	Susan Horwitz, Thomas W. Reps, Shmuel Sagiv	Demand Interprocedural Dataflow Analysis.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.	POPL	1994	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Solving Demand Versions of Interprocedural Analysis Problems.	CC	1994	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay	Speeding up Slicing.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph
24	Thomas W. Reps	Demand Interprocedural Program Analysis Using Logic Databases.	Workshop on Programming with Logic Databases (Book), ILPS	1993	DBLP BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	A Categorized Bibliography on Incremental Computation.	POPL	1993	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.	SPAA	1993	DBLP DOI BibTeX RDF	Pascal
24	Paul Klint, Thomas W. Reps, Gregor Snelting	Programming environments: report on an international workshop at Dagstuhl Castle.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
24	Wuu Yang, Susan Horwitz, Thomas W. Reps	A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form
24	Susan Horwitz, Thomas W. Reps	The Use of Program Dependence Graphs in Software Engineering.	ICSE	1992	DBLP DOI BibTeX RDF
24	Susan Horwitz, Thomas W. Reps	Efficient Comparison of Program Slices.	Acta Informatica	1991	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Algebraic Properties of Program Integration.	Sci. Comput. Program.	1991	DBLP DOI BibTeX RDF
24	G. Ramalingam, Thomas W. Reps	Modification Algebras.	AMAST	1991	DBLP BibTeX RDF
24	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
24	Wuu Yang, Susan Horwitz, Thomas W. Reps	A program integration algorithm that accommodates semantics-preserving transformations.	SDE	1990	DBLP DOI BibTeX RDF
24	Susan Horwitz, Jan F. Prins, Thomas W. Reps	Integrating Noninterfering Versions of Programs.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Tim Teitelbaum	The Synthesizer Generator - A System for Constructing Language-Based Editors.		1989	DOI RDF
24	Thomas W. Reps, Tim Teitelbaum	The Synthesizer Generator Reference Manual, Third Edition.		1989	DOI RDF
24	Thomas W. Reps, Wuu Yang	The Semantics of Program Slicing and Program Integration.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
24	Susan Horwitz, Phil Pfeiffer, Thomas W. Reps	Dependence Analysis for Pointer Variables.	PLDI	1989	DBLP DOI BibTeX RDF
24	Thomas W. Reps, T. Bricker	Illustrating Interference in Interfering Versions of Programs.	SCM	1989	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications.	Acta Informatica	1988	DBLP DOI BibTeX RDF
24	Susan Horwitz, Jan F. Prins, Thomas W. Reps	Integrating Non-Interfering Versions of Programs.	POPL	1988	DBLP DOI BibTeX RDF
24	Susan Horwitz, Jan F. Prins, Thomas W. Reps	On the Adequacy of Program Dependence Graphs for Representing Programs.	POPL	1988	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Susan Horwitz	Semantics-Based Program Integration.	ESOP	1988	DBLP DOI BibTeX RDF
24	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	PLDI	1988	DBLP DOI BibTeX RDF
24	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural slicing using dependence graphs (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Susan Horwitz, Jan F. Prins	Support for Integrating Program Variants in an Environment for Programming in the Large.	SCM	1988	DBLP BibTeX RDF
24	Thomas W. Reps, Tim Teitelbaum	Language Processing in Program Editors.	Computer	1987	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Alan J. Demers	Sublinear-Space Evaluation Algorithms for Attribute Grammars.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Carla Marceau, Tim Teitelbaum	Remote Attribute Updating for Language-Based Editors.	POPL	1986	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Generating Language-Based Environments.		1984	RDF
24	Thomas W. Reps, Tim Teitelbaum	The Synthesizer Generator.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Bowen Alpern	Interactive Proof Checking.	POPL	1984	DBLP DOI BibTeX RDF
24	Thomas W. Reps, Tim Teitelbaum, Alan J. Demers	Incremental Context-Dependent Analysis for Language-Based Editors.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.	POPL	1982	DBLP DOI BibTeX RDF
24	Thomas W. Reps	Generating Language-Based Environments.		1982	RDF
24	Tim Teitelbaum, Thomas W. Reps, Susan Horwitz	The why and wherefore of the Cornell Program Synthesizer.	SIGPLAN SIGOA Symposium on Text Manipulation	1981	DBLP DOI BibTeX RDF
24	Tim Teitelbaum, Thomas W. Reps	The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.	Commun. ACM	1981	DBLP DOI BibTeX RDF
24	Alan J. Demers, Thomas W. Reps, Tim Teitelbaum	Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.	POPL	1981	DBLP DOI BibTeX RDF
17	Xin Li 0010, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
17	Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.	CAV	2009	DBLP DOI BibTeX RDF
17	Paul A. Yushkevich, Brian B. Avants, John Pluta, David Minkoff, John A. Detre, Murray Grossman, James C. Gee	Shape-Based Alignment of Hippocampal Subfields: Evaluation in Postmortem MRI.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
17	Jessica R. Crouch, Stephen M. Pizer, Edward L. Chaney, Yu-Chi Hu, Gig S. Mageras, Marco Zaider	Automated Finite-Element Analysis for Deformable Registration of Prostate Images.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
17	Camil Demetrescu, Giuseppe F. Italiano	Experimental analysis of dynamic all pairs shortest path algorithms.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	shortest paths, Dynamic graph algorithms, experimental algorithmics
17	Andreas Podelski, Thomas Wies	Boolean Heaps.	SAS	2005	DBLP DOI BibTeX RDF
17	Michael Venable, Mohamed R. Chouchane, Md. Enamul Karim, Arun Lakhotia	Analyzing Memory Accesses in Obfuscated x86 Executables.	DIMVA	2005	DBLP DOI BibTeX RDF
17	Paul A. Yushkevich, Hui Zhang 0005, James C. Gee	Parametric Medial Shape Representation in 3-D via the Poisson Partial Differential Equation with Non-linear Boundary Conditions.	IPMI	2005	DBLP DOI BibTeX RDF
17	Stephen M. Pizer, Ja-Yeon Jeong, Conglin Lu, Keith E. Muller, Sarang C. Joshi	Estimating the Statistics of Multi-object Anatomic Geometry Using Inter-object Relationships.	DSSCV	2005	DBLP DOI BibTeX RDF
17	Camil Demetrescu, Stefano Emiliozzi, Giuseppe F. Italiano	Experimental analysis of dynamic all pairs shortest path algorithms.	SODA	2004	DBLP BibTeX RDF
17	Arend Rensink	Canonical Graph Shapes.	ESOP	2004	DBLP DOI BibTeX RDF
17	Yu-Sung Chang, Kevin T. McDonnell, Hong Qin 0001	An Interpolatory Subdivision for Volumetric Models over Simplicial Complexe.	Shape Modeling International	2003	DBLP DOI BibTeX RDF
17	Y. Sampath K. Vetsa, Martin Styner, Stephen M. Pizer, Jeffrey A. Lieberman, Guido Gerig	Caudate Shape Discrimination in Schizophrenia Using Template-Free Non-parametric Tests.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
17	P. Thomas Fletcher, Sarang C. Joshi, Conglin Lu, Stephen M. Pizer	Gaussian Distributions on Lie Groups and Their Application to Statistical Shape Analysis.	IPMI	2003	DBLP DOI BibTeX RDF