Search results for "intraprocedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Jens Knoop, Eduard Mehofer	Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques.	IEEE PACT	1997	DBLP DOI BibTeX RDF	interprocedural distribution assignment placement, intraprocedural placing techniques, unnecessary run-time remappings, partially redundant distribution assignment elimination, partially dead distribution assignment elimination, algorithm hierarchy, user-customized solutions, dynamic data redistribution, optimization, parallel programming, High Performance Fortran, anomalies, distributed-memory architectures, data-parallel programs, interprocedural data-flow analysis, run-time efficiency
45	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
45	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
45	Cristina Cifuentes, Antoine Fraboulet	Intraprocedural Static Slicing of Binary Executables.	ICSM	1997	DBLP DOI BibTeX RDF	goto jumps, reverse engineering, binary code, disassembly, Static slicing
43	Sumit Gulwani, George C. Necula	Precise interprocedural analysis using random interpretation.	POPL	2005	DBLP DOI BibTeX RDF	interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
31	Alexander Lu, Heyuan Huang, Yicheng Hu, Wojtek Zbijewski, Mathias Unberath, Jeffrey H. Siewerdsen, Clifford R. Weiss, Alejandro Sisniega	Deformable motion compensation for intraprocedural vascular cone-beam CT with sequential projection domain targeting and vessel-enhancing autofocus.	Medical Imaging: Image-Guided Procedures	2023	DBLP DOI BibTeX RDF
31	Bo Zhou 0009, Zachary Augenfeld, Julius Chapiro, S. Kevin Zhou, Chi Liu, James S. Duncan	Anatomy-guided multimodal registration by learning segmentation without ground truth: Application to intraprocedural CBCT/MR liver segmentation and registration.	Medical Image Anal.	2021	DBLP DOI BibTeX RDF
31	A. E. Borodin, I. A. Dudina	Intraprocedural Analysis Based on Symbolic Execution for Bug Detection.	Program. Comput. Softw.	2021	DBLP DOI BibTeX RDF
31	Bo Zhou 0009, Zachary Augenfeld, Julius Chapiro, S. Kevin Zhou, Chi Liu, James S. Duncan	Anatomy-guided Multimodal Registration by Learning Segmentation without Ground Truth: Application to Intraprocedural CBCT/MR Liver Segmentation and Registration.	CoRR	2021	DBLP BibTeX RDF
31	Chunbai Yang, Imran Ashraf, Xiaoxue Ma, Hao Zhang 0085, W. K. Chan 0001	OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling.	QRS	2021	DBLP DOI BibTeX RDF
31	Zachary Augenfeld, Ming De Lin, Julius Chapiro, James S. Duncan	Automatic Multimodal Registration via Intraprocedural Cone-Beam CT Segmentation using MRI Distance Maps.	ISBI	2020	DBLP DOI BibTeX RDF
31	Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	Verifying Recursive Programs Using Intraprocedural Analyzers.	SAS	2014	DBLP DOI BibTeX RDF
31	Claus Brabrand, Márcio Ribeiro 0001, Társis Tolêdo, Johnni Winther, Paulo Borba	Intraprocedural Dataflow Analysis for Software Product Lines.	T. Aspect-Oriented Software Development	2013	DBLP DOI BibTeX RDF
31	Emma Söderberg, Torbjörn Ekman 0001, Görel Hedin, Eva Magnusson	Extensible intraprocedural flow analysis at the abstract syntax tree level.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
31	Claus Brabrand, Márcio Ribeiro 0001, Társis Tolêdo, Paulo Borba	Intraprocedural dataflow analysis for software product lines.	AOSD	2012	DBLP DOI BibTeX RDF
31	Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman 0001	Declarative Intraprocedural Flow Analysis of Java Source Code.	LDTA	2008	DBLP DOI BibTeX RDF
31	R. C. Chan, Zachary J. Malchano, R. Vijaykumar, Robert Manzke, Lyubomir Zagorchev, Vivek Y. Reddy	Intraprocedural fusion of electroanatomical maps (EAM) with imaging data based on rapidly-sampled volumetric point clouds from continuous EAM catheter tracking.	Medical Imaging: Image-Guided Procedures	2007	DBLP DOI BibTeX RDF
31	Jean Utke, Andrew Lyons, Uwe Naumann	Efficient reversal of the intraprocedural flow of control in adjoint computations.	J. Syst. Softw.	2006	DBLP DOI BibTeX RDF
31	Mohammed Daoudi	On symbolic execution based intraprocedural conditioned slicing.		2006	RDF
31	Ganga Bishnu Mund, Rajib Mall, Sudeshna Sarkar	Computation of intraprocedural dynamic program slices.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
31	Cliff Young, David S. Johnson, David R. Karger, Michael D. Smith 0001	Near-optimal Intraprocedural Branch Alignment.	PLDI	1997	DBLP DOI BibTeX RDF
31	Zhiyuan Li 0001	Intraprocedural and interprocedural data dependence analysis for parallel computing		1989	RDF
29	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
29	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
29	Vijayanand Nagarajan, Rajiv Gupta 0001, Matias Madou, Xiangyu Zhang 0001, Bjorn De Sutter	Matching Control Flow of Program Versions.	ICSM	2007	DBLP DOI BibTeX RDF
29	Atanas Rountev, Olga Volgin, Miriam Reddoch	Static control-flow analysis for reverse engineering of UML sequence diagrams.	PASTE	2005	DBLP DOI BibTeX RDF	UML
29	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Points-To Analysis of Java in the Presence of Exceptions.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Java, complexity, exceptions, Points-to analysis
29	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
29	David Grove	The impact of interprocedural class analysis on optimization.	CASCON	1995	DBLP BibTeX RDF
29	István Forgács	Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	double iterative frameworks, data flow analysis
29	Mary Jean Harrold, Mary Lou Soffa	Efficient Computation of Interprocedural Definition-Use Chains.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
29	David W. Binkley	Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model.	CC	1994	DBLP DOI BibTeX RDF
29	Jens Knoop, Bernhard Steffen	The Interprocedural Coincidence Theorem.	CC	1992	DBLP DOI BibTeX RDF
14	Peter Molnar, Andreas Krall, Florian Brandner	Stack allocation of objects in the CACAO virtual machine.	PPPJ	2009	DBLP DOI BibTeX RDF	object allocation on stack, just-in-time compiler, escape analysis
14	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
14	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
14	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
14	Christopher Rohkohl, Günter Lauritsch, Marcus Prümmer, Joachim Hornegger	Interventional 4-D Motion Estimation and Reconstruction of Cardiac Vasculature without Motion Periodicity Assumption.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
14	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
14	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
14	Anna Zaks, Amir Pnueli	CoVaC: Compiler Validation by Program Analysis of the Cross-Product.	FM	2008	DBLP DOI BibTeX RDF
14	Shaoyin Cheng, Fan Jiang 0005, Jiajie Wang, Tao Zhang, Xuezhi Xing	DBTG: Demand-Driven Backtracking Test Generation.	ICYCS	2008	DBLP DOI BibTeX RDF
14	Rafael Asenjo, Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Adrian Tineo, Emilio L. Zapata	Parallelizing irregular C codes assisted by interprocedural shape analysis.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
14	Carsten Meyer, Robert Manzke, Jochen Peters, Olivier Ecabert, Reinhard Kneser, Vivek Y. Reddy, Raymond C. Chan, Jürgen Weese	Automatic Intra-operative Generation of Geometric Left Atrium/Pulmonary Vein Models from Rotational X-Ray Angiography.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
14	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
14	Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	A practical interprocedural dominance algorithm.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Interprocedural control flow graph, dominators, interprocedural analysis
14	Qin Wang, Junpu Chen, Weihua Zhang, Min Yang 0002, Binyu Zang	Optimizing software cache performance of packet processing applications.	LCTES	2007	DBLP DOI BibTeX RDF	optimization, network processor, local memory
14	Torben Amtoft, Anindya Banerjee 0001	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
14	Michael D. Bond, Kathryn S. McKinley	Probabilistic calling context.	OOPSLA	2007	DBLP DOI BibTeX RDF	anomaly-based bug detection, dynamic context sensitivity, residual testing, intrusion detection, probabilistic, calling context, managed languages
14	Kin-Keung Ma, Jeffrey S. Foster	Inferring aliasing and encapsulation properties for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness
14	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
14	Sumit Gulwani, Ashish Tiwari 0001	Computing Procedure Summaries for Interprocedural Analysis.	ESOP	2007	DBLP DOI BibTeX RDF
14	Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani	Quantifying the effectiveness of testing via efficient residual path profiling.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	inter-procedural, testing, residual, path profiling
14	Aaron Tomb, Guillaume P. Brat, Willem Visser	Variably interprocedural program analysis for runtime error detection.	ISSTA	2007	DBLP DOI BibTeX RDF	can-test, generation, symbolic execution, defect detection
14	Bin Xin 0001, Xiangyu Zhang 0001	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
14	Xianglong Huang, Stephen M. Blackburn, David Grove, Kathryn S. McKinley	Fast and efficient partial code reordering: taking advantage of dynamic recompilatior.	ISMM	2006	DBLP DOI BibTeX RDF	locality, dynamic, instruction, JIT compilation
14	Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen	Data-Flow Analysis as Model Checking Within the jABC.	CC	2006	DBLP DOI BibTeX RDF
14	Shih-Wei Liao	Parallelizing User-Defined and Implicit Reductions Globally on Multiprocessors.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	reduction recognition, implicit reductions, user-defined reductions, parallelization, multiprocessor, multicore, Reduction, data flow analysis, interprocedural analysis
14	Rami Beidas, Jianwen Zhu	Scalable interprocedural register allocation for high level synthesis.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Goal-Oriented Test Data Generation for Programs with Pointer Variables.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
14	Yongjing Lin, Youtao Zhang	Performance Comparison of Path Matching Algorithms over Compressed Control Flow Traces.	DCC	2005	DBLP DOI BibTeX RDF
14	Hansang Bae, Rudolf Eigenmann	Interprocedural Symbolic Range Propagation for Optimizing Compilers.	LCPC	2005	DBLP DOI BibTeX RDF
14	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
14	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
14	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analyses of Numerical Properties.	LPAR	2004	DBLP DOI BibTeX RDF
14	Chien-Hung Liu	Data Flow Analysis and Testing of Java Server Pages.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
14	Paolo Tonella	Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Program slicing, impact analysis, concept analysis
14	Gregory M. Kapfhammer, Mary Lou Soffa	A family of test adequacy criteria for database-driven applications.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	database-driven applications, test adequacy criteria
14	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
14	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
14	Christopher Barton, José Nelson Amaral, Bob Blainey	Should potential loop optimizations influence inlining decisions?	CASCON	2003	DBLP BibTeX RDF
14	Karen Zee, Martin C. Rinard	Write barrier removal by static analysis.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	program analysis, pointer analysis, write barriers, generational garbage collection
14	Martin Hirzel, Amer Diwan, Johannes Henkel	On the usefulness of type and liveness accuracy for garbage collection and leak detection.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection
14	Markus Mohnen	An open framework for data-flow analysis in Java: extended abstract.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java
14	Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox	A Denotational Interprocedural Program Slicer.	WCRE	2002	DBLP DOI BibTeX RDF
14	Feng Qian, Laurie J. Hendren, Clark Verbrugge	A Comprehensive Approach to Array Bounds Check Elimination for Java.	CC	2002	DBLP DOI BibTeX RDF
14	Youtao Zhang, Rajiv Gupta 0001	Path Matching in Compressed Control Flow Trace.	DCC	2002	DBLP DOI BibTeX RDF	SEQUITUR, compressed control flow traces, pattern matching
14	Marcel R. Karam, Trevor J. Smedley	A Data-Flow Testing Methodology for a Dataflow Based Visual Programming Language.	HCC	2002	DBLP DOI BibTeX RDF
14	Vincenzo Martena, Pierluigi San Pietro	Alias Analysis by Means of a Model Checker.	CC	2001	DBLP DOI BibTeX RDF
14	Markus Müller-Olm	The Complexity of Copy Constant Detection in Parallel Programs.	STACS	2001	DBLP DOI BibTeX RDF
14	Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar	Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs.	PASTE	1999	DBLP DOI BibTeX RDF	Java
14	James R. Larus	Whole Program Paths.	PLDI	1999	DBLP DOI BibTeX RDF	dynamic program measurement, program control flow, data compression, program tracing, path profiling
14	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Interprocedural Symbolic Evaluation of Ada Programs with Aliases.	Ada-Europe	1999	DBLP DOI BibTeX RDF
14	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Vijay Sundaresan	Soot - a Java bytecode optimization framework.	CASCON	1999	DBLP BibTeX RDF	Java
14	Florian Martin 0001	PAG - An Efficient Program Analyzer Generator.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
14	David W. Goodwin	Interprocedural Dataflow Analysis in an Executable Optimizer.	PLDI	1997	DBLP DOI BibTeX RDF
14	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Interprocedural Conditional Branch Elimination.	PLDI	1997	DBLP DOI BibTeX RDF
14	Jonas Skeppstedt, Per Stenström	Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	performance evaluation, cache coherence, dataflow analysis
14	Clark Verbrugge, Phong Co, Laurie J. Hendren	Generalized Constant Propagation: A Study in C.	CC	1996	DBLP DOI BibTeX RDF
14	G. Ramalingam	Data Flow Frequency Analysis.	PLDI	1996	DBLP DOI BibTeX RDF
14	Ben Sloman, Tom Lake	Featherweight Threads and ANDF Compilation of Concurrency.	Euro-Par	1995	DBLP DOI BibTeX RDF
14	Robert G. Burger, Oscar Waddell, R. Kent Dybvig	Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling.	PLDI	1995	DBLP DOI BibTeX RDF
14	Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison	Accurate Static Estimators for Program Optimization.	PLDI	1994	DBLP DOI BibTeX RDF	C
14	François Bourdoncle	Efficient chaotic iteration strategies with widenings.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
14	Jong-Deok Choi, Michael G. Burke, Paul R. Carini	Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.	POPL	1993	DBLP DOI BibTeX RDF
14	Dan Grove, Linda Torczon	Interprocedural Constant Propagation: A Study of Jump Function Implementations.	PLDI	1993	DBLP DOI BibTeX RDF
14	John Wood, Harold C. Grossman	Interprocedural register allocation for RISC machines.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Interprocedural Register Allocation, RISC Computer, Webs, Graph Coloring
14	Jean-Marie Larchevêque	Interprocedural Type Propagation for Object-Oriented Languages.	ESOP	1992	DBLP DOI BibTeX RDF
14	Miquel Huguet, Tomás Lang	Architectural Support for Reduced Register Saving / Restoring in Single-Window Register Files.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF