PPOPP 2005 - PDF Preprint Papers

PPOPP 2005 Principles and Practice of Parallel Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PPOPP-2005 Paper

click to vote

PPOPP
2005
ACM

195views Distributed And Parallel Com...» more PPOPP 2005»

Automated type-based analysis of data races and atomicity

14 years 6 months ago

Download www.cs.uwyo.edu

Concurrent programs are notorious for containing errors that are diﬃcult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...

Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott...

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	195	Automated type-based analysis of data races and atomicity	claim
2	165	Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems	claim
3	155	Adaptive execution techniques for SMT multiprocessor architectures	claim
4	135	Fault tolerant high performance computing by a coding approach	claim
5	134	Energy conservation in heterogeneous server clusters	claim
6	131	Revocable locks for non-blocking programming	claim
7	127	Exposing speculative thread parallelism in SPEC2000	claim
8	118	Compiler techniques for high performance sequentially consistent java programs	claim
9	113	A linear-time algorithm for optimal barrier placement	claim
10	112	A sampling-based framework for parallel data mining	claim
11	110	Static analysis of atomicity for programs with non-blocking synchronization	claim
12	109	Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications	claim
13	108	Trust but verify: monitoring remotely executing programs for progress and correctness	claim
14	98	Performance modeling and optimization of parallel out-of-core tensor contractions	claim
15	98	Teleport messaging for distributed stream programs	claim
16	95	Locality aware dynamic load management for massively multiplayer games	claim
17	93	A novel approach for partitioning iteration spaces with variable densities	claim
18	93	An evaluation of global address space languages: co-array fortran and unified parallel C	claim
19	87	Composable memory transactions	claim
20	79	Using multiple energy gears in MPI programs on a power-scalable cluster	claim
21	73	Scaling model checking of dataraces using dynamic information	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers