Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 16:30 - 17:20 at Matterhorn 3 - Session 12 Chair(s): Coen De Roover

Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.

Sylvan Clebsch is the designer of the Pony programming language. He has worked in industry for 24 years, on fintech, milsims, video games, peer networking, VOIP, identity management, crypto, embedded OSes, and now programming languages. He works at Microsoft Research Cambridge.

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20: Session 12SPLASH-I at Matterhorn 3
Chair(s): Coen De RooverVrije Universiteit Brussel, Belgium
15:40 - 16:30
Talk
Language Support for Distributed Systems
SPLASH-I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30 - 17:20
Talk
Pony: Co-designing a Type System and a Runtime
SPLASH-I
Sylvan ClebschImperial College London
Media Attached