PLDI 2009 - PDF Preprint Papers

PLDI 2009 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2009 Paper

click to vote

PLDI
2009
ACM

246views Programming Languages» more PLDI 2009»

Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory

14 years 4 days ago

Download cccp.eecs.umich.edu

Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...

Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. M...

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	246	Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory	claim
2	241	Efficiently and precisely locating memory leaks and bloat	claim
3	223	TAJ: effective taint analysis of web applications	claim
4	212	Programming model for a heterogeneous x86 platform	claim
5	202	Language-based security on Android	claim
6	200	Laminar: practical fine-grained decentralized information flow control	claim
7	190	Catch me if you can: permissive yet secure error handling	claim
8	186	Automatic generation of library bindings using static analysis	claim
9	186	Analyzing recursive programs using a fixed-point calculus	claim
10	183	An integrated proof language for imperative programs	claim
11	167	Staged information flow for javascript	claim
12	166	PetaBricks: a language and compiler for algorithmic choice	claim
13	163	Snugglebug: a powerful approach to weakest preconditions	claim
14	162	A decision procedure for subset constraints over regular languages	claim
15	162	CEAL: a C-based language for self-adjusting computation	claim
16	161	Semantics-aware trace analysis	claim
17	153	Chameleon: adaptive selection of collections	claim
18	152	Proving optimizations correct using parameterized program equivalence	claim
19	149	A language for information flow: dynamic tracking in multiple interdependent dimensions	claim
20	148	Dynamic software updates: a VM-centric approach	claim
21	145	Trace-based just-in-time type specialization for dynamic languages	claim
22	145	A randomized dynamic program analysis technique for detecting real deadlocks	claim
23	144	LiteRace: effective sampling for lightweight data-race detection	claim
24	139	Measuring channel capacity to distinguish undue influence	claim
25	137	Stretching transactional memory	claim
26	135	Error propagation analysis for file systems	claim
27	135	On PDG-based noninterference and its modular proof	claim
28	134	A study of memory management for web-based applications on multicore processors	claim
29	131	Flow-sensitive semantics for dynamic information flow policies	claim
30	128	GC assertions: using the garbage collector to check heap properties	claim
31	126	SoftBound: highly compatible and complete spatial memory safety for c	claim
32	125	Binary analysis for measurement and attribution of program performance	claim
33	123	Typed self-representation	claim
34	123	A weakest precondition approach to active attacks analysis	claim
35	119	Lightweight annotations for controlling sharing in concurrent data structures	claim
36	117	Encoding information flow in Aura	claim
37	114	An implementation and semantics for transactional memory introspection in Haskell	claim
38	113	Program verification using templates over predicate abstraction	claim
39	100	Progress guarantee for parallel programs via bounded lock-freedom	claim
40	88	Sharing classes between families	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers