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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581134142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incrementalized pointer and escape analysis

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

10.1145/378795.378804 ◽

2001 ◽

Cited By ~ 24

Author(s):

Frédéric Vivien ◽

Martin Rinard

Keyword(s):

Escape Analysis

Download Full-text

ESP

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

10.1145/378795.378862 ◽

2001 ◽

Cited By ~ 5

Author(s):

Sanjeev Kumar ◽

Yitzhak Mandelbaum ◽

Xiang Yu ◽

Kai Li

Download Full-text

Language support for regions

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

10.1145/378795.378815 ◽

2001 ◽

Cited By ~ 46

Author(s):

David Gay ◽

Alex Aiken

Keyword(s):

Language Support

Download Full-text

Demand-driven pointer analysis

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

10.1145/378795.378802 ◽

2001 ◽

Cited By ~ 60

Author(s):

Nevin Heintze ◽

Olivier Tardieu

Keyword(s):

Pointer Analysis

Download Full-text

Principled scavenging

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

10.1145/378795.378817 ◽

2001 ◽

Cited By ~ 9

Author(s):

Stefan Monnier ◽

Bratin Saha ◽

Zhong Shao

Download Full-text

Automatic predicate abstraction of C programs

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

10.1145/378795.378846 ◽

2001 ◽

Cited By ~ 304

Author(s):

Thomas Ball ◽

Rupak Majumdar ◽

Todd Millstein ◽

Sriram K. Rajamani

Keyword(s):

Predicate Abstraction ◽

C Programs

Download Full-text

SPL

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

10.1145/378795.378860 ◽

2001 ◽

Cited By ~ 94

Author(s):

Jianxin Xiong ◽

Jeremy Johnson ◽

Robert Johnson ◽

David Padua

Download Full-text

Asynchronous exceptions in Haskell

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

10.1145/378795.378858 ◽

2001 ◽

Cited By ~ 24

Author(s):

Simon Marlow ◽

Simon Peyton Jones ◽

Andrew Moran ◽

John Reppy

Download Full-text

Java without the coffee breaks

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

10.1145/378795.378819 ◽

2001 ◽

Cited By ~ 48

Author(s):

David F. Bacon ◽

Clement R. Attanasio ◽

Han B. Lee ◽

V. T. Rajan ◽

Stephen Smith

Download Full-text

Ultra-fast aliasing analysis using CLA

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

10.1145/378795.378855 ◽

2001 ◽

Cited By ~ 99

Author(s):

Nevin Heintze ◽

Olivier Tardieu

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Incrementalized pointer and escape analysis

ESP

Language support for regions

Demand-driven pointer analysis

Principled scavenging

Automatic predicate abstraction of C programs

SPL

Asynchronous exceptions in Haskell

Java without the coffee breaks

Ultra-fast aliasing analysis using CLA

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