Curry On Rome! 2016

this is a triangle

A new and unusual non-profit conference focused on programming languages & emerging challenges in industry.

Academia and industry need to have a talk.

Or rather, they just need to talk in general.

Curry On is a new 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.

Two days, two tracks.
Four exciting keynotes

Dave Herman
Mozilla
Rust

David Nolen
Cognitect
ClojureScript

Matthias Felleisen
Northeastern University
Racket

Larry Wall
Perl

Program

Monday, July 18^th

	Room 1: Auditorium Loyola	Room 2: Foscolo
8:45-9:00	Curry On opening remarks Jan Vitek and Heather Miller
9:00-9:50 Keynote Room: Auditorium Loyola	keynote How To Win Big With Old Ideas David Nolen Cognitect @swannodette watch ClojureScriptClojure
9:50-10:05	Coffee break, served outside of lecture hall
10:05-10:45	Move Fast to Fix More Things Peter O'Hearn Facebook watch separation logicstatic analysis	The Functional Programming Languages Nomad Michael Sperber Active Group @sperbsen watch Functional programming
10:55-11:35	Notes on Post-Post-Modern-Modern Programming James Noble Victoria University of Wellington @jameskjx watch programminghistorical	Creating a Fun Game with Elm Andrey Kuzmin & Kolja Wilcke Zalando watch Elm language
11:45-12:25	A Type is Worth a Thousand Tests Manuel Chakravarty UNSW Australia & Applicative @TacticalGrace watch Swift languagetypes	Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us Ron Pressler Parallel Universe @puniverseco watch correctnessverification
12:35-13:50	Lunch
13:50-14:30	Building Scalable Stateful Services Caitie McCaffrey @caitie Twitter watch distributed systemsstateful services	chess timer talk Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds Frank Wang MIT @ffwang2 watch security
14:40-15:20	Data-driven Software security using Differential Privacy and Deep Learning Úlfar Erlingsson Google watch securitydata-drivenat scale	Rascal: the Swiss Army Knife of Meta Programming Tijs van der Storm Centrum Wiskunde & Informatica (CWI) @tvdstorm watch Rascal languagemetaprogramming
15:30-16:00	Coffee break, served outside of lecture hall
16:00-16:40	chess timer talk Doing data science with Clojure: the ugly, the sad, the joyful Simon Belak GoOpti @sbelak watch Clojuredata science	Why The Free Monad isn't Free Kelley Robinson Sharethrough @kelleyrobinson watch functional programmingmonads
16:50-17:30	Oden - A Functional Programming Language for the Go Ecosystem Oskar Wickström Empear @owickstrom watch Oden languagefunctional programmingtypes	Exercises in Programming Style Crista Lopes UC Irvine @cristalopes watch programming paradigms
17:40-18:30 Keynote Room: Auditorium Loyola	keynote The Racket Manifesto Matthias Felleisen Northeastern University watch Racket language
19:30-22:00	Curry On Party!

Tuesday, July 19^th

	Room 1: Auditorium Loyola	Room 2: Foscolo
9:00-9:50 Keynote Room: Auditorium Loyola	keynote It's the End of the World as We Know It, and I Feel Fine Larry Wall watch Perl language
9:50-10:05	Coffee break, served outside of lecture hall
10:05-10:45	Dartino: a managed language on micro-controllers? Kasper Lund Google watch Dart languagemicrocontrollers	chess timer talk Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing Jörgen Brandt Humboldt University @joergenbr watch Cuneiform languagedistributed programmingfunctional programming
10:55-11:35	Redesigning Type Systems for Industry OO Ross Tate Cornell University watch typesCeylon languageKotlin language	The Future of Programming will be Live Sean McDirmid Microsoft Research watch live programming languages
11:45-12:25	Static analysis for security at the Facebook scale Francesco Logozzo Facebook @francescologozz static analysisat scale	chess timer talk From Unikernels to Databases to UIs: Truly full-stack apps in OCaml Sean Grove @sgrove watch OCaml languageperformance
12:35-13:50	Lunch
13:50-14:30	Practical Demystification of CRDTs Dmitry Ivanov & Nami Nasserazad TomTom watch CRDTsdistributed programming	chess timer talk On the chemistry of typestate-oriented actors Silvia Crafa University of Padova watch actorsconcurrencyScala language
14:40-15:20	Distributed Iterative Computation in TensorFlow Yuan Yu Google watch Tensorflowdeep learningmachine learning	Become a Polyglot by learning Java! Jaroslav Tulach Oracle Labs @JaroslavTulach watch VMsTruffle VM
15:30-16:00	Coffee break, served outside of lecture hall
16:00-16:40	Distributed Configuration with Clojure Renzo Borgatti Mailonline @reborg watch configurationClojure languagefunctional programming	What is programming? Juan Lulkin @joaomilho watch philosophyprogramming
16:50-17:30	Are We Ready for Secure Languages? Cristina Cifuentes Oracle Labs @criscifuentes watch secure programming languagessecurity	Using Object Algebras To Design Embedded Domain Specific Languages Julien Richard-Foy Zengularity @julienrf watch DSLsScala language
17:40-18:20	A brief and incomplete history of programming languages Andrea Magnorsky @silverspoon watch programming languageshistorical	To Macros and Beyond!: How macros changed Scala, and what's coming next Eugene Burmako EPFL @xeno_by watch Scala languagemetaprogrammingmacros
18:30-19:20 Keynote Room: Auditorium Loyola	keynote Building an Open Source Research Lab Dave Herman Mozilla Research @littlecalculist watch researchopen sourceRust language

We these folks

Wanna help?

Sponsorship Opportunities

Organizers

Heather Miller
EPFL

Jan Vitek
Northeastern University

Christopher Meiklejohn
UCL

Torsten Layda
SIX Global IT

Conference

Attending