Presenters

On the chemistry of typestate-oriented actors

Silvia Crafa

Static analysis for security at the Facebook scale

Francesco Logozzo

Redesigning Type Systems for Industry OO

Ross Tate

Doing data science with Clojure: the ugly, the sad, the joyful

Simon Belak

Creating a Fun Game with Elm

Andrey Kuzmin, Kolja Wilcke

Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds

Frank Wang

Notes on Post-Post-Modern-Modern Programming

James Noble

How To Win Big With Old Ideas

David Nolen

Building an Open Source Research Lab

Dave Herman

A Type is Worth a Thousand Tests

Manuel Chakravarty

From Unikernels to Databases to UIs: Truly full-stack apps in OCaml

Sean Grove

It's the End of the World as We Know It, and I Feel Fine

Larry Wall

Move Fast to Fix More Things

Peter O'Hearn

Exercises in Programming Style

Crista Lopes

Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing

Jörgen Brandt

Data-driven Software security using Differential Privacy and Deep Learning

Úlfar Erlingsson

Practical Demystification of CRDTs

Dmitry Ivanov, Nami Nasserazad

Distributed Configuration with Clojure

Renzo Borgatti

Rascal: the Swiss Army Knife of Meta Programming

Tijs van der Storm

Using Object Algebras To Design Embedded Domain Specific Languages

Julien Richard-Foy

Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us

Ron Pressler

Become a Polyglot by learning Java!

Jaroslav Tulach

Oden - A Functional Programming Language for the Go Ecosystem

Oskar Wickström

A brief and incomplete history of programming languages

Andrea Magnorsky

The Future of Programming will be Live

Sean McDirmid

What is programming?

Juan Lulkin

The Functional Programming Languages Nomad

Michael Sperber

The Racket Manifesto

Matthias Felleisen

Are We Ready for Secure Languages?

Cristina Cifuentes

Why The Free Monad isn't Free

Kelley Robinson

Distributed Iterative Computation in TensorFlow

Yuan Yu

Building Scalable Stateful Services

Caitie McCaffrey

Dartino - a managed language on micro-controllers?

Kasper Lund

The Curry On Rome! website is under construction. Please check back soon!