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.

The 2019 edition is co-located with ECOOP in London. It will be held on Monday 15.7. and Tuesday 16.7. with three parallel tracks, four exciting keynotes and invited talks.

Submit your talk abstracts via this Google form.

Accepted Papers

Title
A compact bytecode format for JavaScriptCore
Curry On
A vision for debugging distributed applications
Curry On
Asynchronous streams in direct style with and without macros
Curry On
Beyond the Paper: End-to-End Program Analysis
Curry On
Bringing WebAssembly outside the web with WASI
Curry On
Carp—A Language for the 21st Century
Curry On
Checkpointing for Java
Curry On
Conflict resolution
Curry On
Declarative - The paradigm that didn't get mentioned
Curry On
Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection
Curry On
Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient?
Curry On
Fabulous - Functional programming for cross-platform mobile apps
Curry On
Finite-State Machines: All models are wrong but this one is useful
Curry On
Formal Methods and Computer Networks: A Match Made in Heaven?
Curry On
Getafix: Learning to fix bugs automatically
Curry On
Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data
Curry On
Glean: facts about code
Curry On
Gradual typing for Ruby at Scale with Sorbet
Curry On
GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers
Curry On
Idris 2: Type-driven Development of Idris
Curry On
Julia: A Compiler for the Future
Curry On
Logo, A Computer Language to Grow With
Curry On
Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
Curry On
Mental models for critiquing design of interactive development environments
Curry On
Microservice architecture, a programming languages perspective
Curry On
Moldable development
Curry On
No Hands on Deck: Automation @Uber
Curry On
One VM to Rule Them All? Lessons Learned with GraalVM
Curry On
Plutus and Marlowe
Curry On
Run, actor, run
Curry On
Safely Sharing Data: Reference Capabilities in the Pony Programming Language
Curry On
Say What You Mean: Exploring Declarative Computation in Art
Curry On
The Correct Cloud: Logic and Languages
Curry On
The Making of a Secure and Robust IoT Development Platform
Curry On
The Tricks of Game Programming in a Pure Functional Language
Curry On
The future of DSLs: functions and formal methods
Curry On
The search for fundamental software engineering principles
Curry On
Using ML for Code Discovery at Facebook
Curry On
Walking In The Garden Of Forking Paths
Curry On
Write your own Container in Rust!
Curry On

Call for Presentations

Curry On has two central goals.

  1. Bringing industry and academia together to have an open conversation.
  2. Exploring the intersection of programming or programming languages with emerging challenges in industry, such as security, big data, or machine learning.

Talks can cover topics as varied as an academic idea applied to a surprising problem domain in a real-world system, to something racy like “programming language academia is irrelevant and here’s why”.

We give no firm guidelines on topics (go wild!), however we particularly seek talks that can provoke thought and discussion, or even (more idealistically) can elicit or encourage new ideas or change.

Areas of particular interest to the conference include:

  • distributed systems/big data
  • machine learning
  • security
  • concurrency
  • types
  • functional or logic programming
  • databases
  • compilers and virtual machines
  • PL approaches to front-end development
  • probabilistic programming
  • next generation tooling

Format

Each accepted talk will get a 40 minute talk slot. There are two different sorts of talk slots. Presenters have a choice between:

  • a standard talk slot, or
  • a chess-timer talk slot.

Chess-Timer Talks

(There will be a limited number of chess-timer talk slots.)

One of Curry On’s prime goals is to bring industry and academia together to have an open conversation. But one speaker addressing hundreds of people is hardly a conversation. So, we’re changing that.

We also call ourselves “a new and unusual non-profit conference focused on programming languages & emerging challenges in industry.”

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

Chess-timer talks primarily seek to get more audience members participating in the presentation. 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. This style of giving talks has been demoed in small (20-30 person) academic workshops to great success. In those workshops, it has incentivized speakers to strategically insert fodder for discussion points into their presentations so as to try and elicit audience members to ask questions.

Speakers with selected talks will have the opportunity to choose whether or not they would like to give a chess-timer talk. Curry On will feature a limited number of chess-timer sessions, meaning that a majority of talks will still be standard conference talks.

Admission and Travel

Speakers will receive free admission to Curry On. We are striving to provide some form of travel grant to assist with the costs of attending. We’ll post details here once a budget is finalized.

Talk Submission

Submit your talk abstracts via this Google form.

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

Mon 15 Jul

Displayed time zone: Belfast change

09:00 - 10:15
KeynoteCurry On at Mancy
09:00
75m
Talk
Glean: facts about code
Curry On
Simon Marlow Facebook
10:45 - 12:15
TalksCurry On at Mancy
10:45
45m
Talk
The Correct Cloud: Logic and Languages
Curry On
Thomas Ball Microsoft Research
11:30
45m
Talk
Beyond the Paper: End-to-End Program Analysis
Curry On
10:45 - 12:15
10:45
45m
Talk
Run, actor, run
Curry On
Sebastian Blessing Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London
11:30
45m
Talk
Mental models for critiquing design of interactive development environments
Curry On
Richard Millwood Core Education UK & Trinity College Dublin
13:30 - 15:00
TalksCurry On at Avize
13:30
45m
Talk
Julia: A Compiler for the Future
Curry On
Simon Danisch Nextjournal
14:15
45m
Talk
No Hands on Deck: Automation @Uber
Curry On
Adam Welc Uber Technologies
13:30 - 15:00
TalksCurry On at Mancy
13:30
45m
Talk
Asynchronous streams in direct style with and without macros
Curry On
Philipp Haller KTH Royal Institute of Technology, Sweden
14:15
45m
Talk
Using ML for Code Discovery at Facebook
Curry On
Sifei Luan Facebook, Celeste Barnaby Wesleyan University, Koushik Sen University of California, Berkeley, Satish Chandra Facebook
17:30 - 18:30
KeynoteCurry On at Mancy
17:30
60m
Talk
Bringing WebAssembly outside the web with WASI
Curry On
Lin Clark Mozilla, Till Schneidereit Mozilla
19:30 - 22:00
Curry On PartyCurry On at Socials
19:30
2h30m
Social Event
Curry On Party
Curry On

Tue 16 Jul

Displayed time zone: Belfast change

09:00 - 10:15
KeynoteCurry On at Mancy
09:00
75m
Talk
Logo, A Computer Language to Grow With
Curry On
10:45 - 12:15
TalksCurry On at Mancy
10:45
45m
Talk
Plutus and Marlowe
Curry On
Philip Wadler University of Edinburgh, UK
11:30
45m
Talk
The search for fundamental software engineering principles
Curry On
Tomas Petricek University of Kent
13:30 - 15:00
TalksCurry On at Avize
13:30
45m
Talk
Moldable development
Curry On
Tudor Gîrba feenk.com
14:15
45m
Talk
A vision for debugging distributed applications
Curry On
Aidan Hobson Sayers Hadean Supercomputing Ltd.
13:30 - 15:00
TalksCurry On at Mancy
13:30
45m
Talk
Getafix: Learning to fix bugs automatically
Curry On
Andrew Scott Facebook, Johannes Bader Facebook, Satish Chandra Facebook
14:15
45m
Talk
Carp—A Language for the 21st Century
Curry On
Veit Heller Port Zero
15:30 - 17:00
15:30
45m
Talk
GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers
Curry On
Alastair F. Donaldson Imperial College London
16:15
45m
Talk
Write your own Container in Rust!
Curry On
Gargi Sharma Recurse Center
17:30 - 19:30
Social HourCatering at Socials
Questions? Use the ECOOP Curry On contact form.