Curry OnECOOP 2019
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
Call for Presentations
Curry On has two central goals.
- Bringing industry and academia together to have an open conversation.
- 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.
Mon 15 JulDisplayed time zone: Belfast change
09:00 - 10:15 | |||
09:00 75mTalk | Glean: facts about code Curry On Simon Marlow Facebook |
10:45 - 12:15 | |||
10:45 45mTalk | Declarative - The paradigm that didn't get mentioned Curry On Steven Pemberton CWI, Amsterdam | ||
11:30 45mTalk | Say What You Mean: Exploring Declarative Computation in Art Curry On David Schmudde Nextjournal |
10:45 - 12:15 | |||
10:45 45mTalk | The Correct Cloud: Logic and Languages Curry On Thomas Ball Microsoft Research | ||
11:30 45mTalk | Beyond the Paper: End-to-End Program Analysis Curry On Cameron Tenny r2c |
10:45 - 12:15 | |||
10:45 45mTalk | Run, actor, run Curry On Sebastian Blessing Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London | ||
11:30 45mTalk | Mental models for critiquing design of interactive development environments Curry On Richard Millwood Core Education UK & Trinity College Dublin |
13:30 - 15:00 | |||
13:30 45mTalk | Julia: A Compiler for the Future Curry On Simon Danisch Nextjournal | ||
14:15 45mTalk | No Hands on Deck: Automation @Uber Curry On Adam Welc Uber Technologies |
13:30 - 15:00 | |||
13:30 45mTalk | Asynchronous streams in direct style with and without macros Curry On Philipp Haller KTH Royal Institute of Technology, Sweden | ||
14:15 45mTalk | 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 |
13:30 - 15:00 | |||
13:30 45mTalk | Formal Methods and Computer Networks: A Match Made in Heaven? Curry On Nate Foster Cornell University | ||
14:15 45mTalk | Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data Curry On Jan Vitek Northeastern University |
15:30 - 17:00 | |||
15:30 45mTalk | Checkpointing for Java Curry On Christine H. Flood Red Hat | ||
16:15 45mTalk | Microservice architecture, a programming languages perspective Curry On Adelbert Chang Target, USA |
15:30 - 17:00 | |||
15:30 45mTalk | Idris 2: Type-driven Development of Idris Curry On Edwin Brady University of St. Andrews, UK | ||
16:15 45mTalk | Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM Curry On |
15:30 - 17:00 | |||
15:30 45mTalk | Finite-State Machines: All models are wrong but this one is useful Curry On | ||
16:15 45mTalk | The Tricks of Game Programming in a Pure Functional Language Curry On Jordy Moos PB Web Media |
17:30 - 18:30 | |||
17:30 60mTalk | Bringing WebAssembly outside the web with WASI Curry On |
19:30 - 22:00 | |||
19:30 2h30mSocial Event | Curry On Party Curry On |
Tue 16 JulDisplayed time zone: Belfast change
09:00 - 10:15 | |||
09:00 75mTalk | Logo, A Computer Language to Grow With Curry On |
10:45 - 12:15 | |||
10:45 45mTalk | Safely Sharing Data: Reference Capabilities in the Pony Programming Language Curry On John Mumm Vectrology Solutions | ||
11:30 45mTalk | Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient? Curry On Stefan Marr University of Kent |
10:45 - 12:15 | |||
10:45 45mTalk | Plutus and Marlowe Curry On Philip Wadler University of Edinburgh, UK | ||
11:30 45mTalk | The search for fundamental software engineering principles Curry On Tomas Petricek University of Kent |
10:45 - 12:15 | |||
10:45 45mTalk | One VM to Rule Them All? Lessons Learned with GraalVM Curry On Dhruv Makwana Goldman Sachs | ||
11:30 45mTalk | A compact bytecode format for JavaScriptCore Curry On Tadeu Zagallo Apple, Inc, |
13:30 - 15:00 | |||
13:30 45mTalk | Moldable development Curry On Tudor Gîrba feenk.com | ||
14:15 45mTalk | A vision for debugging distributed applications Curry On Aidan Hobson Sayers Hadean Supercomputing Ltd. |
13:30 - 15:00 | |||
13:30 45mTalk | Getafix: Learning to fix bugs automatically Curry On | ||
14:15 45mTalk | Carp—A Language for the 21st Century Curry On Veit Heller Port Zero |
13:30 - 15:00 | |||
13:30 45mTalk | Conflict resolution Curry On | ||
14:15 45mTalk | Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection Curry On Stephen Kell University of Kent |
15:30 - 17:00 | |||
15:30 45mTalk | The future of DSLs: functions and formal methods Curry On Markus Völter itemis/independent | ||
16:15 45mTalk | Walking In The Garden Of Forking Paths Curry On |
15:30 - 17:00 | |||
15:30 45mTalk | Gradual typing for Ruby at Scale with Sorbet Curry On Dmitry Petrashko Stripe | ||
16:15 45mTalk | Fabulous - Functional programming for cross-platform mobile apps Curry On Don Syme Microsoft |
15:30 - 17:00 | |||
15:30 45mTalk | GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers Curry On Alastair F. Donaldson Imperial College London | ||
16:15 45mTalk | Write your own Container in Rust! Curry On Gargi Sharma Recurse Center |
17:30 - 18:30 | |||
17:30 60mTalk | The Making of a Secure and Robust IoT Development Platform Curry On Lars Bak Google |