Automatic accurate live memory analysis for garbage-collected languages

Leena Unnikrishnan; Scott D. Stoller; Yanhong A. Liu

doi:10.1145/384196.384212

Automatic accurate live memory analysis for garbage-collected languages

Leena Unnikrishnan
, Scott D. Stoller
, Yanhong A. Liu

Computer Science

Stony Brook University

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Abstract

This paper describes a general approach for automatic and accurate live heap space and live heap space-bound analyses for high-level languages. The approach is based on program analysis and transformations and is fully automatic. The space-bound analysis produces accurate (tight) upper bounds in the presence of partially known input structures. The analyses have been implemented and experimental results confirm their accuracy. Copyright ACM 2001.

Original language	English
Pages (from-to)	102-111
Number of pages	10
Journal	SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume	36
Issue number	8
DOIs	https://doi.org/10.1145/384196.384212
State	Published - Aug 2001

Access to Document

10.1145/384196.384212

Cite this

@article{f3d814ace88e408c96813329a434d683,

title = "Automatic accurate live memory analysis for garbage-collected languages",

abstract = "This paper describes a general approach for automatic and accurate live heap space and live heap space-bound analyses for high-level languages. The approach is based on program analysis and transformations and is fully automatic. The space-bound analysis produces accurate (tight) upper bounds in the presence of partially known input structures. The analyses have been implemented and experimental results confirm their accuracy. Copyright ACM 2001.",

author = "Leena Unnikrishnan and Stoller, \{Scott D.\} and Liu, \{Yanhong A.\}",

year = "2001",

month = aug,

doi = "10.1145/384196.384212",

language = "English",

volume = "36",

pages = "102--111",

journal = "SIGPLAN Notices (ACM Special Interest Group on Programming Languages)",

issn = "0362-1340",

number = "8",

}

TY - JOUR

T1 - Automatic accurate live memory analysis for garbage-collected languages

AU - Unnikrishnan, Leena

AU - Stoller, Scott D.

AU - Liu, Yanhong A.

PY - 2001/8

Y1 - 2001/8

N2 - This paper describes a general approach for automatic and accurate live heap space and live heap space-bound analyses for high-level languages. The approach is based on program analysis and transformations and is fully automatic. The space-bound analysis produces accurate (tight) upper bounds in the presence of partially known input structures. The analyses have been implemented and experimental results confirm their accuracy. Copyright ACM 2001.

AB - This paper describes a general approach for automatic and accurate live heap space and live heap space-bound analyses for high-level languages. The approach is based on program analysis and transformations and is fully automatic. The space-bound analysis produces accurate (tight) upper bounds in the presence of partially known input structures. The analyses have been implemented and experimental results confirm their accuracy. Copyright ACM 2001.

UR - https://www.scopus.com/pages/publications/17244377071

U2 - 10.1145/384196.384212

DO - 10.1145/384196.384212

M3 - Article

AN - SCOPUS:17244377071

SN - 0362-1340

VL - 36

SP - 102

EP - 111

JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

IS - 8

ER -

Automatic accurate live memory analysis for garbage-collected languages

Abstract

Access to Document

Other files and links

Fingerprint

Cite this