Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Tue 17 Jul 2018 15:00 - 15:25 at Hanoi - Session 2

Protocol programming languages are domain-specific languages that offer higher-level abstractions for programming of synchronization and communication protocols among participants. However, most implementations of protocol programming languages on shared memory architectures use pointer passing to exchange data in communications, so programs can still run into data races. We report on our ongoing efforts toward the first shared memory implementation of a protocol programming language that guarantees freedom of data races, without excessive copying, by leveraging the programming language Rust and its type system.

Tue 17 Jul

ICOOOLPS-2018-papers
14:00 - 15:30: ICOOOLPS - Session 2 at Hanoi
ICOOOLPS-2018-papers14:00 - 14:25
Research paper
Alexandros TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London
ICOOOLPS-2018-papers14:30 - 14:55
Research paper
Eric FritzUniversity of Wisconsin, Milwaukee
ICOOOLPS-2018-papers15:00 - 15:25
Research paper
Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands