Pony: Co-designing a Type System and a Runtime (SPLASH 2016 - SPLASH-I)

Blogs (9) >>

Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Track

SPLASH 2016 SPLASH-I

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 3 Nov 2016 16:30 - 17:20 at Matterhorn 3 - Session 12 Chair(s): Coen De Roover

Abstract

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.

Bio

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.

Pony: Co-designing a Type System and a Runtime