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

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

23

(FIVE YEARS 0)

Published By ACM Press

9781595938602

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Discovering properties about arrays in simple programs

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

10.1145/1375581.1375623 ◽

2008 ◽

Author(s):

Nicolas Halbwachs ◽

Mathias Péron

Download Full-text

Conditional correlation analysis for safe region-based memory management

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

10.1145/1375581.1375588 ◽

2008 ◽

Author(s):

Xi Wang ◽

Zhilei Xu ◽

Xuezheng Liu ◽

Zhenyu Guo ◽

Xiaoge Wang ◽

...

Keyword(s):

Correlation Analysis ◽

Memory Management ◽

Conditional Correlation ◽

Download Full-text

Register allocation by puzzle solving

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

10.1145/1375581.1375609 ◽

2008 ◽

Author(s):

Fernando Magno Quintão Pereira ◽

Jens Palsberg

Keyword(s):

Register Allocation ◽

Download Full-text

Inferring locks for atomic sections

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

10.1145/1375581.1375619 ◽

2008 ◽

Author(s):

Sigmund Cherem ◽

Trishul Chilimbi ◽

Sumit Gulwani

Download Full-text

Explaining failures of program analyses

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

10.1145/1375581.1375614 ◽

2008 ◽

Author(s):

Daniel von Dincklage ◽

Amer Diwan

Download Full-text

Sound, complete and scalable path-sensitive analysis

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

10.1145/1375581.1375615 ◽

2008 ◽

Author(s):

Isil Dillig ◽

Thomas Dillig ◽

Alex Aiken

Keyword(s):

Sensitive Analysis

Download Full-text

Grammar-based whitebox fuzzing

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

10.1145/1375581.1375607 ◽

2008 ◽

Author(s):

Patrice Godefroid ◽

Adam Kiezun ◽

Michael Y. Levin

Download Full-text

Efficient program execution indexing

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

10.1145/1375581.1375611 ◽

2008 ◽

Author(s):

Bin Xin ◽

William N. Sumner ◽

Xiangyu Zhang

Keyword(s):

Program Execution ◽

Efficient Program

Download Full-text

Liquid types

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

10.1145/1375581.1375602 ◽

2008 ◽

Author(s):

Patrick M. Rondon ◽

Ming Kawaguci ◽

Ranjit Jhala

Download Full-text

A study of concurrent real-time garbage collectors

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

10.1145/1375581.1375587 ◽

2008 ◽

Author(s):

Filip Pizlo ◽

Erez Petrank ◽

Bjarne Steensgaard

Keyword(s):

Download Full-text