Skip to content. | Skip to navigation

  Programming Language Approaches to Concurrency and Communication-cEntric Software

Personal tools
You are here: Home Program
Log in

Forgot your password?


Proceedings (pdf, 70 pages, 2.3 MB)

Session 1 _ 9:00-10:00

Programming Models for Concurrency and Real-time (Invited Talk)
Jan Vitek

Session 2 _ 10:30-12:10

Encapsulation and Dynamic Modularity in the Pi-calculus (slides)
D. Hirschkoff, T. Hirschowitz, S. Hym, A. Pardon, and D. Pous

Session Types as Generic Process Types (slides)
Simon Gay, Nils Gesbert, and Antonio Ravara

Towards Trustworthy Multiparty Sessions (slides)
Roberto Bruni, Ivan Lanese, Hernan Melgratti, Leonardo G. Mezzina, and Emilio Tuosto

Synchronous Multiparty Session Types (slides)
Andi Bejleri and Nobuko Yoshida

Session-based Choreography with Exceptions (slides)

Marco Carbone

Session 3 _ 14:00-15:30

Enhancing program structures for communication (Invited Tutorial)
(or what do we want sensor-driven systems to tell us?)
Alan Mycroft

Compiling the Pi-calculus into a Multi-threaded Typed Assembly Language (slides)
Tiago Cogumbreiro, Francisco Martins, and Vasco T. Vasconcelos

Type-Directed Compilation for Multicore Programming (slides)
Kohei Honda, Vasco T. Vasconcelos, and Nobuko Yoshida

Session 4 _ 16:00-17:30

Seamlessly Distributed & Mobile Workflow or: The right processes at the right places (slides)
Mikkel Bundgaard, Thomas Hildebrandt, and Espen Højsgaard

Towards a Symbolic Semantics for Service-oriented Applications (slides)
Rosario Pugliese, Francesco Tiezzi, and Nobuko Yoshida

Synchronization as a Special Case of Access Control (slides)
Franz Puntigam

Closing (TBA)

Document Actions
« March 2017 »