Jan Vitek - Getting everything wrong without doing anything right!
43:34
Tomas Petricek - The search for fundamental software engineering principles
56:16
Simon Marlow - Glean - facts about code
42:46
Ron Pressler - Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
45:32
Philip Wadler - Plutus and Marlowe
31:06
John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language
1:06:20
Lars Bak - The Making of a Secure and Robust IoT Development Platform
42:15
"Performance Matters" by Emery Berger
49:36