PLDI 2004 - PDF Preprint Papers

PLDI 2004 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2004 Paper

click to vote

PLDI
2004
ACM

463views Programming Languages» more PLDI 2004»

Min-cut program decomposition for thread-level speculation

13 years 9 months ago

Download cobweb.ecn.purdue.edu

With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...

Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykuma...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	463	Min-cut program decomposition for thread-level speculation	claim
2	169	KISS: keep it simple and sequential	claim
3	159	Cost effective dynamic program slicing	claim
4	156	Symbolic pointer analysis revisited	claim
5	155	Fast searches for effective optimization phase sequences	claim
6	152	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams	claim
7	142	Balancing register allocation across threads for a multithreaded network processor	claim
8	135	Parametric regular path queries	claim
9	135	A generalized algorithm for graph-coloring register allocation	claim
10	130	Jedd: a BDD-based relational extension of Java	claim
11	115	Region inference for an object-oriented language	claim
12	109	The set constraint/CFL reachability connection in practice	claim
13	106	Inducing heuristics to decide whether to schedule	claim
14	105	Array regrouping and structure splitting using whole-program reference affinity	claim
15	90	Vectorization for SIMD architectures with alignment constraints	claim
16	89	Verifying safety properties using separation and heterogeneous abstractions	claim
17	88	Dynamic path-based software watermarking	claim
18	87	Kill-safe synchronization abstractions	claim
19	72	Race checking by context inference	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers