PLDI 2010 - PDF Preprint Papers

PLDI 2010 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2010 Paper

click to vote

PLDI
2010
ACM

404views Programming Languages» more PLDI 2010»

Pacer: Proportional Detection of Data Races

14 years 8 months ago

Download www.cs.utexas.edu

Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...

Michael D. Bond, Katherine E. Coons, Kathryn S. Mc...

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	404	Pacer: Proportional Detection of Data Races	claim
2	361	A Context-free Markup Language for Semi-structured Text	claim
3	302	DRFX: a simple and efficient memory model for concurrent programming languages	claim
4	295	An analysis of the dynamic behavior of JavaScript programs	claim
5	287	Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses	claim
6	266	Complete Functional Synthesis	claim
7	266	Green: a framework for supporting energy-conscious programming using controlled approximation	claim
8	259	Finding low-utility data structures	claim
9	259	Z-rays: divide arrays and conquer speed and flexibility	claim
10	257	Mixing type checking and symbolic execution	claim
11	250	Jinn: synthesizing dynamic bug detectors for foreign language interfaces	claim
12	241	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis	claim
13	241	Detecting Inefficiently-Used Containers to Avoid Bloat	claim
14	233	The Reachability-Bound Problem	claim
15	227	Line-up: a complete and automatic linearizability checker	claim
16	224	Adversarial memory for detecting destructive races	claim
17	224	Bringing Extensibility to Verified Compilers	claim
18	222	Evaluating Iterative Optimization across 1000 Data Sets	claim
19	222	GUESSTIMATE: A Programming Model for Collaborative Distributed Systems	claim
20	219	Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System	claim
21	216	Smooth interpretation	claim
22	212	Type-preserving Compilation for End-to-end Verification of Security Enforcement	claim
23	206	Parameterized Verification of Transactional Memories	claim
24	203	Inferable object-oriented typed assembly language	claim
25	198	Supporting speculative parallelization in the presence of dynamic data structures	claim
26	196	Ur: Statically-Typed Metaprogramming with Type-Level Record Computation	claim
27	194	Traceable data types for self-adjusting computation	claim
28	188	Composing Parallel Software Efficiently with Lithe	claim
29	187	A GPGPU compiler for memory optimization and parallelism management	claim
30	187	Evaluating the accuracy of Java profilers	claim
31	185	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools	claim
32	177	Bamboo: a data-centric, object-oriented approach to many-core software	claim
33	174	Mint: Java multi-stage programming using weak separability	claim
34	166	Schism: fragmentation-tolerant real-time garbage collection	claim
35	164	Software data spreading: leveraging distributed caches to improve single thread performance	claim
36	156	Safe programmable speculative parallelism	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers