Write a Blog >>

Accepted Papers

Title
Angelina Ballerina Learns About Memory Allocation
Curry On Talks
Babelfish: Universal Code Parsing Server
Curry On Talks
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
Curry On Talks
Building Web Apps with Reason
Curry On Talks
Carpenters & Cartographers
Curry On Talks
Centrifuge : Data quality in Spark without the costs!
Curry On Talks
Channels, Concurrency, and Cores: A new Concurrent ML implementation
Curry On Talks
Clojure Transducers In The Wild
Curry On Talks
Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow
Curry On Talks
Composable Caching in Swift
Curry On Talks
Computational Musicology, ????, Profit
Curry On Talks
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
Curry On Talks
Don't Write Tests!
Curry On Talks
Finding and Preventing Bugs in JavaScript Bindings
Curry On Talks
Flow Reloaded: New Challenges and New Opportunities
Curry On Talks
Grammar-based language modes for text editors
Curry On Talks
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
Curry On Talks
Helping communities & products thrive by fostering empathy
Curry On Talks
How types can turn a SQL interpreter into a SQL compiler
Curry On Talks
Impromptu: A Lightweight, dependently-typed async framework for Scala
Curry On Talks
Machine learning systems with privacy and for privacy: TensorFlow & PATE-G
Curry On Talks
Making decentralisation available for all
Curry On Talks
Making Science Reproducible with Functional Programming Concepts
Curry On Talks
Modular Composition of Reactive Applications
Curry On Talks
Moving Fast with High Reliability: Program Analysis at Uber
Curry On Talks
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
Curry On Talks
Orchestrate ING with Petri Net
Curry On Talks
Pony: 714 Days Later
Curry On Talks
Preventing Information Leaks by Construction
Curry On Talks
Profunctor Optics: Modular Data Accessors
Curry On Talks
Reactive Programming in the Browser with Scala.js and PureScript
Curry On Talks
Reflex: Reactive Programming at Facebook
Curry On Talks
Rust: Putting Ownership to Use
Curry On Talks
Scalable cross-references across languages
Curry On Talks
Scope Graphs: A Fresh Look at Name Binding in Programming Languages
Curry On Talks
Media Attached File Attached
The CernVM File System - Beyond Static Content Distribution
Curry On Talks
The Joy of Vector Programming: Why Vector Programming Matters
Curry On Talks
The Practice and Theory of TLA+
Curry On Talks
The Programmer's Guide to Ideology
Curry On Talks
There are no BFT Fans Anymore... About Secure Eventual Consistency
Curry On Talks
The Sharp Edges of Leaky Abstraction
Curry On Talks
Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs
Curry On Talks
Winning the War on Error: Solving the Halting Problem and Curing Cancer
Curry On Talks
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
Curry On Talks

Call for Papers

This is a placeholder text.

You can expect more information about the call for papers soon.

This page will have information about the submission and selection process and list the important dates.

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

Mon 19 Jun

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

10:30 - 12:50
Monday - 10:30 - 12:50 - Sala AgoraCurry On Talks at Sala Agora
10:30
40m
Talk
Impromptu: A Lightweight, dependently-typed async framework for Scala
Curry On Talks
Jon Pretty Propensive Ltd
11:20
40m
Talk
Centrifuge : Data quality in Spark without the costs!
Curry On Talks
Jonathan Winandy Univalence
12:10
40m
Talk
Angelina Ballerina Learns About Memory Allocation
Curry On Talks
Allison McMillan Collective Idea
10:30 - 12:50
Monday - 10:30 - 12:50 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
10:30
40m
Talk
The Programmer's Guide to Ideology
Curry On Talks
11:20
40m
Talk
Composable Caching in Swift
Curry On Talks
Brandon Kase Pinterest
12:10
40m
Talk
Building Web Apps with Reason
Curry On Talks
Brandon Dail Formidable Labs
15:00 - 15:40
Monday - 15:00 - 15:40 - Sala AgoraCurry On Talks at Actes, Informatics Building
15:00
40m
Talk
Clojure Transducers In The Wild
Curry On Talks
Renzo Borgatti Mailonline
15:00 - 15:40
Monday - 15:00 - 15:40 - AuditoriumCurry On Talks at Auditorium, Vertex Building
15:00
40m
Talk
Don't Write Tests!
Curry On Talks
John Hughes Chalmers University of Technology
15:00 - 15:40
Monday - 15:00 - 15:45 - Sala d'Actes Curry On Talks at Sala d'Actes, Vertex Building
15:00
40m
Talk
Carpenters & Cartographers
Curry On Talks
Valentin Kasas self-employed @ Kanaka
16:10 - 18:30
Monday - 16:10 - 18:30 - AuditoriumCurry On Talks at Auditorium, Vertex Building
16:10
40m
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
Curry On Talks
Matthew Might University of Utah, USA
17:00
40m
Talk
Rust: Putting Ownership to Use
Curry On Talks
Nicholas Matsakis Mozilla Corporation
16:10 - 18:30
Monday - 16:10 - 18:30 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
16:10
40m
Talk
Profunctor Optics: Modular Data Accessors
Curry On Talks
Jeremy Gibbons Department of Computer Science, University of Oxford
17:00
40m
Talk
Making decentralisation available for all
Curry On Talks
Martin Kleppmann University of Cambridge
17:50
40m
Talk
Reactive Programming in the Browser with Scala.js and PureScript
Curry On Talks
Luka Jacobowitz codecentric AG

Tue 20 Jun

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

10:25 - 12:45
Tuesday - 10:25 - 12:45 - AuditoriumCurry On Talks at Auditorium, Vertex Building
10:25
40m
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
Curry On Talks
Daniel King Broad Institute
11:15
40m
Talk
Preventing Information Leaks by Construction
Curry On Talks
Jean Yang Carnegie Mellon University
12:05
40m
Talk
The Sharp Edges of Leaky Abstraction
Curry On Talks
Mark Allen Alert Logic
10:25 - 12:45
Tuesday - 10:25 - 12:45 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
10:25
40m
Talk
Grammar-based language modes for text editors
Curry On Talks
11:15
40m
Talk
Scalable cross-references across languages
Curry On Talks
Luke Zarko Google, Inc
12:05
40m
Talk
There are no BFT Fans Anymore... About Secure Eventual Consistency
Curry On Talks
Ali Shoker HASLab/INESC TEC & University of Minho
13:50 - 15:30
Tuesday - 13:50 - 15:20 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
13:50
40m
Talk
Babelfish: Universal Code Parsing Server
Curry On Talks
14:40
40m
Talk
Channels, Concurrency, and Cores: A new Concurrent ML implementation
Curry On Talks
Andy Wingo Igalia, S.L.
16:00 - 18:20
Tuesday - 16:00 - 18:20 - Sala AgoraCurry On Talks at Actes, Informatics Building
16:00
40m
Talk
Computational Musicology, ????, Profit
Curry On Talks
Chris Ford ThoughtWorks (UK) Ltd.
16:50
40m
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
Curry On Talks
Jurriaan Hage Utrecht University
17:40
40m
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
Curry On Talks
Michael Steindorfer Delft University of Technology, Netherlands
16:00 - 18:20
Tuesday - 16:00 - 18:20 - AuditoriumCurry On Talks at Auditorium, Vertex Building
16:00
40m
Talk
Pony: 714 Days Later
Curry On Talks
Sylvan Clebsch Imperial College London
16:50
40m
Talk
Finding and Preventing Bugs in JavaScript Bindings
Curry On Talks
17:40
40m
Talk
Reflex: Reactive Programming at Facebook
Curry On Talks