TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

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

Talks

Title
A CRDT Primer: Defanging Order Theory
CurryOn Curry On Talks
Adding kind-polymorphism to the Scala programming language
CurryOn Curry On Talks
Akka.JS and why the actor model matters even in JS's world.Chess Timer Talk
CurryOn Curry On Talks
ApacheSpark as a gateway drug to FP: Concepts taught & broken
CurryOn Curry On Talks
Atom Heart Monad: FRP in C++
CurryOn Curry On Talks
Better living through incrementality: Immediate static analysis feedback without loss of precision
CurryOn Curry On Talks
Challenges in Large-Scale Mobile App Performance
CurryOn Curry On Talks
Code into Data: Embedding programs into datastores with GraalVM
CurryOn Curry On Talks
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Distributed Systems Protocols and their Vulnerabilities
CurryOn Curry On Talks
Do-It-Yourself Functional Reactive Programming
CurryOn Curry On Talks
Domain Specific Programming Platforms for Creativity
CurryOn Curry On Talks
Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
CurryOn Curry On Talks
Hackett: a metaprogrammable Haskell
CurryOn Curry On Talks
Isolation Without Containers
CurryOn Curry On Talks
It Ain't Necessarily So
CurryOn Curry On Talks
Language Design in the Open
CurryOn Curry On Talks
Lector in Codigo
CurryOn Curry On Talks
Lessons from a Big Data Machine Learning Startup
CurryOn Curry On Talks
Little Languages
CurryOn Curry On Talks
Luna - overview
CurryOn Curry On Talks
Papers we love - Elixir edition
CurryOn Curry On Talks
Rethinking Modern Web Browsers
CurryOn Curry On Talks
Serverless Computing with FunctionsChess Timer Talk
CurryOn Curry On Talks
Simplicity - The Road Not Taken?
CurryOn Curry On Talks
Spoofax: Live Programming Language Design
CurryOn Curry On Talks
Strategies for Streaming
CurryOn Curry On Talks
Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra
CurryOn Curry On Talks
SuperRecord: Practical Anonymous Records for Haskell
CurryOn Curry On Talks
Taming the C monster: Haskell FFI techniques
CurryOn Curry On Talks
Transducing for fun and profitChess Timer Talk
CurryOn Curry On Talks
Type-Safe GraphQL Servers with GADTs
CurryOn Curry On Talks
Using APIs and micro-services as the glue between observed and derived facts
CurryOn Curry On Talks
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Your inner compiler engineer wants out!Chess Timer Talk
CurryOn Curry On Talks
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jul

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

11:00 - 12:30
11:00
40m
Talk
Adding kind-polymorphism to the Scala programming language
CurryOn Curry On Talks
Miles Sabin Underscore LLP
11:50
40m
Talk
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
Deian Stefan University of California, San Diego
11:00 - 12:30
11:00
40m
Talk
Your inner compiler engineer wants out!Chess Timer Talk
CurryOn Curry On Talks
Jesse Alama Vicampo
11:50
40m
Talk
Atom Heart Monad: FRP in C++
CurryOn Curry On Talks
Ivan Čukić KDE e.V.
13:50 - 15:20
13:50
40m
Talk
A CRDT Primer: Defanging Order Theory
CurryOn Curry On Talks
John Mumm Vectrology Solutions
14:40
40m
Talk
Better living through incrementality: Immediate static analysis feedback without loss of precision
CurryOn Curry On Talks
Tamás Szabó itemis AG / TU Delft, Sebastian Erdweg TU Delft
15:55 - 17:25
15:55
40m
Talk
Spoofax: Live Programming Language Design
CurryOn Curry On Talks
Eelco Visser Delft University of Technology
16:45
40m
Talk
Transducing for fun and profitChess Timer Talk
CurryOn Curry On Talks
Simon Belak Metabase
15:55 - 17:25
15:55
40m
Talk
It Ain't Necessarily So
CurryOn Curry On Talks
Chris Ford ThoughtWorks (UK) Ltd.
16:45
40m
Talk
Language Design in the Open
CurryOn Curry On Talks
15:55 - 17:25
15:55
40m
Talk
Papers we love - Elixir edition
CurryOn Curry On Talks
16:45
40m
Talk
Hackett: a metaprogrammable Haskell
CurryOn Curry On Talks
Alexis King Northwestern University

Tue 17 Jul

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

11:00 - 12:30
11:00
40m
Talk
Little Languages
CurryOn Curry On Talks
Chris Laffra Uber Technologies
11:50
40m
Talk
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Edd Barrett King's College London
11:00 - 12:30
11:00
40m
Talk
Strategies for Streaming
CurryOn Curry On Talks
Arnout Engelen Lightbend
11:50
40m
Talk
Distributed Systems Protocols and their Vulnerabilities
CurryOn Curry On Talks
13:50 - 15:20
13:50
40m
Talk
Rethinking Modern Web Browsers
CurryOn Curry On Talks
Ben Livshits Imperial College London, UK
14:40
40m
Talk
Lessons from a Big Data Machine Learning Startup
CurryOn Curry On Talks
13:50 - 15:20
13:50
40m
Talk
Simplicity - The Road Not Taken?
CurryOn Curry On Talks
Dave Thomas Kx Systems
14:40
40m
Talk
Serverless Computing with FunctionsChess Timer Talk
CurryOn Curry On Talks
13:50 - 15:20
13:50
40m
Talk
SuperRecord: Practical Anonymous Records for Haskell
CurryOn Curry On Talks
14:40
40m
Talk
Lector in Codigo
CurryOn Curry On Talks
15:55 - 17:25
15:55
40m
Talk
Do-It-Yourself Functional Reactive Programming
CurryOn Curry On Talks
Manuel Chakravarty Tweag I/O & IOHK
16:45
40m
Talk
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Michael Arntzenius University of Birmingham, UK
15:55 - 17:25
15:55
40m
Talk
Isolation Without Containers
CurryOn Curry On Talks
16:45
40m
Talk
Using APIs and micro-services as the glue between observed and derived facts
CurryOn Curry On Talks
Faraz Babar American Express
15:55 - 17:25
15:55
40m
Talk
Type-Safe GraphQL Servers with GADTs
CurryOn Curry On Talks
16:45
40m
Talk
Luna - overview
CurryOn Curry On Talks