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

209views Programming Languages» more PLDI 2010»

Pacer: Proportional Detection of Data Races

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers