Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Tue 22 Oct 2019 09:15 - 10:30 at Room 3A - Keynote

The Pony programming language supports the actor paradigm, and allows sharing of mutable state in a data-race free manner. Data-race freedom is guaranteed through its novel type system based on reference capabilities, which determine how each actor may use the reference (read, write, immutable, isolated etc). In this talk we will show how the operational semantics drives the design of the type system, an insight which we obtained while deep in the design phase, and which lead to a more elegant and more powerful type system. If time permits, we will also outline how the type system is employed for fully concurrent Garbage Collection.

I am a Professor of Programming Languages in the Department of Computing, Imperial College, London, UK.

Tue 22 Oct

agere
09:00 - 10:30: AGERE 2019 - Keynote at Room 3A
agere09:00 - 09:15
Talk
agere09:15 - 10:30
Talk
Sophia DrossopoulouImperial College London