Curry On Barcelona! 2017

Looking for Curry On 2016 or Curry On 2015

Curry On
Barcelona!

June 19-20^th, 2017

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.

Tickets on sale now!

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 or a sip of coffee.

Atypical?

Our goal:

Bring industry and academia together to have a conversation.

But...

One speaker addressing hundreds of people is hardly a conversation.

So, let's change that.

Introducing

Chess-Timer talks

Chess-timer talks are our unusual solution to making tech conferences a more interactive, more fun, and better place for learning and discussions.

Speakers who choose to give a chess-timer talk are allowed 20 minutes of solo speaking time, and 20 minutes of discussion time. A Curry On representative operates a chess-timer during the presentation, switching between solo + discussion time budgets. When an audience member interrupts the talk to ask a question, for example, we switch the timer to deduct from discussion time.

Curry On will feature a limited number of chess-timer sessions, meaning that a majority of talks will still be standard conference talks.

Two days, three tracks.
Four exciting keynotes

Martin Odersky
Scala

Brian Goetz
Java

José Valim
Elixir

Roberto Ierusalimschy
Lua

and many invited talks

Jean Yang
Privacy & Security + PL

Niko Matsakis
Rust

Julien Verlaguet
Hack

Dave Thomas
Array Programming

Martín Abadi
Security, Programming Languages, TensorFlow

Matt Might
Precision Medicine, Static Analysis

John Hughes
Quickcheck, FP, Haskell

Program

Monday, June 19^th

	Auditorium (Vertex)	Sala d'Actes (Vertex)	Sala d'Actes (Informatics)
8:45-9:00	Curry On opening remarks Jan Vitek and Heather Miller watch
9:00-9:50 Keynote Room: Auditorium	keynote What to Leave Implicit Martin Odersky EPFL watch scala
9:50-10:30	Monday PLDI 1 minute madness (1 min research paper sales pitches) + Coffee break , served outside of lecture hall watch
10:30-11:10	Flow Reloaded: New Challenges and New Opportunities Avik Chaudhuri Facebook watch	The Programmer's Guide to Ideology Silvia Moura Pina Zalando SE watch	Impromptu: A Lightweight, dependently-typed async framework for Scala Jon Pretty Propensive Ltd watch
11:20-12:00	Moving Fast with High Reliability: Program Analysis at Uber Manu Sridharan Uber Technologies watch	Composable Caching in Swift Brandon Kase Pinterest watch	Centrifuge : Data quality in Spark without the costs! Jonathan Winandy Univalence watch
12:10-12:50	The Practice and Theory of TLA+ Ron Pressler Oracle + Parallel Universe watch	Building Web Apps with Reason Brandon Dail Formidable Labs watch	Angelina Ballerina Learns About Memory Allocation Allison McMillan Collective Idea watch
12:50-14:00	Lunch
14:00-14:50 Keynote Room: Auditorium	keynote FP is Dead: Long Live FP Brian Goetz Oracle watch java
15:00-15:40	Don't Write Tests! John Hughes Chalmers University watch	Carpenters & Cartographers Valentin Kasas self-employed @ Kanaka watch	Clojure Transducers In The Wild Renzo Borgatti uSwitch.com watch
15:40-16:10	Coffee break , served outside of lecture hall
16:10-16:50	Winning the War on Error: Solving the Halting Problem and Curing Cancer Matt Might Harvard Medical School watch	Profunctor Optics: Modular Data Accessors Jeremy Gibbons University of Oxford watch	How types can turn a SQL interpreter into a SQL compiler Tiark Rompf Purdue University watch
17:00-17:40	Rust: Putting Ownership to Use Niko Matsakis Mozilla Research watch	chess timer talk Making decentralisation available for all Martin Kleppmann University of Cambridge	Orchestrate ING with Petri Net Adil Akhter ING watch
17:50-18:30	PLDI Keynote	Reactive Programming in the Browser with Scala.js and PureScript Luka Jacobowitz codecentric AG watch	Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API Manuel Chakravarty UNSW Australia & Applicative watch
19:30-22:00	Curry On Party at the Moritz Brewery

Tuesday, June 20^th

	Auditorium (Vertex)	Sala d'Actes (Vertex)	Sala d'Actes (Informatics)
9:00-9:50 Keynote Room: Auditorium	keynote Idioms for building distributed fault-tolerant applications with Elixir José Valim Platformatec watch elixir
9:50-10:25	Tuesday PLDI 1 minute madness (1 min research paper sales pitches) + Coffee break , served outside of lecture hall watch
10:25-11:05	chess timer talk Building Tools and Languages for Terabyte Scale Biology: A Call to Action Daniel King Broad Institute watch	chess timer talk Grammar-based language modes for text editors Marijn Haverbeke Independent watch	The Joy of Vector Programming: Why Vector Programming Matters Dave Thomas Kx Systems
11:15-11:55	Preventing Information Leaks by Construction Jean Yang Carnegie Mellon University watch	Scalable cross-references across languages Luke Zarko Google, Inc watch	Helping communities & products thrive by fostering empathy Erik Romijn watch
12:05-12:45	chess timer talk The Sharp Edges of Leaky Abstraction Mark Allen Alert Logic watch	There are no BFT Fans Anymore... About Secure Eventual Consistency Ali Shoker HASLab, INESC TEC & University of Minho watch	The CernVM File System - Beyond Static Content Distribution Radu Popescu CERN watch
12:45-13:50	Lunch
13:50-14:30	Machine learning systems with privacy and for privacy: TensorFlow & PATE-G Martín Abadi Google	Babelfish: Universal Code Parsing Server Santiago M. Mola source{d} watch	Modular Composition of Reactive Applications Mira Mezini TU Darmstadt watch
14:40-15:20	Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow Peter Hawkins Google	Channels, Concurrency, and Cores: A new Concurrent ML implementation Andy Wingo Igalia, S.L. watch	chess timer talk On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems Sztefan Edwards nVisium LLC watch
15:30-16:00	Coffee break , served outside of lecture hall
16:00-16:40	chess timer talk Pony: 714 Days Later Sylvan Clebsch Microsoft Research watch	Scope Graphs: A Fresh Look at Name Binding in Programming Languages Eelco Visser Delft University of Technology (TU Delft) watch	chess timer talk Computational Musicology, ????, Profit Chris Ford ThoughtWorks watch
16:50-17:30	Finding and Preventing Bugs in JavaScript Bindings Deian Stefan UC San Diego watch	chess timer talk Making Science Reproducible with Functional Programming Concepts Martin Kavalar Nextjournal watch	Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler Jurriaan Hage Utrecht University watch
17:40-18:20	Reflex: Reactive Programming at Facebook Julien Verlaguet Facebook watch	Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs Julia Nguyen Indiegogo watch	chess timer talk With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections Michael Steindorfer Delft University of Technology watch
18:30-19:20 Keynote Room: Auditorium	keynote Scripting with Lua Roberto Ierusalimschy PUC-Rio watch lua