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.

1: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

1: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

1: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

1: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

1: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

7:17

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

56:23

Felienne Hermans - How does code sound?

35:51

Tamás Szabó & Sebastian Erdweg - Better living through incrementality

1:03:34

Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language

46:49

Ron Pressler - Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra

47:43

Alvaro Videla - Lector in Codigo

43:38

Nick Mitchell - Serverless Computing with Functions

43:53

Bas Geerdink - Streaming analytics: How to Get Fast Predictions From Real-Time Data

46:55

Jennifer Mary Jacobs - Domain Specific Programming Platforms for Creativity

45:12

Andrea Peruffo - Akka.JS and why the actor model matters even in JS's world

42:35

Manuel Chakravarty - Do-It-Yourself Functional Reactive Programming

44:33

Eelco Visser - Spoofax: Live Programming Language Design

38:02

Andrea Leopardi - Papers we love - Elixir edition

42:30

Chris Ford - It Ain't Necessarily So

45:25

Miles Sabin - Adding kind-polymorphism to the Scala programming language

42:31

Thomas Würthinger - Code into Data: Embedding programs into datastores with GraalVM

37:31

Holden Karau - ApacheSpark as a gateway drug to FP: Concepts taught & broken

44:16

Jesse Alama - Your inner compiler engineer wants out!

33:45

Edd Barrett - Why VM Benchmarking is Probably Misleading you

39:13

Valentin Kasas - Carpenters & Cartographers

43:55

Manuel Chakravarty - Haskell SpriteKit: A Case Study in Turning a Stateful into a Functional API

44:14

José Valim - Idioms for building distributed fault-tolerant applications with Elixir

42:51

Martin Kavalar - Making Science Reproducible with Functional Programming Concepts

48:56

Roberto Ierusalimschy - Scripting with Lua

41:44

Jean Yang - Preventing Information Leaks by Construction

32:44

Deian Stefan - Finding and Preventing Bugs in JavaScript Bindings

41:03

Andy Wingo - Channels, Concurrency, and Cores: A new Concurrent ML implementation

43:59

Daniel King - Building Tools and Languages for Terabyte Scale Biology: A Call to Action

20:51

PLDI 1 minute madness (Day 2)

37:27

Mark Allen - The Sharp Edges of Leaky Abstraction

34:12

Julien Verlaguet - Reflex: Reactive Programming at Facebook

40:36

Sylvan Clebsch - Pony: 714 Days Later

39:19

Chris Ford - Computational Musicology, ????, Profit

42:34

Michael Steindorfer - W/ Age Comes Beauty: Past, Present & Future of Efficient Immutable Collections

28:32

Julia Nguyen - Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs

44:20

Jurriaan Hage - Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler

38:36

Luke Zarko - Scalable cross-references across languages

41:58

Adil Akhter - Orchestrate ING with Petri Net

34:50

Santiago M. Mola - Babelfish: Universal Code Parsing Server

43:06

Mira Mezini - Modular Composition of Reactive Applications

42:17

Eelco Visser - Scope Graphs: A Fresh Look at Name Binding in Programming Languages

45:23

Ali Shoker - There are no BFT Fans Anymore... About Secure Eventual Consistency