Search results for "inter-procedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Ayal Zaks, Vitaly Feldman, Nava Aizikowitz	Sealed calls in Java packages.	OOPSLA	2000	DBLP DOI BibTeX RDF	call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph
54	Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang	Inter-procedural stacked register allocation for itanium® like architecture.	ICS	2003	DBLP DOI BibTeX RDF	hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot
54	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	ESOP	2000	DBLP DOI BibTeX RDF	Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
46	David Xinliang Li, Raksit Ashok, Robert Hundt	Lightweight feedback-directed cross-module optimization.	CGO	2010	DBLP DOI BibTeX RDF	cross-module, feedback-directed, inter-procedural, optimization
40	John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz	Inter-Procedural Loop Fusion, Array Contraction and Rotation.	IEEE PACT	2003	DBLP DOI BibTeX RDF
38	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
35	Lei Wang, Xikun Sun	Escape analysis for synchronization removal.	SAC	2006	DBLP DOI BibTeX RDF	synchronization removal, java, optimization, escape analysis
31	Mahmut T. Kandemir	Improving whole-program locality using intra-procedural and inter-procedural transformations, .	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
29	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
29	Zhongxing Xu, Jian Zhang 0001	Path and Context Sensitive Inter-procedural Memory Leak Detection.	QSIC	2008	DBLP DOI BibTeX RDF	path feasibility, memory leak, bug finding
29	Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara	A Novel Approach for Static Slicing of Inter-Procedural Programs.	ICIT	2006	DBLP DOI BibTeX RDF
29	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards	Incremental Algorithms for Inter-procedural Analysis of Safety Properties.	CAV	2005	DBLP DOI BibTeX RDF
29	Torben Amtoft, Robert Muller	Inferring annotated types for inter-procedural register allocation with constructor flattening.	TLDI	2003	DBLP DOI BibTeX RDF	type systems, register allocation, effects, defunctionalization, certifying compilers
28	Jongeun Lee, Aviral Shrivastava	A compiler optimization to reduce soft errors in register files.	LCTES	2009	DBLP DOI BibTeX RDF	architectural vulnerability factor, link-time optimization, embedded system, compilation, static analysis, soft error, register file
28	Fred C. Chow	Minimizing Register Usage Penalty at Procedure Calls.	PLDI	1988	DBLP DOI BibTeX RDF
26	Johannes M. Mulder	Inter: An inexpensive inter-procedural register allocator.	Microprocessing and Microprogramming	1989	DBLP DOI BibTeX RDF
25	Chandan Raj Rupakheti, Daqing Hou	Satisfying Programmers' Information Needs in API-Based Programming.	ICPC	2011	DBLP DOI BibTeX RDF	API-based programming, inter-procedural analysis, rule-based inferences, abstract interpretation
25	Emina Torlak, Satish Chandra 0001	Effective interprocedural resource leak detection.	ICSE (1)	2010	DBLP DOI BibTeX RDF	inter-procedural analysis, resource leaks, alias analysis
25	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
25	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid analysis: static & dynamic memory reference analysis.	ICS	2002	DBLP DOI BibTeX RDF	hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis
25	Bruno Malenfant, Giuliano Antoniol, Ettore Merlo, Michel R. Dagenais	Flow Analysis to Detect Blocked Statements.	ICSM	2001	DBLP DOI BibTeX RDF	Blocking analysis, inter-procedural flow analysis, software evaluation
21	Raymond P. L. Buse, Westley Weimer	Automatic documentation inference for exceptions.	ISSTA	2008	DBLP DOI BibTeX RDF	documentation inference, exception handling, software documentation
21	Mario Luca Bernardi, Giuseppe A. Di Lucca	Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods.	QUATIC	2007	DBLP DOI BibTeX RDF
21	Richard Stahl, Francky Catthoor, Diederik Verkest	Object-Distribution Analysis for Program Decomposition and Re-Clustering.	IPDPS	2005	DBLP DOI BibTeX RDF
21	Richard Stahl, Francky Catthoor, Diederik Verkest	Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
21	Kaustubh Patil, Kiran Seth, Frank Mueller 0001	Compositional static instruction cache simulation.	LCTES	2004	DBLP DOI BibTeX RDF	scheduling, real-time systems, caches, worst-case execution time
21	Julian Dolby, Andrew A. Chien	An Evaluation of Automatic Object Inline Allocation Techniques.	OOPSLA	1998	DBLP DOI BibTeX RDF
19	Zhen Li, Ning Wang, Deqing Zou, Yating Li, Ruqian Zhang, Shouhuai Xu, Chao Zhang, Hai Jin 0001	On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities.	CoRR	2024	DBLP DOI BibTeX RDF
19	Peihua Zhang, Chenggang Wu 0002, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Yan Kang 0002, Wei Wang, Zhe Wang 0017	Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques.	CoRR	2023	DBLP DOI BibTeX RDF
19	Zihua Song, Junfeng Wang 0003, Kaiyuan Yang 0004, Jigang Wang	HGIVul: Detecting inter-procedural vulnerabilities based on hypergraph convolution.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
19	Peihua Zhang, Chenggang Wu 0002, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Yan Kang 0002, Wei Wang, Zhe Wang 0017	Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques.	CGO	2023	DBLP DOI BibTeX RDF
19	Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun 0001, Shang-Wei Lin 0001	Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
19	Mattia Paccamiccio, Leonardo Mostarda	Reasoning about inter-procedural security requirements in IoT applications.	CoRR	2022	DBLP DOI BibTeX RDF
19	Changhua Luo, Penghui Li 0001, Wei Meng 0001	TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications.	CCS	2022	DBLP DOI BibTeX RDF
19	Mattia Paccamiccio, Leonardo Mostarda	Reasoning About Inter-procedural Security Requirements in IoT Applications.	AINA (3)	2022	DBLP DOI BibTeX RDF
19	Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang	When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid.	DSN	2021	DBLP DOI BibTeX RDF
19	Joshua Heneage Dawes, Domenico Bianculli	Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.	RV	2021	DBLP DOI BibTeX RDF
19	Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang	When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid.	CoRR	2020	DBLP BibTeX RDF
19	Rahman Lavaee, John Criswell, Chen Ding 0001	Codestitcher: inter-procedural basic block layout optimization.	CC	2019	DBLP DOI BibTeX RDF
19	Philipp Dominik Schubert, Ben Hermann 0001, Eric Bodden	PhASAR: An Inter-procedural Static Analysis Framework for C/C++.	TACAS (2)	2019	DBLP DOI BibTeX RDF
19	Rahman Lavaee, John Criswell, Chen Ding	Codestitcher: Inter-Procedural Basic Block Layout Optimization.	CoRR	2018	DBLP BibTeX RDF
19	Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl	Inter-procedural Two-Variable Herbrand Equalities.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
19	Jakub Mísek, Filip Zavoral	Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation.	ANT/SEIT	2017	DBLP DOI BibTeX RDF
19	Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan 0009, Jian Zhang 0001	Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.	IEEE Trans. Software Eng.	2016	DBLP DOI BibTeX RDF
19	Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl	Inter-procedural Two-Variable Herbrand Equalities.	ESOP	2015	DBLP DOI BibTeX RDF
19	Marco Minutoli, Vito Giovanni Castellana, Antonino Tumeo, Fabrizio Ferrandi	Inter-procedural resource sharing in High Level Synthesis through function proxies.	FPL	2015	DBLP DOI BibTeX RDF
19	Elvira Albert, Samir Genaim, Pablo Gordillo	May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.	SAS	2015	DBLP DOI BibTeX RDF
19	Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl	Inter-procedural Two-Variable Herbrand Equalities.	CoRR	2014	DBLP BibTeX RDF
19	Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan	Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.	PPREW@POPL	2014	DBLP DOI BibTeX RDF
19	Bryce Holton, Ke Bai 0002, Aviral Shrivastava, Harini Ramaprasad	Construction of GCCFG for inter-procedural optimizations in Software Managed Manycore (SMM) architectures.	CASES	2014	DBLP DOI BibTeX RDF
19	Stefan Schulze Frielinghaus	Inter-procedural Herbrand Equalities.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
19	Franck Cassez, Christian Müller 0008, Karla Burnett	Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.	FSTTCS	2014	DBLP DOI BibTeX RDF
19	Eric Bodden	Inter-procedural data-flow analysis with IFDS/IDE and Soot.	SOAP@PLDI	2012	DBLP DOI BibTeX RDF
19	Jiang Ming 0002, Meng Pan, Debin Gao	iBinHunt: Binary Hunting with Inter-procedural Control Flow.	ICISC	2012	DBLP DOI BibTeX RDF
19	Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik	Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.	VMCAI	2012	DBLP DOI BibTeX RDF
19	Lulu Wang 0001, Bixin Li	A Technology of Profiling Inter-procedural Paths.	SEKE	2011	DBLP BibTeX RDF
19	Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu	On inter-procedural analysis of programs with lists and data.	PLDI	2011	DBLP DOI BibTeX RDF
19	Philippe Moret, Walter Binder, Abbas Heydarnoori, Danilo Ansaloni	Tool demonstration: effective runtime exploration of the inter-procedural control flow in Java applications.	PPPJ	2010	DBLP DOI BibTeX RDF
19	Dominic Letarte	Model checking graph representation of precise boolean inter-procedural flow analysis.	ASE	2010	DBLP DOI BibTeX RDF
19	Dominic Letarte	Conversion of fast inter-procedural static analysis to model checking.	ICSM	2010	DBLP DOI BibTeX RDF
19	Xiaohu Yang 0001, Weiwei Qiu, Xinyu Wang 0001	Identifying Domain Variables from Inter-Procedural Programs to Extract Business Rule.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
19	Dominic Letarte, Ettore Merlo	Extraction of Inter-procedural Simple Role Privilege Models from PHP Code.	WCRE	2009	DBLP DOI BibTeX RDF
19	Anatole Le, Ondrej Lhoták, Laurie J. Hendren	Using Inter-Procedural Side-Effect Information in JIT Optimizations.	CC	2005	DBLP DOI BibTeX RDF
19	Karim-Cyril Griche	Automatic Inter-Procedural Test Case Generation.	ASE	2002	DBLP DOI BibTeX RDF
19	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	Nord. J. Comput.	2000	DBLP BibTeX RDF
19	Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka	Inter-procedural Analysis for Parallelization of Java Programs.	ACPC	1999	DBLP DOI BibTeX RDF
19	Mohd Yazid Saman, David J. Evans 0001	Inter-Procedural Analysis for Parallel Computing.	Parallel Comput.	1995	DBLP DOI BibTeX RDF
19	Masaaki Mizuno	An iterative method for secure inter-procedural information flow control.	COMPSAC	1989	DBLP DOI BibTeX RDF
19	R. Schooler	Knowing is better than thinking: a simple approach to inter-procedural optimization.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
17	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
17	Sigmund Cherem, Radu Rugina	Uniqueness inference for compile-time object deallocation.	ISMM	2007	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
17	Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
17	Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring.	DATE	2005	DBLP DOI BibTeX RDF
17	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
17	Jian-Zhi Wu, Jenq Kuen Lee	A Bytecode Optimizer to Engineer Bytecodes for Performance.	LCPC	2000	DBLP DOI BibTeX RDF
17	Eugene W. Myers	A Precise Interprocedural Data Flow Algorithm.	POPL	1981	DBLP DOI BibTeX RDF
14	Guohua Jin, John M. Mellor-Crummey, Robert J. Fowler	Increasing temporal locality with skewing and recursive blocking.	SC	2001	DBLP DOI BibTeX RDF
10	Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni	Exploring large profiles with calling context ring charts.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	calling context profiles, calling context tree (cct), visualization, performance analysis, dynamic metrics
10	Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang	Mapping kernel objects to enable systematic integrity checking.	CCS	2009	DBLP DOI BibTeX RDF	kernel integrity, memory analysis, malware, pointer analysis, introspection
10	Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi	SPEED: precise and efficient static estimation of program computational complexity.	POPL	2009	DBLP DOI BibTeX RDF	counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis
10	Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz	Trace-based just-in-time type specialization for dynamic languages.	PLDI	2009	DBLP DOI BibTeX RDF	trace-based compilation, dynamically typed languages
10	Sudheendra Hangal, Monica S. Lam	Automatic dimension inference and checking for object-oriented programs.	ICSE	2009	DBLP DOI BibTeX RDF
10	Wonchul Lee, Hyojin Choi, Wonyong Sung	Algorithm and Software Optimization of Variable Block Size Motion Estimation for H.264/AVC on a VLIW-SIMD DSP.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	variable block size motion estimation, H.264/AVC encoder, VLIW (very long instruction word), SIMD (single instruction multiple data)
10	Changjun Hu, Yewei Shao, Jue Wang 0013, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
10	Daniel Millot, Alain Muller, Christian Parrot, Frédérique Silber-Chaussumier	STEP: A Distributed OpenMP for Coarse-Grain Parallelism Tool.	IWOMP	2008	DBLP DOI BibTeX RDF
10	Sun C. Chan, Guang R. Gao, Barbara M. Chapman, T. Linthicum, A. Dasgupta	Open64 compiler infrastructure for emerging multicore/manycore architecture All Symposium Tutorial.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Carsten Gremzow	Quantitative global dataflow analysis on virtual instruction set simulators for hardware/software co-design.	ICCD	2008	DBLP DOI BibTeX RDF
10	Guoqing Xu 0001, Atanas Rountev	AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.	AOSD	2008	DBLP DOI BibTeX RDF	AspectJ, dataflow analysis, interprocedural analysis
10	Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral	Forma: A framework for safe automatic array reshaping.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	reference analysis, data structure, Arrays
10	Vineet Kahlon, Aarti Gupta	On the analysis of interacting pushdown systems.	POPL	2007	DBLP DOI BibTeX RDF	model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
10	Sigmund Cherem, Radu Rugina	A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.	CC	2007	DBLP DOI BibTeX RDF
10	Sigmund Cherem, Lonnie Princehouse, Radu Rugina	Practical memory leak detection using guarded value-flow analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static error detection, value-flow analysis, memory management, memory leaks
10	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Path-Sensitive Inference of Function Precedence Protocols.	ICSE	2007	DBLP DOI BibTeX RDF
10	Mario Luca Bernardi, Giuseppe A. Di Lucca	An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems.	ICSM	2007	DBLP DOI BibTeX RDF
10	Sigmund Cherem, Radu Rugina	Compile-time deallocation of individual objects.	ISMM	2006	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, program transformations, shape analysis
10	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
10	Ettore Merlo, Dominic Letarte, Giuliano Antoniol	Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP.	WCRE	2006	DBLP DOI BibTeX RDF
10	Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi	Accurate, efficient, and adaptive calling context profiling.	PLDI	2006	DBLP DOI BibTeX RDF	adaptive, profiling, java virtual machine, call graph, calling context, calling context tree
10	Dan R. Ghica, Andrzej S. Murawski	Compositional Model Extraction for Higher-Order Concurrent Programs.	TACAS	2006	DBLP DOI BibTeX RDF
10	Zhuopeng Zhang, Hongji Yang, William C. Chu	Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration.	QSIC	2006	DBLP DOI BibTeX RDF