Sciweavers

142 search results - page 1 / 29
» A Constant Propagation Algorithm for Explicitly Parallel Pro...
Sort
View
IJPP
1998
79views more  IJPP 1998»
13 years 4 months ago
A Constant Propagation Algorithm for Explicitly Parallel Programs
Jaejin Lee, Samuel P. Midkiff, David A. Padua
ICPP
1998
IEEE
13 years 9 months ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
PLDI
1995
ACM
13 years 8 months ago
Flow-Sensitive Interprocedural Constant Propagation
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
Paul R. Carini, Michael Hind
STOC
2001
ACM
123views Algorithms» more  STOC 2001»
14 years 5 months ago
On optimal slicing of parallel programs
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
Markus Müller-Olm, Helmut Seidl
TRIER
2002
13 years 4 months ago
Polynomial Constants are Decidable
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
Markus Müller-Olm, Helmut Seidl