PLDI 2012 - PDF Preprint Papers

PLDI 2012 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2012 Paper

click to vote

PLDI
2012
ACM

310views Programming Languages» more PLDI 2012»

Fully automatic and precise detection of thread safety violations

11 years 7 months ago

Download mp.binaervarianz.de

Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...

Michael Pradel, Thomas R. Gross

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	310	Fully automatic and precise detection of thread safety violations	claim
2	289	Adaptive input-aware compilation for graphics engines	claim
3	281	Test-case reduction for C compiler bugs	claim
4	273	Self-stabilizing Java	claim
5	271	Dynamic synthesis for relaxed memory models	claim
6	269	Chimera: hybrid program analysis for determinism	claim
7	266	Automated error diagnosis using abductive inference	claim
8	261	Effective parallelization of loops in the presence of I/O operations	claim
9	258	Design and implementation of sparse global analyses for C-like languages	claim
10	257	Diderot: a parallel DSL for image analysis and visualization	claim
11	257	Speculative linearizability	claim
12	252	Fast and precise hybrid type inference for JavaScript	claim
13	249	The implicit calculus: a new foundation for generic programming	claim
14	243	JANUS: exploiting parallelism via hindsight	claim
15	243	Parallelizing top-down interprocedural analyses	claim
16	240	RockSalt: better, faster, stronger SFI for the x86	claim
17	235	Concurrent data representation synthesis	claim
18	235	Language-based control and mitigation of timing channels	claim
19	229	Reagents: expressing and composing fine-grained concurrency	claim
20	226	Parcae: a system for flexible parallel execution	claim
21	220	Scalable and precise dynamic datarace detection for structured parallelism	claim
22	217	Understanding and detecting real-world performance bugs	claim
23	212	Speculative separation for privatization and reductions	claim
24	189	Proving acceptability properties of relaxed nondeterministic approximate programs	claim
25	187	Sound and precise analysis of parallel programs through schedule specialization	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers