Variant Region Types

Florin Craciun, Wei-ngan Chin, Shengchao Qin

Research output: Contribution to conferencePaperResearchpeer-review

Abstract

Region-based memory management has been shown to be an effective alternative that can co-exist with garbage collectors in memory managed languages especially for Real-Time and Big Data applications. In this paper we propose a novel variant region type system that extends our previous Java region types to Generic Java. The main difficulties are given by the type variables used by Generic Java. Our proposal is based on a modular flow analysis that captures regions lifetime relations via subtyping constraints at the method boundary. Our variant region type system guarantees that well-typed Generic Java programs use lexically-scoped regions and never create dangling references in the store and on the program stack.
Original languageEnglish
Pages126-135
DOIs
Publication statusPublished - 27 Dec 2018
Event23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC
Duration: 12 Dec 201814 Dec 2018

Conference

Conference23rd International Conference on Engineering of Complex Computer Systems (ICECCS)
Period12/12/1814/12/18

Fingerprint

Data storage equipment
Big data

Cite this

Craciun, F., Chin, W., & Qin, S. (2018). Variant Region Types. 126-135. Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), . https://doi.org/10.1109/ICECCS2018.2018.00021
Craciun, Florin ; Chin, Wei-ngan ; Qin, Shengchao. / Variant Region Types. Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), .
@conference{03347759f6204d5497e1b1532fa58dd7,
title = "Variant Region Types",
abstract = "Region-based memory management has been shown to be an effective alternative that can co-exist with garbage collectors in memory managed languages especially for Real-Time and Big Data applications. In this paper we propose a novel variant region type system that extends our previous Java region types to Generic Java. The main difficulties are given by the type variables used by Generic Java. Our proposal is based on a modular flow analysis that captures regions lifetime relations via subtyping constraints at the method boundary. Our variant region type system guarantees that well-typed Generic Java programs use lexically-scoped regions and never create dangling references in the store and on the program stack.",
author = "Florin Craciun and Wei-ngan Chin and Shengchao Qin",
year = "2018",
month = "12",
day = "27",
doi = "10.1109/ICECCS2018.2018.00021",
language = "English",
pages = "126--135",
note = "23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ; Conference date: 12-12-2018 Through 14-12-2018",

}

Craciun, F, Chin, W & Qin, S 2018, 'Variant Region Types' Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12/12/18 - 14/12/18, pp. 126-135. https://doi.org/10.1109/ICECCS2018.2018.00021

Variant Region Types. / Craciun, Florin; Chin, Wei-ngan; Qin, Shengchao.

2018. 126-135 Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), .

Research output: Contribution to conferencePaperResearchpeer-review

TY - CONF

T1 - Variant Region Types

AU - Craciun, Florin

AU - Chin, Wei-ngan

AU - Qin, Shengchao

PY - 2018/12/27

Y1 - 2018/12/27

N2 - Region-based memory management has been shown to be an effective alternative that can co-exist with garbage collectors in memory managed languages especially for Real-Time and Big Data applications. In this paper we propose a novel variant region type system that extends our previous Java region types to Generic Java. The main difficulties are given by the type variables used by Generic Java. Our proposal is based on a modular flow analysis that captures regions lifetime relations via subtyping constraints at the method boundary. Our variant region type system guarantees that well-typed Generic Java programs use lexically-scoped regions and never create dangling references in the store and on the program stack.

AB - Region-based memory management has been shown to be an effective alternative that can co-exist with garbage collectors in memory managed languages especially for Real-Time and Big Data applications. In this paper we propose a novel variant region type system that extends our previous Java region types to Generic Java. The main difficulties are given by the type variables used by Generic Java. Our proposal is based on a modular flow analysis that captures regions lifetime relations via subtyping constraints at the method boundary. Our variant region type system guarantees that well-typed Generic Java programs use lexically-scoped regions and never create dangling references in the store and on the program stack.

U2 - 10.1109/ICECCS2018.2018.00021

DO - 10.1109/ICECCS2018.2018.00021

M3 - Paper

SP - 126

EP - 135

ER -

Craciun F, Chin W, Qin S. Variant Region Types. 2018. Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), . https://doi.org/10.1109/ICECCS2018.2018.00021