Presenters

A Type is Worth a Thousand Tests

Manuel Chakravarty

Move Fast to Fix More Things

Peter O'Hearn

Become a Polyglot by learning Java!

Jaroslav Tulach

Data-driven Software security using Differential Privacy and Deep Learning

Úlfar Erlingsson

The Racket Manifesto

Matthias Felleisen

Are We Ready for Secure Languages?

Cristina Cifuentes

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

Frank Wang

Oden - A Functional Programming Language for the Go Ecosystem

Oskar Wickström

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

Larry Wall

How To Win Big With Old Ideas

David Nolen

Rascal: the Swiss Army Knife of Meta Programming

Tijs van der Storm

Distributed Configuration with Clojure

Renzo Borgatti

The Future of Programming will be Live

Sean McDirmid

Building an Open Source Research Lab

Dave Herman

Dartino - a managed language on micro-controllers?

Kasper Lund

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

Simon Belak

Redesigning Type Systems for Industry OO

Ross Tate

Exercises in Programming Style

Crista Lopes

Building Scalable Stateful Services

Caitie McCaffrey

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

Ron Pressler

Distributed Iterative Computation in TensorFlow

Yuan Yu

Using Object Algebras To Design Embedded Domain Specific Languages

Julien Richard-Foy

Why The Free Monad isn't Free

Kelley Robinson

Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing

Jörgen Brandt

On the chemistry of typestate-oriented actors

Silvia Crafa

Static analysis for security at the Facebook scale

Francesco Logozzo

What is programming?

Juan Lulkin

Creating a Fun Game with Elm

Andrey Kuzmin, Kolja Wilcke

A brief and incomplete history of programming languages

Andrea Magnorsky

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

Sean Grove

The Functional Programming Languages Nomad

Michael Sperber

Practical Demystification of CRDTs

Dmitry Ivanov, Nami Nasserazad

Notes on Post-Post-Modern-Modern Programming

James Noble

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