PLDI 2006 - PDF Preprint Papers

PLDI 2006 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2006 Paper

click to vote

PLDI
2006
ACM

174views Programming Languages» more PLDI 2006»

Correctness-preserving derivation of concurrent garbage collection algorithms

13 years 10 months ago

Download groups.csail.mit.edu

Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...

Martin T. Vechev, Eran Yahav, David F. Bacon

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	174	Correctness-preserving derivation of concurrent garbage collection algorithms	claim
2	160	Free-Me: a static analysis for automatic individual object reclamation	claim
3	148	Refactoring programs to secure information flows	claim
4	145	A microkernel virtual machine: : building security with clear interfaces	claim
5	143	Optimizing memory transactions	claim
6	143	Continuations and transducer composition	claim
7	142	Precise alias analysis for static detection of web application vulnerabilities	claim
8	137	The Compressor: concurrent, incremental, and parallel compaction	claim
9	134	SAFECode: enforcing alias analysis for weakly typed languages	claim
10	131	Combining type-based analysis and model checking for finding counterexamples against non-interference	claim
11	130	Specifying distributed trust management in LolliMon	claim
12	125	DieHard: probabilistic memory safety for unsafe languages	claim
13	119	Effective static race detection for Java	claim
14	114	Context-sensitive domain-independent algorithm composition and selection	claim
15	109	The Atomos transactional programming language	claim
16	109	Better extensibility through modular syntax	claim
17	108	Cache-conscious coallocation of hot data streams	claim
18	107	A global progressive register allocator	claim
19	106	A framework for unrestricted whole-program optimization	claim
20	104	Eventrons: a safe programming construct for high-frequency hard real-time applications	claim
21	102	Shared memory programming for large scale machines	claim
22	99	Termination proofs for systems code	claim
23	99	LOCKSMITH: context-sensitive correlation analysis for race detection	claim
24	99	Optimizing data permutations for SIMD devices	claim
25	97	Profile-based global live-range splitting	claim
26	96	Practical dynamic software updating for C	claim
27	92	Automatic instruction scheduler retargeting by reverse-engineering	claim
28	90	Combining abstract interpreters	claim
29	87	Refinement-based context-sensitive points-to analysis for Java	claim
30	83	Fast and flexible instruction selection with on-demand tree-parsing automata	claim
31	78	An experimental analysis of self-adjusting computation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers