Presentation: Pony: Co-Designing A Type-System And A Run-Time



1:40pm - 2:30pm

Day of week:


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.

Speaker: Sylvan Clebsch

CTO @Causality

Sylvan Clebsch is the designer of the Pony programming language. He works at Microsoft Research Cambridge in the Programming Language Principles group. He is interested in massively concurrent and distributed systems, garbage collection, type systems, actor-model programming, and trusted computing.

Find Sylvan Clebsch at


Conference for Professional Software Developers