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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 24

Author(s):

Heidi Pan ◽

Benjamin Hindman ◽

Krste Asanović

Keyword(s):

Parallel Software

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 ◽

Cited By ~ 11

Author(s):

Umut A. Acar ◽

Guy Blelloch ◽

Ruy Ley-Wild ◽

Kanat Tangwongsan ◽

Duru Turkoglu

Keyword(s):

Data Types

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 16

Author(s):

Michael D. Bond ◽

Graham Z. Baker ◽

Samuel Z. Guyer

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 ◽

Cited By ~ 7

Author(s):

Yit Phang Khoo ◽

Bor-Yuh Evan Chang ◽

Jeffrey S. Foster

Keyword(s):

Symbolic Execution ◽

Type Checking

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 ◽

Cited By ~ 29

Author(s):

Chen Tian ◽

Min Feng ◽

Rajiv Gupta

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Speculative Parallelization

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 137

Author(s):

Michael D. Bond ◽

Katherine E. Coons ◽

Kathryn S. McKinley

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 ◽

Cited By ~ 133

Author(s):

Yi Yang ◽

Ping Xiang ◽

Jingfei Kong ◽

Huiyang Zhou

Keyword(s):

Memory Optimization

Download Full-text

Finding low-utility data structures

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

10.1145/1806596.1806617 ◽

2010 ◽

Cited By ~ 58

Author(s):

Guoqing Xu ◽

Nick Mitchell ◽

Matthew Arnold ◽

Atanas Rountev ◽

Edith Schonberg ◽

...

Keyword(s):

Data Structures

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Composing parallel software efficiently with lithe

Traceable data types for self-adjusting computation

Decoupled lifeguards

Breadcrumbs

Mixing type checking and symbolic execution

Supporting speculative parallelization in the presence of dynamic data structures

Lock elision for read-only critical sections in Java

PACER

A GPGPU compiler for memory optimization and parallelism management

Finding low-utility data structures

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