Curry On!

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!

Thomas Ball - The Correct Cloud - Logic and Languages

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

Sebastian Blessing - Run, actor, run

Philip Wadler - Plutus and Marlowe

Simon Marlow - Glean - facts about code

Jan Vitek - Getting everything wrong without doing anything right!

Adelbert Chang - Microservice Architecture, a programming languages perspective

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

Adam Welc - No Hands on Deck: Automation @Uber

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

Cynthia Solomon - Logo, A Computer Language to Grow With

Simon Danisch - Julia - A Compiler for the Future

Dmitry Petrashko - Gradual typing for Ruby at Scale with Sorbet

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

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

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

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

Aidan Hobson Sayers - A vision for debugging distributed applications

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

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