CurryOn 2016
Mon 18 - Tue 19 July 2016 Rome, Italy
co-located with ECOOP 2016

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.

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

www.curry-on.org

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:50
08:45
15m
Day opening
Curry On opening remarks
CurryOn
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:00
50m
Talk
How To Win Big With Old Ideas
CurryOn
S: David Nolen Cognitec
10:05 - 12:25
10:05
40m
Talk
Move Fast to Fix More Things
CurryOn
S: Peter O'Hearn Facebook
10:55
40m
Talk
Notes on Post-Post-Modern-Modern Programming
CurryOn
S: James Noble Victoria University of Wellington
11:45
40m
Talk
A Type is Worth a Thousand Tests
CurryOn
S: Manuel Chakravarty UNSW Australia & Applicative
10:05 - 12:25
Session 1aCurryOn at Foscolo
10:05
40m
Talk
The Functional Programming Languages Nomad
CurryOn
S: Michael Sperber Active Group GmbH
10:55
40m
Talk
Creating a Fun Game with Elm
CurryOn
Andrey Kuzmin Zalando, Kolja Wilcke Zalando
11:45
40m
Talk
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us
CurryOn
Ron Pressler Parallel Universe
16:00 - 17:30
Session 3aCurryOn at Foscolo
16:00
40m
Talk
Why The Free Monad isn't Free
CurryOn
Kelley Robinson Sharethrough
16:50
40m
Talk
Exercises in Programming Style
CurryOn
S: Crista Lopes University of California, Irvine
17:40 - 18:30
17:40
50m
Talk
The Racket Manifesto
CurryOn
S: Matthias Felleisen Northeastern University
19:30 - 23:00
Curry On Party!CurryOn at Mercati di Traiano
19:30
3h30m
Social Event
Curry On Party!
CurryOn

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20
Session 5aCurryOn at Foscolo
13:50
40m
Talk
On the chemistry of typestate-oriented actors
CurryOn
Silvia Crafa Università di Padova, Italy
14:40
40m
Talk
Become a Polyglot by learning Java!
CurryOn
S: Jaroslav Tulach Oracle Labs
16:00 - 17:30
Session 6aCurryOn at Foscolo
16:00
40m
Talk
What is programming?
CurryOn
16:50
40m
Talk
Are We Ready for Secure Languages?
CurryOn
S: Cristina Cifuentes Oracle Labs, Australia
18:30 - 19:20
18:30
50m
Talk
Building an Open Source Research Lab
CurryOn
S: Dave Herman Mozilla Research

Accepted Presentations

Title
A brief and incomplete history of programming languages
CurryOn
Are We Ready for Secure Languages?
CurryOn
A Type is Worth a Thousand Tests
CurryOn
Become a Polyglot by learning Java!
CurryOn
Building an Open Source Research Lab
CurryOn
Building Scalable Stateful Services
CurryOn
Creating a Fun Game with Elm
CurryOn
Dartino - a managed language on micro-controllers?
CurryOn
Data-driven Software security using Differential Privacy and Deep Learning
CurryOn
Distributed Configuration with Clojure
CurryOn
Distributed Iterative Computation in TensorFlow
CurryOn
Doing data science with Clojure: the ugly, the sad, the joyful
CurryOn
Exercises in Programming Style
CurryOn
From Unikernels to Databases to UIs: Truly full-stack apps in OCaml
CurryOn
Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing
CurryOn
How To Win Big With Old Ideas
CurryOn
It's the End of the World as We Know It, and I Feel Fine
CurryOn
Move Fast to Fix More Things
CurryOn
Notes on Post-Post-Modern-Modern Programming
CurryOn
Oden - A Functional Programming Language for the Go Ecosystem
CurryOn
On the chemistry of typestate-oriented actors
CurryOn
Practical Demystification of CRDTs
CurryOn
Rascal: the Swiss Army Knife of Meta Programming
CurryOn
Redesigning Type Systems for Industry OO
CurryOn
Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds
CurryOn
Static analysis for security at the Facebook scale
CurryOn
The Functional Programming Languages Nomad
CurryOn
The Future of Programming will be Live
CurryOn
The Racket Manifesto
CurryOn
To Macros and Beyond!: How macros changed Scala, and what's coming next
CurryOn
Using Object Algebras To Design Embedded Domain Specific Languages
CurryOn
What is programming?
CurryOn
Why The Free Monad isn't Free
CurryOn
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us
CurryOn