Thomas Ball - The Correct Cloud - Logic and Languages

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

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

Stefan Marr - Dynamic Languages and Parallelism.

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

Tomas Petricek - The search for fundamental software engineering principles

Szymon Kaliski - Walking In The Garden Of Forking Paths

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

Gargi Sharma - Write your own Container in Rust!

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

Philip Wadler - Plutus and Marlowe

Sebastian Blessing - Run, actor, run

Thomas Ball - The Correct Cloud - Logic and Languages

Adelbert Chang - Microservice Architecture, a programming languages perspective

Simon Marlow - Glean - facts about code

Simon Danisch - Julia - A Compiler for the Future

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

Cynthia Solomon - Logo, A Computer Language to Grow With

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

Dmitry Petrashko - Gradual typing for Ruby at Scale with Sorbet

Jan Vitek - Getting everything wrong without doing anything right!

Adam Welc - No Hands on Deck: Automation @Uber

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

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

Christine H. Flood - Checkpointing for Java