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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:50
08:45
15m
Day opening
Curry On opening remarks
CurryOn
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:00
50m
Talk
How To Win Big With Old Ideas
CurryOn
S: David NolenCognitec
10:05 - 12:25
10:05
40m
Talk
Move Fast to Fix More Things
CurryOn
S: Peter O'HearnFacebook
10:55
40m
Talk
Notes on Post-Post-Modern-Modern Programming
CurryOn
S: James NobleVictoria University of Wellington
11:45
40m
Talk
A Type is Worth a Thousand Tests
CurryOn
S: Manuel ChakravartyUNSW Australia & Applicative
16:00 - 17:30
Session 3aCurryOn at Foscolo
16:00
40m
Talk
Why The Free Monad isn't Free
CurryOn
Kelley RobinsonSharethrough
16:50
40m
Talk
Exercises in Programming Style
CurryOn
S: Crista LopesUniversity of California, Irvine
17:40 - 18:30
17:40
50m
Talk
The Racket Manifesto
CurryOn
S: Matthias FelleisenNortheastern 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
Times are displayed in 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 CrafaUniversità di Padova, Italy
14:40
40m
Talk
Become a Polyglot by learning Java!
CurryOn
S: Jaroslav TulachOracle 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 CifuentesOracle Labs, Australia
18:30 - 19:20
18:30
50m
Talk
Building an Open Source Research Lab
CurryOn
S: Dave HermanMozilla Research

Accepted Presentations

Title
A Type is Worth a Thousand Tests
CurryOn
A brief and incomplete history of programming languages
CurryOn
Are We Ready for Secure Languages?
CurryOn
Become a Polyglot by learning Java!
CurryOn
Building Scalable Stateful Services
CurryOn
Building an Open Source Research Lab
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