Sylvan Clebsch
The Pony Programming Language
Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (using math to guarantee data-race freedom at compile time with no locks), protocols for fully concurrent no-stop-the-world garbage collection (with no locks), and extending Pony to the distributed setting. I will also talk a bit about doing research, changing focus in your career, and turning theory into your life's work.
About
Sylvan Clebsch is the designer of the Creator 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.
