Session-Based Compilation Framework for Multicore Programming

Research output: Chapter in Book/Report/Conference proceedingChapter

15 Citations (Scopus)


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.
Original languageUnknown
Title of host publicationFormal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Place of PublicationGermany
PublisherSpringer Berlin Heidelberg
EditionFrank S. de Boer and Marcello M. Bonsangue and Eric Madelain
ISBN (Print)978-3-642-04166-2
Publication statusPublished - 1 Jan 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Cite this