Automatic accurate live memory analysis for garbage-collected languages

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

doi:10.1145/384198.384212

Automatic accurate live memory analysis for garbage-collected languages

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001
Publisher	Association for Computing Machinery, Inc
Pages	102-111
Number of pages	10
ISBN (Print)	1581134266, 9781581134261
DOIs	https://doi.org/10.1145/384198.384212
State	Published - Aug 1 2001
Event	2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001 - Snowbird, United States Duration: Jun 18 2001 → …

Publication series

Name	Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001

Conference

Conference	2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001
Country/Territory	United States
City	Snowbird
Period	06/18/01 → …

Access to Document

10.1145/384198.384212

Cite this

Unnikrishnan, L., Stoller, S. D., & Liu, Y. A. (2001). Automatic accurate live memory analysis for garbage-collected languages. In Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001 (pp. 102-111). (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001). Association for Computing Machinery, Inc. https://doi.org/10.1145/384198.384212

Unnikrishnan, Leena ; Stoller, Scott D. ; Liu, Yanhong A. / Automatic accurate live memory analysis for garbage-collected languages. Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Association for Computing Machinery, Inc, 2001. pp. 102-111 (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001).

@inproceedings{cb2663731b754786842c800e1d6b24c5,

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.",

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

note = "Publisher Copyright: {\textcopyright} ACM 2001.; 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001 ; Conference date: 18-06-2001",

year = "2001",

month = aug,

day = "1",

doi = "10.1145/384198.384212",

language = "English",

isbn = "1581134266",

series = "Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001",

publisher = "Association for Computing Machinery, Inc",

pages = "102--111",

booktitle = "Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001",

}

Unnikrishnan, L, Stoller, SD & Liu, YA 2001, Automatic accurate live memory analysis for garbage-collected languages. in Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001, Association for Computing Machinery, Inc, pp. 102-111, 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001, Snowbird, United States, 06/18/01. https://doi.org/10.1145/384198.384212

Automatic accurate live memory analysis for garbage-collected languages. / Unnikrishnan, Leena; Stoller, Scott D.; Liu, Yanhong A.
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Association for Computing Machinery, Inc, 2001. p. 102-111 (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Unnikrishnan, Leena

AU - Stoller, Scott D.

AU - Liu, Yanhong A.

N1 - Publisher Copyright: © ACM 2001.

PY - 2001/8/1

Y1 - 2001/8/1

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.

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.

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

U2 - 10.1145/384198.384212

DO - 10.1145/384198.384212

M3 - Conference contribution

AN - SCOPUS:85053385845

SN - 1581134266

SN - 9781581134261

T3 - Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001

SP - 102

EP - 111

BT - Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001

PB - Association for Computing Machinery, Inc

T2 - 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001

Y2 - 18 June 2001

ER -

Unnikrishnan L, Stoller SD , Liu YA. Automatic accurate live memory analysis for garbage-collected languages. In Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Association for Computing Machinery, Inc. 2001. p. 102-111. (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001). doi: 10.1145/384198.384212

Automatic accurate live memory analysis for garbage-collected languages

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this