Search results for "control dependence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu	Strict control dependence and its effect on dynamic information flow analyses.	ISSTA	2010	DBLP DOI BibTeX RDF	dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis
3	Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
3	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
3	Bin Xin, Xiangyu Zhang	Efficient online detection of dynamic control dependence.	ISSTA	2007	DBLP DOI BibTeX RDF	dynamic control dependence, dynamic information flow, dynamic post-dominance, irregular control flow, dynamic program slicing
3	Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel	Interprocedural control dependence.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	interprocedural control dependence, semantic dependence, software maintenance, program slicing, interprocedural analysis
3	Mary Jean Harrold, James A. Jones, Gregg Rothermel	Empirical Studies of Control Dependence Graph Size for C Programs.	Empirical Software Engineering	1998	DBLP DOI BibTeX RDF	software engineering, static analysis, program analysis, control dependence
3	Keshav Pingali, Gianfranco Bilardi	Optimal Control Dependence Computation and the Roman Chariots Problem.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compilers, program transformation, program optimization, control dependence
3	Thomas Ball	What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.	LOPLAS	1993	DBLP DOI BibTeX RDF	regions, control-flow graph, control dependence
3	I. A. Natour	On the control dependence in the program dependence graph.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	devoted followers, followers, leader and non-leader nodes, control dependence, program dependence graph
2	Piramanayagam Arumuga Nainar, Ben Liblit	Adaptive bug isolation.	ICSE	2010	DBLP DOI BibTeX RDF	binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging
2	Feng Chen, Grigore Rosu	Parametric and Termination-Sensitive Control Dependence.	SAS	2006	DBLP DOI BibTeX RDF
2	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
2	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff	A New Foundation for Control-Dependence and Slicing for Modern Program Structures.	ESOP	2005	DBLP DOI BibTeX RDF
2	Anasua Bhowmik, Manoj Franklin	A general compiler framework for speculative multithreading.	SPAA	2002	DBLP DOI BibTeX RDF	TLP compiler, thread formation, parallelization, data dependence, thread-level parallelism (TLP), control dependence, speculative multithreading (SpMT)
2	Saurabh Sinha, Mary Jean Harrold	Analysis and Testing of Programs with Exception Handling Constructs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	control dependence analysis, Exception handling, program slicing, data flow analysis, structural testing, control flow analysis
2	Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha	Computation of Interprocedural Control Dependence.	ISSTA	1998	DBLP DOI BibTeX RDF	control and semantic dependence, interprocedual analysis
2	Narayan Ranganathan, Manoj Franklin	An Empirical Study of Decentralized ILP Execution Models.	ASPLOS	1998	DBLP DOI BibTeX RDF	execution unit dependence, hardware window, instruction-level parallelism, data dependence, dynamic scheduling, speculative execution, control dependence, decentralization
2	Gianfranco Bilardi, Keshav Pingali	Generalized Dominance and Control Dependence.	PLDI	1996	DBLP DOI BibTeX RDF
2	Keshav Pingali, Gianfranco Bilardi	APT: A Data Structure for Optimal Control Dependence Computation.	PLDI	1995	DBLP DOI BibTeX RDF
2	Gerardo Canfora, Aniello Cimitile	Algorithms for program dependence graph production. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	program dependence graph production algorithms, software maintenance workbench, automatic external representation construction, F(p) program representation, program information access, control dependence graph, use sets, variable definition, graph theory, software maintenance, index, internal representation
2	Mary Jean Harrold, Brian A. Malloy	A Unified Interprocedural Program Representation for a Maintenance Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	unified interprocedural graph, unified interprocedural program representation, software maintenance, software maintenance, program understanding, data dependence, programming theory, data flow, edges, control flow, nodes, control dependence, access time, storage space
2	Zahira Ammarguellat	A Control-Flow Normalization Algorithm and Its Complexity.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	control-flow normalization algorithm, control flowgraphs, control-flow cycles, GOTOs, node-splitting techniques, control dependence relations, parallel algorithms, computational complexity, complexity, graph theory, automatic parallelization, structured programming, syntax tree
2	Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	def-use chain, optimizing compilers, dominator, control flow graph, control dependence
2	Ken Kennedy, Kathryn S. McKinley	Loop distribution with arbitrary control flow.	SC	1990	DBLP BibTeX RDF	loop distribution, parallelization, transformation, vectorization, data dependence, control dependence
2	John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren	Conversion of Control Dependence to Data Dependence.	POPL	1983	DBLP DOI BibTeX RDF
1	Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence	A unifying theory of control dependence and its application to arbitrary program structures.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	HyeonJeong Kim, Vidroha Debroy, DooHwan Bae	Identifying properties of UML state machine diagrams that affect data and control dependence.	SAC	2011	DBLP DOI BibTeX RDF
1	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
1	Fabrizio Ferrandi, Marco Lattuada, Christian Pilato, Antonino Tumeo	Performance estimation for task graphs combining sequential path profiling and control dependence regions.	MEMOCODE	2009	DBLP DOI BibTeX RDF
1	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
1	Wes Masri, Andy Podgurski	Measuring the strength of information flows in programs.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	information flow length, information flow strength, entropy, correlation, dynamic slicing, program dependence, information leakage, Dynamic information flow analysis
1	Willian dos Santos Lima, Renata Spolon Lobato, Aleardo Manacero, Roberta Spolon Ulson	Towards a Java bytecodes compiler for Nios II soft-core processor.	ISCC	2009	DBLP DOI BibTeX RDF
1	Bin Xin, William N. Sumner, Xiangyu Zhang	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
1	Zhiqiang Lin, Xiangyu Zhang	Deriving input syntactic structure from execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	bottom-up grammar, input lineage, top-down grammar, reverse engineering, control dependence, syntax tree
1	Yan Wang, Zhiwen Bai, Miao Zhang, Wen Du, Ying Qin, Xiyang Liu	Fitness calculation approach for the switch-case construct in evolutionary testing.	GECCO	2008	DBLP DOI BibTeX RDF	switch-case construct, fitness function, evolutionary testing
1	Haiming Liu, Michael Ferdman, Jaehyuk Huh, Doug Burger	Cache bursts: A new approach for eliminating dead blocks and increasing cache efficiency.	MICRO	2008	DBLP DOI BibTeX RDF
1	Yanping Chen, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	2007	DBLP DOI BibTeX RDF	regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine
1	Yanping Chen, Robert L. Probert, Hasan Ural	Regression test suite reduction using extended dependence analysis.	SOQUA	2007	DBLP DOI BibTeX RDF	regression test suite reduction, regression testing, data dependence, control dependence, extended finite state machine
1	Guoqing (Harry) Xu, Atanas Rountev, Yan Tang, Feng Qin	Efficient checkpointing of java software using context-sensitive capture and replay.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	checkpoint, replay
1	Aiwu Shi, Gleb Naumovich	Field Escape Analysis for Data Confidentiality in Java Components.	APSEC	2007	DBLP DOI BibTeX RDF
1	Guilherme Ottoni, David I. August	Global Multi-Threaded Instruction Scheduling.	MICRO	2007	DBLP DOI BibTeX RDF
1	Guang R. Gao	On Parallel Models of Computation.	NPC	2007	DBLP DOI BibTeX RDF
1	Lisa Higham, LillAnne Jackson, Jalal Kawash	Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.	DISC	2006	DBLP DOI BibTeX RDF	Multiprocessor memory consistency, register and control dependency, process coordination, Itanium
1	Arun Kejariwal, Xinmin Tian, Wei Li 0015, Milind Girkar, Sergey Kozhukhov, Hideki Saito, Utpal Banerjee, Alexandru Nicolau, Alexander V. Veidenbaum, Constantine D. Polychronopoulos	On the performance potential of different types of speculative thread-level parallelism: The DL version of this paper includes corrections that were not made available in the printed proceedings.	ICS	2006	DBLP DOI BibTeX RDF	DOALL loops, value dependence, performance evaluation, data dependence, speculative execution, control dependence
1	Souhei Ito, Shigeki Hagihara, Naoki Yonezaki	An Operational Semantics of Program Dependence Graphs for Unstructured Programs.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Zakarya Alzamil, Bogdan Korel	Application of redundant computation in software performance analysis.	WOSP	2005	DBLP DOI BibTeX RDF	redundant computation, performance analysis, data dependence, dependence analysis, control dependence, redundant code
1	Jeremy Manson, William Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
1	David Binkley, Mark Harman	Forward slices are smaller than backward slices.	SCAM	2005	DBLP DOI BibTeX RDF
1	Aiwu Shi, Gleb Naumovich	Static Analysis for Computing Escapability and Mutability for Java Components.	SCAM	2005	DBLP DOI BibTeX RDF
1	Pawel Kaczmarek, Henryk Krawczyk	A Model of Exception Propagation in Distributed Applications.	PPAM	2005	DBLP DOI BibTeX RDF
1	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph.	ICSM	2004	DBLP DOI BibTeX RDF
1	Anasua Bhowmik, Manoj Franklin	A General Compiler Framework for Speculative Multithreaded Processors.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
1	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Structure Programs.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification
1	Gianfranco Bilardi, Keshav Pingali	Algorithms for computing the static single assignment form.	J. ACM	2003	DBLP DOI BibTeX RDF	program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
1	Rogério Xavier de Azambuja, Luiz C. V. dos Santos	Global scheduling and register allocation based on predicated execution.	ISCAS	2003	DBLP DOI BibTeX RDF
1	Yong Dou, Xicheng Lu	LEAP: A Data Driven Loop Engine on Array Processor.	APPT	2003	DBLP DOI BibTeX RDF
1	Alain Darte, Georges-André Silber	Temporary Arrays for Distribution of Loops with Control Dependences.	Euro-Par	2000	DBLP DOI BibTeX RDF
1	Gianfranco Bilardi	Algorithms and Data Structures for Control Dependence and Related Compiler Problems.	CIAC	1997	DBLP DOI BibTeX RDF
1	Krishna K. Sundararaman, Manoj Franklin	Multiscalar Execution along a Single Flow of Control. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	multiple control flows, branch prediction, control dependence, instruction-level parallelism (ILP)
1	Bogdan Korel	Computation of Dynamic Program Slices for Unstructured Programs.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	removable block, unstructured program, debugging, Program slicing, data dependence, control dependence, execution trace, dynamic program slicing
1	David Binkley, Susan Horwitz, Thomas W. Reps	Program Integration for Languages with Procedure Calls.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
1	Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Melanie Page, Gregg Rothermel, Manvinder Singh, Michael Smith	Aristotle: a system for development of program analysis based tools.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
1	Zhong Shao, John H. Reppy, Andrew W. Appel	Unrolling Lists.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
1	Richard Johnson, David Pearson, Keshav Pingali	The Program Structure Tree: Computing Control Regions in Linear Time.	PLDI	1994	DBLP DOI BibTeX RDF
1	David Binkley	Precise Executable Interprocedural Slices.	LOPLAS	1993	DBLP DOI BibTeX RDF	program slicing, data dependence, control dependence, program dependence graph
1	Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel	Efficient Construction of Program Dependence Graphs.	ISSTA	1993	DBLP DOI BibTeX RDF
1	Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke	An Information Flow Model of Fault Detection.	ISSTA	1993	DBLP DOI BibTeX RDF
1	Richard Johnson, Keshav Pingali	Dependence-Based Program Analysis.	PLDI	1993	DBLP DOI BibTeX RDF
1	Michael Weiss	The Transitive Closure of Control Dependence: The Iterated Join.	LOPLAS	1992	DBLP BibTeX RDF
1	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
1	C. L. McCreary, D. H. Gill	Automatic partitioning and virtual scheduling for efficient parallel execution.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
1	Michael D. Smith, Mark Horowitz, Monica S. Lam	Efficient Superscalar Performance Through Boosting.	ASPLOS	1992	DBLP DOI BibTeX RDF
1	David R. Wallace	Low level scheduling using the hierarchical task graph.	ICS	1992	DBLP DOI BibTeX RDF
1	Milind Girkar, Constantine D. Polychronopoulos	Automatic Extraction of Functional Parallelism from Ordinary Programs.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	overhead messages, acyclic systems, open cyclic queuingnetworks, distributed simulation algorithms, performance evaluation, distributed processing, queueing theory, digital simulation, programming theory, closed queuing networks
1	Ron Cytron, Jeanne Ferrante, Vivek Sarkar	Compact Representations for Control Dependence.	PLDI	1990	DBLP DOI BibTeX RDF
1	Jong-Jiann Shieh, Christos A. Papachristou	An instruction reoderer for pipelined computers.	MICRO	1990	DBLP DOI BibTeX RDF
1	Rajiv Gupta, Chi-Hung Chi	Improving instruction cache behavior by reducing cache pollution.	SC	1990	DBLP BibTeX RDF
1	Vivek Sarkar	Determining Average Program Execution Times and their Variance.	PLDI	1989	DBLP DOI BibTeX RDF
1	Frances E. Allen, Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh	A framework for determining useful parallelism.	ICS	1988	DBLP DOI BibTeX RDF
1	Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren	The Program Dependence Graph and Its Use in Optimization.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF