@inbook{276139e59bab4ca9945082fa22ed7ce9,
title = "Session-Based Compilation Framework for Multicore Programming",
abstract = "This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. Our focus is to harness the power of concurrency and asynchrony in one of the major forms of multicore CPUs based on distributed, non-coherent memory, through the use of type-directed compilation. The key idea is to regard explicit asynchronous data transfer among local caches as typed communication among processes. By typing imperative processes with a variant of session types, we obtain both type-safe and ef?cient compilation into processes distributed over multiple cores with local memories.",
author = "Paulino, {Herv{\'e} Miguel Cordeiro}",
note = "URL={http://homepages.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos.etal_session-based-compilation.pdf}",
year = "2009",
month = jan,
day = "1",
doi = "10.1007/978-3-642-04167-9_12",
language = "Unknown",
isbn = "978-3-642-04166-2",
volume = "5751",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
number = "5751",
pages = "226--246",
booktitle = "Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures",
edition = "Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain",
}