Curry On London! 2019

Keynotes

Lars Bak
Toitware
Dart

Cynthia Solomon

Logo

Lin Clark
Mozilla

Till Schneidereit
Mozilla

Simon Marlow
Facebook
Haskell

Invited Speakers

Markus Völter
Independent

Tom Ball
Microsoft Research

Philipp Haller
KTH

Stephen Kell
University of Kent

Tudor Girba
feenk gmbh

Alastair Donaldson
Google

Phil Wadler
University of Edinburgh & IOHK

Christine Flood
RedHat

Don Syme
Microsoft

Jan Vitek
Northeastern University

Tadeu Zagallo
Apple

Presentations

Aidan Hobson Sayers
Hadean Supercomputing Ltd.

Cam Tenny
r2c

Veit Heller
Port Zero

James Coglan

Steven Pemberton
CWI, Amsterdam

Stefan Marr
University of Kent

Raj Saxena
N26

Chris Ford
ThoughtWorks

Nate Foster
Cornell University & Barefoot Networks

Andrew Scott
Facebook

Johannes Bader
Facebook

Satish Chandra
Facebook

Dmitry Petrashko
Stripe

Edwin Brady
University of St Andrews

Simon Danisch
Nextjournal

Ron Pressler
Oracle

Richard Millwood
Core Education UK & Trinity College Dublin

Adelbert Chang
Target

Adam Welc
Uber

Dhruv Makwana
Goldman Sachs

Sebastian Blessing
Digital Frontier GmbH

Tobias Wrigstad
Uppsala University

Sophia Drossopoulou
Imperial College London

John Mumm
Wallaroo Labs

David Schmudde
Nextjournal

Jordy Moos
PB Web Media

Tomas Petricek
University of Kent

Frank Luan
Facebook

Celeste Barnaby
Facebook

Koushik Sen
UC Berkeley

Szymon Kaliski
flow/control

Gargi Sharma
Recurse Center

Program

Monday, July 15^th

	Room: Mancy	Room: Avize	Room: Morangis
9:00-9:15	Curry On opening remarks Jan Vitek and Heather Miller
9:15-10:15	keynote Glean: facts about code Simon Marlow Facebook watch
10:15-10:45	Coffee break
10:45-11:25	The Correct Cloud: Logic and Languages Tom Ball Microsoft Research watch	Declarative - The paradigm that didn't get mentioned Steven Pemberton CWI, Amsterdam watch	chess timer talk Run, actor, run Sebastian Blessing & Tobias Wrigstad & Sophia Drossopoulou Digital Frontier GmbH & Uppsala University & Imperial College London watch
11:30-12:15	Beyond the Paper: End-to-End Program Analysis Cam Tenny r2c watch	Say What You Mean: Exploring Declarative Computation in Art David Schmudde Nextjournal watch	chess timer talk Mental models for critiquing design of interactive development environments Richard Millwood Core Education UK & Trinity College Dublin watch
12:15-13:30	Lunch
13:30-14:10	Asynchronous streams in direct style with and without macros Philipp Haller KTH watch	Julia: A Compiler for the Future Simon Danisch Nextjournal watch	chess timer talk Formal Methods and Computer Networks: A Match Made in Heaven? Nate Foster Cornell University & Barefoot Networks watch
14:15-15:00	Using ML for Code Discovery at Facebook Frank Luan & Celeste Barnaby & Koushik Sen & Satish Chandra Facebook & Facebook & UC Berkeley & Facebook watch	No Hands on Deck: Automation @Uber Adam Welc Uber watch	Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data Jan Vitek Northeastern University watch
15:00-15:30	Coffee break
15:30-16:10	Idris 2: Type-driven Development of Idris Edwin Brady University of St Andrews watch	chess timer talk Checkpointing for Java Christine Flood RedHat watch	Finite-State Machines: All models are wrong but this one is useful Raj Saxena & Chris Ford N26 & ThoughtWorks watch
16:15-17:00	Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM Ron Pressler Oracle watch	Microservice architecture, a programming languages perspective Adelbert Chang Target watch	The Tricks of Game Programming in a Pure Functional Language Jordy Moos PB Web Media watch
17:00-17:30	Coffee break
17:30-18:30	keynote Bringing WebAssembly outside the web with WASI Lin Clark & Till Schneidereit Mozilla & Mozilla watch
19:30-22:00	Curry On Party (more info)

Tuesday, July 16^th

	Room: Mancy	Room: Avize	Room: Morangis
9:00-9:15	Curry On opening remarks Jan Vitek and Heather Miller
9:15-10:15	keynote Logo, A Computer Language to Grow With Cynthia Solomon watch
10:15-10:45	Coffee break
10:45-11:25	Plutus and Marlowe Phil Wadler University of Edinburgh & IOHK watch	Safely Sharing Data: Reference Capabilities in the Pony Programming Language John Mumm Wallaroo Labs watch	One VM to Rule Them All? Lessons Learned with GraalVM Dhruv Makwana Goldman Sachs watch
11:30-12:15	chess timer talk The search for fundamental software engineering principles Tomas Petricek University of Kent watch	Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient? Stefan Marr University of Kent	A compact bytecode format for JavaScriptCore Tadeu Zagallo Apple
12:15-13:30	Lunch
13:30-14:10	Getafix: Learning to fix bugs automatically Andrew Scott & Johannes Bader & Satish Chandra Facebook & Facebook & Facebook watch	Moldable development Tudor Girba feenk gmbh watch	Conflict resolution James Coglan watch
14:15-15:00	chess timer talk Carp—A Language for the 21st Century Veit Heller Port Zero watch	A vision for debugging distributed applications Aidan Hobson Sayers Hadean Supercomputing Ltd. watch	chess timer talk Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection Stephen Kell University of Kent watch
15:00-15:30	Coffee break
15:30-16:10	Gradual typing for Ruby at Scale with Sorbet Dmitry Petrashko Stripe watch	The future of DSLs: functions and formal methods Markus Völter Independent watch	GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers Alastair Donaldson Google watch
16:15-17:00	Fabulous - Functional programming for cross-platform mobile apps Don Syme Microsoft watch	Walking In The Garden Of Forking Paths Szymon Kaliski flow/control watch	Write your own Container in Rust! Gargi Sharma Recurse Center watch
17:00-17:30	Coffee break
17:30-18:30	keynote The Making of a Secure and Robust IoT Development Platform Lars Bak Toitware watch

Curry On is a conference focused on the intersection of emerging languages and emerging challenges in industry (e.g. big data or security), as well as new ideas and paradigms in software development.

Curry On also seeks to act as a conduit for ferrying understanding and ideas back and forth between industry and academic programming languages, software engineering, and systems research communities (amongst others).

Curry On is a rare event where academic minds responsible for concepts and tools now invaluable to everyday software development – like functional programming, or generics in Java – collide with the movers and shakers in industry that are building next-generation systems and developing software engineering practices central to our entire industry.

Curry On will be held in a different European city year-to-year, and it will always be co-located with one of the top academic conferences in programming languages. This year, it's co-located with ECOOP.

Join us for two days of fruitful and mind-altering ideas and discussions, and maybe a few beers or a sip of coffee.

Conference

Attending

Past Editions