Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

22

(FIVE YEARS 0)

Published By ACM Press

9781450300193

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Composing parallel software efficiently with lithe

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806639 ◽

2010 ◽

Author(s):

Heidi Pan ◽

Benjamin Hindman ◽

Krste Asanović

Keyword(s):

Parallel Software

Download Full-text

Decoupled lifeguards

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806600 ◽

2010 ◽

Author(s):

Olatunji Ruwase ◽

Shimin Chen ◽

Phillip B. Gibbons ◽

Todd C. Mowry

Download Full-text

Breadcrumbs

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806599 ◽

2010 ◽

Author(s):

Michael D. Bond ◽

Graham Z. Baker ◽

Samuel Z. Guyer

Download Full-text

Traceable data types for self-adjusting computation

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806650 ◽

2010 ◽

Author(s):

Umut A. Acar ◽

Guy Blelloch ◽

Ruy Ley-Wild ◽

Kanat Tangwongsan ◽

Duru Turkoglu

Keyword(s):

Download Full-text

Mixing type checking and symbolic execution

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806645 ◽

2010 ◽

Author(s):

Yit Phang Khoo ◽

Bor-Yuh Evan Chang ◽

Jeffrey S. Foster

Keyword(s):

Symbolic Execution ◽

Download Full-text

A GPGPU compiler for memory optimization and parallelism management

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806606 ◽

2010 ◽

Author(s):

Yi Yang ◽

Ping Xiang ◽

Jingfei Kong ◽

Huiyang Zhou

Keyword(s):

Memory Optimization

Download Full-text

Lock elision for read-only critical sections in Java

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806627 ◽

2010 ◽

Author(s):

Takuya Nakaike ◽

Maged M. Michael

Keyword(s):

Critical Sections

Download Full-text

PACER

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806626 ◽

2010 ◽

Author(s):

Michael D. Bond ◽

Katherine E. Coons ◽

Kathryn S. McKinley

Download Full-text

A context-free markup language for semi-structured text

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806622 ◽

2010 ◽

Author(s):

Qian Xi ◽

David Walker

Keyword(s):

Markup Language ◽

Download Full-text

Supporting speculative parallelization in the presence of dynamic data structures

Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 ◽

10.1145/1806596.1806604 ◽

2010 ◽

Author(s):

Chen Tian ◽

Min Feng ◽

Rajiv Gupta

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Speculative Parallelization

Download Full-text