CurryOn 2018 - Curry On Talks -

Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA 2018

About
Program

These pages mirror the main Curry On website which can be found here.

Talks

	Title
	A CRDT Primer: Defanging Order Theory John Mumm
	Adding kind-polymorphism to the Scala programming language Miles Sabin
	Akka.JS and why the actor model matters even in JS's world. Andrea Peruffo
	ApacheSpark as a gateway drug to FP: Concepts taught & broken Holden Karau
	Atom Heart Monad: FRP in C++ Ivan Čukić
	Better living through incrementality: Immediate static analysis feedback without loss of precision Tamás Szabó, Sebastian Erdweg
	Challenges in Large-Scale Mobile App Performance Manu Sridharan
	Code into Data: Embedding programs into datastores with GraalVM Thomas Wuerthinger
	Constant-time crypto programming with FaCT Deian Stefan
	DB ⋈ FP = Datafun: a new functional query language Michael Arntzenius
	Distributed Systems Protocols and their Vulnerabilities Yifan Xing
	Do-It-Yourself Functional Reactive Programming Manuel Chakravarty
	Domain Specific Programming Platforms for Creativity Jennifer Mary Jacobs
	Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra Ron Pressler
	Hackett: a metaprogrammable Haskell Alexis King
	Isolation Without Containers Tyler McMullen
	It Ain't Necessarily So Chris Ford
	Language Design in the Open Yulia Startsev
	Lector in Codigo Alvaro Videla
	Lessons from a Big Data Machine Learning Startup Cliff Click
	Little Languages Chris Laffra
	Luna - overview Sylwia Brodacka
	Papers we love - Elixir edition Andrea Leopardi
	Rethinking Modern Web Browsers Ben Livshits
	Serverless Computing with Functions Rodric Rabbah
	Simplicity - The Road Not Taken? Dave Thomas
	Spoofax: Live Programming Language Design Eelco Visser
	Strategies for Streaming Arnout Engelen
	Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra Bas Geerdink
	SuperRecord: Practical Anonymous Records for Haskell Alexander Thiemann
	Taming the C monster: Haskell FFI techniques Fraser Tweedale
	Transducing for fun and profit Simon Belak
	Type-Safe GraphQL Servers with GADTs Andreas Garnæs
	Using APIs and micro-services as the glue between observed and derived facts Faraz Babar
	Why VM Benchmarking is Probably Misleading you Edd Barrett
	Your inner compiler engineer wants out! Jesse Alama

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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

Mon 16 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Curry On Talks - Track 1 at Matterhorn I

11:00 - 11:40
Talk

Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra

Bas GeerdinkING

11:50 - 12:30
Talk

ApacheSpark as a gateway drug to FP: Concepts taught & broken

Holden KarauGoogle

11:00 - 12:30: Curry On Talks - Track 2 at Matterhorn II

11:00 - 11:40
Talk

Adding kind-polymorphism to the Scala programming language

Miles SabinUnderscore LLP

11:50 - 12:30
Talk

Constant-time crypto programming with FaCT

Deian StefanUniversity of California, San Diego

11:00 - 12:30: Curry On Talks - Track 3 at Matterhorn III

11:00 - 11:40
Talk

Your inner compiler engineer wants out!

Chess Timer Talk

Jesse AlamaVicampo

11:50 - 12:30
Talk

Atom Heart Monad: FRP in C++

Ivan ČukićKDE e.V.

13:50 - 15:20: Curry On Talks - Track 1 at Matterhorn I

13:50 - 14:30
Talk

Domain Specific Programming Platforms for Creativity

Jennifer Mary JacobsStanford

14:40 - 15:20
Talk

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra

13:50 - 15:20: Curry On Talks - Track 2 at Matterhorn II

13:50 - 14:30
Talk

A CRDT Primer: Defanging Order Theory

John MummVectrology Solutions

14:40 - 15:20
Talk

Better living through incrementality: Immediate static analysis feedback without loss of precision

Tamás Szabóitemis AG / TU Delft, Sebastian ErdwegTU Delft

13:50 - 15:20: Curry On Talks - Track 3 at Matterhorn III

13:50 - 14:30
Talk

Taming the C monster: Haskell FFI techniques

Fraser TweedaleRed Hat

14:40 - 15:20
Talk

Akka.JS and why the actor model matters even in JS's world.

Chess Timer Talk

Andrea PeruffoNokia

15:55 - 17:25: Curry On Talks - Track 1 at Matterhorn I

15:55 - 16:35
Talk

Spoofax: Live Programming Language Design

Eelco VisserDelft University of Technology

16:45 - 17:25
Talk

Transducing for fun and profit

Chess Timer Talk

Simon BelakMetabase

15:55 - 17:25: Curry On Talks - Track 2 at Matterhorn II

15:55 - 16:35
Talk

It Ain't Necessarily So

Chris FordThoughtWorks (UK) Ltd.

16:45 - 17:25
Talk

Language Design in the Open

Yulia StartsevMozilla

15:55 - 17:25: Curry On Talks - Track 3 at Matterhorn III

15:55 - 16:35
Talk

Papers we love - Elixir edition

Andrea LeopardiWeedmaps

16:45 - 17:25
Talk

Hackett: a metaprogrammable Haskell

Alexis KingNorthwestern University

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Curry On Talks - Track 1 at Matterhorn I

11:00 - 11:40
Talk

Code into Data: Embedding programs into datastores with GraalVM

Thomas WuerthingerOracle Labs

11:50 - 12:30
Talk

Challenges in Large-Scale Mobile App Performance

Manu SridharanUber

11:00 - 12:30: Curry On Talks - Track 2 at Matterhorn II

11:00 - 11:40
Talk

Little Languages

Chris LaffraUber Technologies

11:50 - 12:30
Talk

Why VM Benchmarking is Probably Misleading you

Edd BarrettKing's College London

11:00 - 12:30: Curry On Talks - Track 3 at Matterhorn III

11:00 - 11:40
Talk

Strategies for Streaming

Arnout EngelenLightbend

11:50 - 12:30
Talk

Distributed Systems Protocols and their Vulnerabilities

13:50 - 15:20: Curry On Talks - Track 1 at Matterhorn I

13:50 - 14:30
Talk

Rethinking Modern Web Browsers

Ben LivshitsImperial College London, UK

14:40 - 15:20
Talk

Lessons from a Big Data Machine Learning Startup

Cliff ClickSelf

13:50 - 15:20: Curry On Talks - Track 2 at Matterhorn II

13:50 - 14:30
Talk

Simplicity - The Road Not Taken?

Dave ThomasKx Systems

14:40 - 15:20
Talk

Serverless Computing with Functions

Chess Timer Talk

13:50 - 15:20: Curry On Talks - Track 3 at Matterhorn III

13:50 - 14:30
Talk

SuperRecord: Practical Anonymous Records for Haskell

Alexander ThiemannStripe Inc

14:40 - 15:20
Talk

Lector in Codigo

15:55 - 17:25: Curry On Talks - Track 1 at Matterhorn I

15:55 - 16:35
Talk

Do-It-Yourself Functional Reactive Programming

Manuel ChakravartyTweag I/O & IOHK

16:45 - 17:25
Talk

DB ⋈ FP = Datafun: a new functional query language

Michael ArntzeniusUniversity of Birmingham, UK

15:55 - 17:25: Curry On Talks - Track 2 at Matterhorn II

15:55 - 16:35
Talk

Isolation Without Containers

Tyler McMullenFastly

16:45 - 17:25
Talk

Using APIs and micro-services as the glue between observed and derived facts

Faraz BabarAmerican Express

15:55 - 17:25: Curry On Talks - Track 3 at Matterhorn III

15:55 - 16:35
Talk

Type-Safe GraphQL Servers with GADTs

Andreas GarnæsZendesk

16:45 - 17:25
Talk

Luna - overview

Sylwia BrodackaLuna