Write a Blog >>

Dates
Rooms
Tracks
Badges
Your Program
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

09:05 - 10:00
Monday - 9:00 - 9:50 - AuditoriumCurry On Keynotes at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
Curry On Keynotes
Martin Odersky EPFL, Switzerland
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
12:50 - 14:00
12:50
70m
Lunch
Lunch
Catering

14:00 - 14:50
Monday - 14:00 - 14:50 - AuditoriumCurry On Keynotes at Auditorium, Vertex Building
14:00
50m
Talk
FP is Dead: Long Live FP
Curry On Keynotes
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
15:40 - 16:10
15:40
30m
Coffee break
Coffee break
Catering

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
17:55 - 18:50
Monday - 17:50 - 18:30 - PLDICurry On Keynotes at Auditorium, Vertex Building
17:55
55m
Talk
PLDI Keynote - TensorFlow considered as a programming language
Curry On Keynotes

Tue 20 Jun

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

09:00 - 09:50
Tuesday - 9:00 - 9:50 - AuditoriumCurry On Keynotes at Auditorium, Vertex Building
09:00
50m
Talk
Idioms for building distributed fault-tolerant applications with Elixir
Curry On Keynotes
José Valim Plataformatec
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
12:35 - 13:50
12:35
75m
Lunch
Lunch
Catering

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.
15:30 - 16:00
15:30
30m
Coffee break
Coffee break
Catering

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
18:30 - 19:20
Tuesday - 18:30 - 19:20 - AuditoriumCurry On Keynotes at Auditorium, Vertex Building
18:30
50m
Talk
Scripting with Lua
Curry On Keynotes