Sciweavers

243 search results - page 3 / 49
» Precise Interprocedural Dependence Analysis of Parallel Prog...
Sort
View
POPL
2005
ACM
14 years 5 months ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula
SC
2003
ACM
13 years 10 months ago
A Compiler Analysis of Interprocedural Data Communication
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
Yonghua Ding, Zhiyuan Li
ISSTA
1998
ACM
13 years 9 months ago
Computation of Interprocedural Control Dependence
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha
ACPC
1999
Springer
13 years 9 months ago
Inter-procedural Analysis for Parallelization of Java Programs
Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka
POPL
2007
ACM
14 years 5 months ago
Interprocedural analysis of asynchronous programs
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
Ranjit Jhala, Rupak Majumdar