Sciweavers

142 search results - page 1 / 29
» A Constant Propagation Algorithm for Explicitly Parallel Pro...
Sort
View
IJPP
1998
79views more  IJPP 1998»
15 years 14 days ago
A Constant Propagation Algorithm for Explicitly Parallel Programs
Jaejin Lee, Samuel P. Midkiff, David A. Padua
108
Voted
ICPP
1998
IEEE
15 years 5 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
109
Voted
PLDI
1995
ACM
15 years 4 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
97
Voted
STOC
2001
ACM
123views Algorithms» more  STOC 2001»
16 years 1 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
135
Voted
TRIER
2002
15 years 13 days 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