Sciweavers

243 search results - page 14 / 49
» Precise Interprocedural Dependence Analysis of Parallel Prog...
Sort
View
CC
2007
Springer
118views System Software» more  CC 2007»
15 years 7 months ago
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
Sigmund Cherem, Radu Rugina
HPDC
2007
IEEE
15 years 7 months ago
Precise and realistic utility functions for user-centric performance analysis of schedulers
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
Cynthia Bailey Lee, Allan Snavely
ECOOP
2012
Springer
13 years 3 months ago
Application-Only Call Graph Construction
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
Karim Ali, Ondrej Lhoták
HPCN
1997
Springer
15 years 4 months ago
Visualizing the Iteration Space in PEFPT
Abstract. Su cient and precise semantic information is essential to interactive parallel programming. In this paper, we present afeasible implementation of the iteration space depe...
Qi Wang, Yijun Yu, Erik H. D'Hollander
POPL
2004
ACM
15 years 6 months ago
Summarizing procedures in concurrent programs
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof