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

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

29

(FIVE YEARS 0)

Published By ACM Press

9781605583921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics-aware trace analysis

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

10.1145/1542476.1542527 ◽

2009 ◽

Author(s):

Kevin J. Hoffman ◽

Patrick Eugster ◽

Suresh Jagannathan

Keyword(s):

Download Full-text

Progress guarantee for parallel programs via bounded lock-freedom

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

10.1145/1542476.1542493 ◽

2009 ◽

Author(s):

Erez Petrank ◽

Madanlal Musuvathi ◽

Bjarne Steesngaard

Keyword(s):

Parallel Programs

Download Full-text

Sharing classes between families

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

10.1145/1542476.1542508 ◽

2009 ◽

Author(s):

Xin Qi ◽

Andrew C. Myers

Download Full-text

Chameleon

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

10.1145/1542476.1542522 ◽

2009 ◽

Author(s):

Ohad Shacham ◽

Martin Vechev ◽

Eran Yahav

Download Full-text

A decision procedure for subset constraints over regular languages

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

10.1145/1542476.1542498 ◽

2009 ◽

Author(s):

Pieter Hooimeijer ◽

Westley Weimer

Keyword(s):

Decision Procedure ◽

Regular Languages

Download Full-text

A randomized dynamic program analysis technique for detecting real deadlocks

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

10.1145/1542476.1542489 ◽

2009 ◽

Author(s):

Pallavi Joshi ◽

Chang-Seo Park ◽

Koushik Sen ◽

Mayur Naik

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Technique ◽

Dynamic Program Analysis

Download Full-text

Dynamic software updates

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

10.1145/1542476.1542478 ◽

2009 ◽

Author(s):

Suriya Subramanian ◽

Michael Hicks ◽

Kathryn S. McKinley

Keyword(s):

Software Updates ◽

Dynamic Software

Download Full-text

CEAL

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

10.1145/1542476.1542480 ◽

2009 ◽

Author(s):

Matthew A. Hammer ◽

Umut A. Acar ◽

Yan Chen

Download Full-text

Programming model for a heterogeneous x86 platform

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

10.1145/1542476.1542525 ◽

2009 ◽

Author(s):

Bratin Saha ◽

Avi Mendelson ◽

Xiaocheng Zhou ◽

Hu Chen ◽

Ying Gao ◽

...

Keyword(s):

Programming Model

Download Full-text

A study of memory management for web-based applications on multicore processors

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

10.1145/1542476.1542520 ◽

2009 ◽

Author(s):

Hiroshi Inoue ◽

Hideaki Komatsu ◽

Toshio Nakatani

Keyword(s):

Memory Management ◽

Multicore Processors ◽

Download Full-text