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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605583921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chameleon

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

10.1145/1542476.1542522 ◽

2009 ◽

Cited By ~ 53

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 ◽

Cited By ~ 32

Author(s):

Pieter Hooimeijer ◽

Westley Weimer

Keyword(s):

Decision Procedure ◽

Regular Languages

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 5

Author(s):

Xin Qi ◽

Andrew C. Myers

Download Full-text

Semantics-aware trace analysis

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

10.1145/1542476.1542527 ◽

2009 ◽

Cited By ~ 15

Author(s):

Kevin J. Hoffman ◽

Patrick Eugster ◽

Suresh Jagannathan

Keyword(s):

Trace Analysis

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 ◽

Cited By ~ 76

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 ◽

Cited By ~ 62

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 ◽

Cited By ~ 37

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 ◽

Cited By ~ 30

Author(s):

Bratin Saha ◽

Avi Mendelson ◽

Xiaocheng Zhou ◽

Hu Chen ◽

Ying Gao ◽

...

Keyword(s):

Programming Model

Download Full-text

Staged information flow for javascript

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

10.1145/1542476.1542483 ◽

2009 ◽

Cited By ~ 93

Author(s):

Ravi Chugh ◽

Jeffrey A. Meister ◽

Ranjit Jhala ◽

Sorin Lerner

Keyword(s):

Information Flow

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Chameleon

A decision procedure for subset constraints over regular languages

Progress guarantee for parallel programs via bounded lock-freedom

Sharing classes between families

Semantics-aware trace analysis

A randomized dynamic program analysis technique for detecting real deadlocks

Dynamic software updates

CEAL

Programming model for a heterogeneous x86 platform

Staged information flow for javascript

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