Authors: Luís Miguel Lourenço, João Costa Seco
This is a prototype of a concurrent virtual machine, whose intermediate language is typed and includes instructions dedicated to manage concurrency, and thread handlers are native machine values. This allows for the definition of type systems that checks program properties related to concurrency, for instance, the absence of race-conditions or deadlocks. This work was supported by the Streamline project, and the core work on Behavioral Separation [1], with the intent of establishing a runtime support for concurrent programs.
[1] Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.