ECOOP and ISSTA 2018 (series) / ICOOOLPS 2018 (series) / ICOOOLPS /
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 25mResearch paper | Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages ICOOOLPS Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London, Susan Eisenbach Imperial College London | ||
14:30 25mResearch paper | Maintaining Canonical Form After Edge Deletion ICOOOLPS Eric Fritz University of Wisconsin, Milwaukee | ||
15:00 25mResearch paper | Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free ICOOOLPS Micha Hergarden Open University of the Netherlands, The Netherlands, Sung-Shik Jongmans Open University of the Netherlands, The Netherlands |