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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

20

(FIVE YEARS 0)

Published By ACM Press

1581138075

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying safety properties using separation and heterogeneous abstractions

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

10.1145/996841.996846 ◽

2004 ◽

Author(s):

Eran Yahav ◽

G. Ramalingam

Keyword(s):

Safety Properties

Download Full-text

Cost effective dynamic program slicing

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

10.1145/996841.996855 ◽

2004 ◽

Author(s):

Xiangyu Zhang ◽

Rajiv Gupta

Keyword(s):

Cost Effective ◽

Program Slicing ◽

Dynamic Program ◽

Effective Dynamic

Download Full-text

Inducing heuristics to decide whether to schedule

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

10.1145/996841.996864 ◽

2004 ◽

Author(s):

John Cavazos ◽

J. Eliot ◽

B. Moss

Download Full-text

Parametric analysis for adaptive computation offloading

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

10.1145/996841.996857 ◽

2004 ◽

Author(s):

Cheng Wang ◽

Zhiyuan Li

Keyword(s):

Parametric Analysis ◽

Computation Offloading ◽

Adaptive Computation

Download Full-text

The liberty structural specification language

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

10.1145/996841.996865 ◽

2004 ◽

Author(s):

Manish Vachharajani ◽

Neil Vachharajani ◽

David I. August

Keyword(s):

Specification Language ◽

Structural Specification

Download Full-text

KISS

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

10.1145/996841.996845 ◽

2004 ◽

Author(s):

Shaz Qadeer ◽

Dinghao Wu

Download Full-text

Jedd

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

10.1145/996841.996861 ◽

2004 ◽

Author(s):

Ondřej Lhoták ◽

Laurie Hendren

Download Full-text

Fast searches for effective optimization phase sequences

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

10.1145/996841.996863 ◽

2004 ◽

Author(s):

Prasad Kulkarni ◽

Stephen Hines ◽

Jason Hiser ◽

David Whalley ◽

Jack Davidson ◽

...

Download Full-text

Social processes and proofs of theorems and programs, revisited

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

10.1145/996841.996842 ◽

2004 ◽

Author(s):

Andrew W. Appel

Keyword(s):

Social Processes

Download Full-text

Symbolic pointer analysis revisited

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

10.1145/996841.996860 ◽

2004 ◽

Author(s):

Jianwen Zhu ◽

Silvian Calman

Keyword(s):

Pointer Analysis

Download Full-text