Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Tue 24 Oct 2017 14:00 - 14:30 at Cavendish - Session 2

In this presentation, we report on our work on Kappa, a capability-based type system for parallel and concurrent programming. We have used variations of Kappa to achieve data-race freedom for object-oriented programs and safety for lock-free algorithms, and are currently using it to allow safe sharing of data in the actor-based language Encore.

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron Craig ECS, VUW, Alex Potanin Victoria University of Wellington, Lindsay Groves Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP