Reference Capabilities for Concurrency & Scalability: an Experience Report
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.
Conference DayTue 24 OctDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00
|Capabilities and Effects|
Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon UniversityPre-print
|Reference Capabilities for Concurrency & Scalability: an Experience Report|
|Unforgeable Distributed Capabilities|