31:06

John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language

44:38

Cam Tenny - Beyond the Paper - End-to-End Program Analysis

46:31

Stefan Marr - Dynamic Languages and Parallelism.

01:06:20

Lars Bak - The Making of a Secure and Robust IoT Development Platform

43:34

Tomas Petricek - The search for fundamental software engineering principles

41:17

Szymon Kaliski - Walking In The Garden Of Forking Paths

37:07

Jordy Moos - The Tricks of Game Programming in a Pure Functional Language

23:26

Gargi Sharma - Write your own Container in Rust!

39:35

Thomas Ball - The Correct Cloud - Logic and Languages

43:13

David Schmudde - Say What You Mean - Exploring Declarative Computation in Art

41:29

Sebastian Blessing - Run, actor, run

45:32

Philip Wadler - Plutus and Marlowe

56:16

Simon Marlow - Glean - facts about code

52:00

Jan Vitek - Getting everything wrong without doing anything right!

49:26

Adelbert Chang - Microservice Architecture, a programming languages perspective

39:53

Dhruv Makwana - One VM to Rule Them All? Lessons Learned with GraalVM

45:31

Adam Welc - No Hands on Deck: Automation @Uber

42:01

Richard Millwood - Mental models for critiquing design of interactive development environments

01:07:55

Cynthia Solomon - Logo, A Computer Language to Grow With

35:40

Simon Danisch - Julia - A Compiler for the Future

39:59

Dmitry Petrashko - Gradual typing for Ruby at Scale with Sorbet

41:47

Nate Foster - Formal Methods and Computer Networks - A Match Made in Heaven?

42:00

Raj Saxena & Chris Ford - Finite-State Machines - All models are wrong but this one is useful

46:01

Stephen Kell - Dragging Unix into the 1980s (and beyond?) - liveness and source-level reflection

43:22

Steven Pemberton - Declarative - The paradigm that didn't get mentioned

31:15

Christine H. Flood - Checkpointing for Java

43:23

Veit Heller - Carp - A Language for the 21st Century

36:34

Aidan Hobson Sayers - A vision for debugging distributed applications

43:45

Philipp Haller - Asynchronous streams in direct style with and without macros

40:39

Edwin Brady - Idris 2 - Type-driven Development of Idris

42:25

Andrew Scott - Getafix - Learning to fix bugs automatically

01:01:47

Lin Clark & Till Schneidereit - Bringing WebAssembly outside the web with WASI

42:46

Ron Pressler - Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM

43:29

Markus Völter: The future of DSLs - functions and formal methods

35:54

Alastair Donaldson - GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers

37:49

Tudor Gîrba - Moldable development

46:39

Don Syme - Fabulous: Functional programming for cross-platform mobile apps

38:59

James Coglan - Conflict resolution

44:05

Frank Luan & Celeste Barnaby - Using ML for Code Discovery at Facebook

44:43

Chris Laffra - Little Languages

36:54

Sunjay Cauligi - Constant-time crypto programming with FaCT

38:11

Arnout Engelen - Strategies for Streaming

39:09

Manu Sridharan - Challenges in Large-Scale Mobile App Performance

39:57

Andreas Garnæs - Type-Safe GraphQL Servers with GADTs

46:24

Yulia Startsev - Language Design in the Open

55:33

Cliff Click - Lessons from a Big Data Machine Learning Startup

41:37

Fraser Tweedale - Taming the C monster: Haskell FFI techniques

41:26

Ivan Čukić - Atom Heart Monad: FRP in C++

38:57

Tyler McMullen - Isolation Without Containers

37:01

John Mumm - A CRDT Primer: Defanging Order Theory

46:54

Michael Arntzenius - DB ⋈ FP = Datafun: a new functional query language

01:05:39

Ben Titzer & Andreas Rossberg - WebAssembly, Past, Present, and Future

42:36

Yifan Xing - Distributed Systems Consensus Algorithms

40:53

Simon Belak - Transducing for fun and profit

01:03:45

Steve Francia - Go: building on the shoulders of giants and stepping on a few toes

42:53

Alexis King - Hackett: a metaprogrammable Haskell

44:14

Alexander Thiemann - SuperRecord: Practical Anonymous Records for Haskell

36:28

Sylwia Brodacka - Where visual meets textual. Luna - overview

07:17

Faraz Babar - Using APIs and micro-services as the glue between observed and derived facts

56:23

Felienne Hermans - How does code sound?