Concurrent Typed Intermediate Language

João Ricardo Viegas da Costa Seco

doi:10.1145/2480362.2480658

Concurrent Typed Intermediate Language

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

Abstract

Typed assembly languages have been designed to ensure safety on low-level code, avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus compromising the correct behavior of virtual machines and processors. Among the most challenging errors to detect are errors related to concurrent behaviors and thread synchronization. We present a typed intermediate language for a stack-based virtual machine, comprising a primitive object model and native support for concurrency. By using primitives to deal with concurrency, we establish a more abstract level where it is possible to represent and enforce a linear discipline on thread values, and pave the way for more sophisticated type based aliasing and concurrency analyses.

Original language	Unknown
Title of host publication	Proceedings of the ACM Symposium on Applied Computing
Pages	1587-1588
DOIs	https://doi.org/10.1145/2480362.2480658
Publication status	Published - 1 Jan 2013
Event	28th Annual ACM Symposium on Applied Computing - Duration: 1 Jan 2013 → …

Conference

Conference	28th Annual ACM Symposium on Applied Computing
Period	1/01/13 → …

Access to Document

10.1145/2480362.2480658

Cite this

@inproceedings{d7994202407d47b0b69c9ac22cae75a7,

title = "Concurrent Typed Intermediate Language",

abstract = "Typed assembly languages have been designed to ensure safety on low-level code, avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus compromising the correct behavior of virtual machines and processors. Among the most challenging errors to detect are errors related to concurrent behaviors and thread synchronization. We present a typed intermediate language for a stack-based virtual machine, comprising a primitive object model and native support for concurrency. By using primitives to deal with concurrency, we establish a more abstract level where it is possible to represent and enforce a linear discipline on thread values, and pave the way for more sophisticated type based aliasing and concurrency analyses.",

author = "Seco, {Jo{\~a}o Ricardo Viegas da Costa}",

note = "Sem pdf conforme despacho; 28th Annual ACM Symposium on Applied Computing ; Conference date: 01-01-2013",

year = "2013",

month = jan,

day = "1",

doi = "10.1145/2480362.2480658",

language = "Unknown",

isbn = "978-1-4503-1656-9",

pages = "1587--1588",

booktitle = "Proceedings of the ACM Symposium on Applied Computing",

}

TY - GEN

T1 - Concurrent Typed Intermediate Language

AU - Seco, João Ricardo Viegas da Costa

N1 - Sem pdf conforme despacho

PY - 2013/1/1

Y1 - 2013/1/1

N2 - Typed assembly languages have been designed to ensure safety on low-level code, avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus compromising the correct behavior of virtual machines and processors. Among the most challenging errors to detect are errors related to concurrent behaviors and thread synchronization. We present a typed intermediate language for a stack-based virtual machine, comprising a primitive object model and native support for concurrency. By using primitives to deal with concurrency, we establish a more abstract level where it is possible to represent and enforce a linear discipline on thread values, and pave the way for more sophisticated type based aliasing and concurrency analyses.

AB - Typed assembly languages have been designed to ensure safety on low-level code, avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus compromising the correct behavior of virtual machines and processors. Among the most challenging errors to detect are errors related to concurrent behaviors and thread synchronization. We present a typed intermediate language for a stack-based virtual machine, comprising a primitive object model and native support for concurrency. By using primitives to deal with concurrency, we establish a more abstract level where it is possible to represent and enforce a linear discipline on thread values, and pave the way for more sophisticated type based aliasing and concurrency analyses.

U2 - 10.1145/2480362.2480658

DO - 10.1145/2480362.2480658

M3 - Conference contribution

SN - 978-1-4503-1656-9

SP - 1587

EP - 1588

BT - Proceedings of the ACM Symposium on Applied Computing

T2 - 28th Annual ACM Symposium on Applied Computing

Y2 - 1 January 2013

ER -