Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 10:30 - 11:00 at Montale - Session 1: Programming Languages

Distributed systems are becoming an increasingly important part of systems and applications software and it is widely accepted that writing correct distributed systems is challenging. Message-passing concurrency models are the dominant programming paradigm and, even in statically typed languages, programming frameworks typically only have limited type checking support for messages, channels, and ports or mailboxes. In this paper, we present Kola, a language-level implementation of Kompics, a component model with message-passing concurrency. Kola comes with its own compiler and some special language constructs which extend Java’s type system as necessary to enforce static type check- ing on messages, channels, and ports. We show that Kola improves the readability of Kompics code and removes opportunities to introduce bugs, at the cost of little compile time overhead and no runtime overhead.

Paper Preprint (PMLDC16_Kola_Preprint.pdf)480KiB
Slides (Kola.pdf)1.73MiB

Sun 17 Jul

10:00 - 12:30: PMLDC - Session 1: Programming Languages at Montale
PMLDC-2016146874240000010:00 - 10:30
John A. ThywissenThe University of Texas at Austin, Arthur Michener PetersThe University of Texas at Austin, Texas, USA, William CookUT Austin
Link to publication DOI
PMLDC-2016146874420000010:30 - 11:00
Lars KrollKTH Royal Institute of Technology, Sweden, Jim Dowling, Seif Haridi
Link to publication DOI File Attached
PMLDC-2016146874600000011:00 - 11:30
Link to publication DOI
PMLDC-2016146874780000011:30 - 12:00
Crista LopesUniversity of California, Irvine, Rohan Achar, Arthur Valadares
PMLDC-2016146874960000012:00 - 12:30
Matteo CiminiIndiana University, Jeremy G. SiekIndiana University