Concurrent Typed Intermediate Language

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 languageUnknown
Title of host publicationProceedings of the ACM Symposium on Applied Computing
Publication statusPublished - 1 Jan 2013
Event28th Annual ACM Symposium on Applied Computing -
Duration: 1 Jan 2013 → …


Conference28th Annual ACM Symposium on Applied Computing
Period1/01/13 → …

Cite this