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

Mon 19 Jun
Times are displayed in 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 - 10:00
Talk
What to Leave Implicit
Curry On Keynotes
Martin OderskyEPFL, Switzerland
10:30 - 12:50: Monday - 10:30 - 12:50 - AuditoriumCurry On Talks at Auditorium, Vertex Building
10:30 - 11:10
Talk
Flow Reloaded: New Challenges and New Opportunities
Curry On Talks
11:20 - 12:00
Talk
Moving Fast with High Reliability: Program Analysis at Uber
Curry On Talks
12:10 - 12:50
Talk
The Practice and Theory of TLA+
Curry On Talks
10:30 - 12:50: Monday - 10:30 - 12:50 - Sala AgoraCurry On Talks at Sala Agora
10:30 - 11:10
Talk
Impromptu: A Lightweight, dependently-typed async framework for Scala
Curry On Talks
Jon PrettyPropensive Ltd
11:20 - 12:00
Talk
Centrifuge : Data quality in Spark without the costs!
Curry On Talks
12:10 - 12:50
Talk
Angelina Ballerina Learns About Memory Allocation
Curry On Talks
Allison McMillanCollective Idea
10:30 - 12:50: Monday - 10:30 - 12:50 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
10:30 - 11:10
Talk
The Programmer's Guide to Ideology
Curry On Talks
11:20 - 12:00
Talk
Composable Caching in Swift
Curry On Talks
Brandon KasePinterest
12:10 - 12:50
Talk
Building Web Apps with Reason
Curry On Talks
Brandon DailFormidable Labs
12:50 - 14:00: LunchCatering at CurryOn-CoffeeBreaks
12:50 - 14:00
Lunch
Lunch
Catering
14:00 - 14:50: Monday - 14:00 - 14:50 - AuditoriumCurry On Keynotes at Auditorium, Vertex Building
14:00 - 14:50
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 - 15:40
Talk
Clojure Transducers In The Wild
Curry On Talks
Renzo BorgattiMailonline
15:00 - 15:40: Monday - 15:00 - 15:40 - AuditoriumCurry On Talks at Auditorium, Vertex Building
15:00 - 15:40
Talk
Don't Write Tests!
Curry On Talks
John HughesChalmers 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 - 15:40
Talk
Carpenters & Cartographers
Curry On Talks
Valentin Kasasself-employed @ Kanaka
15:40 - 16:10: Coffee breakCatering at CurryOn-CoffeeBreaks
15:40 - 16:10
Coffee break
Coffee break
Catering
16:10 - 18:30: Monday - 16:10 - 18:30 - Sala AgoraCurry On Talks at Actes, Informatics Building
16:10 - 16:50
Talk
How types can turn a SQL interpreter into a SQL compiler
Curry On Talks
Tiark RompfPurdue University
17:00 - 17:40
Talk
Orchestrate ING with Petri Net
Curry On Talks
17:50 - 18:30
Talk
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
Curry On Talks
16:10 - 18:30: Monday - 16:10 - 18:30 - AuditoriumCurry On Talks at Auditorium, Vertex Building
16:10 - 16:50
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
Curry On Talks
Matthew MightUniversity of Utah, USA
17:00 - 17:40
Talk
Rust: Putting Ownership to Use
Curry On Talks
Nicholas MatsakisMozilla Corporation
16:10 - 18:30: Monday - 16:10 - 18:30 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
16:10 - 16:50
Talk
Profunctor Optics: Modular Data Accessors
Curry On Talks
Jeremy GibbonsDepartment of Computer Science, University of Oxford
17:00 - 17:40
Talk
Making decentralisation available for all
Curry On Talks
Martin KleppmannUniversity of Cambridge
17:50 - 18:30
Talk
Reactive Programming in the Browser with Scala.js and PureScript
Curry On Talks
Luka Jacobowitzcodecentric AG
17:55 - 18:50: Monday - 17:50 - 18:30 - PLDICurry On Keynotes at Auditorium, Vertex Building
17:55 - 18:50
Talk
PLDI Keynote - TensorFlow considered as a programming language
Curry On Keynotes

Tue 20 Jun
Times are displayed in 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 - 09:50
Talk
Idioms for building distributed fault-tolerant applications with Elixir
Curry On Keynotes
José ValimPlataformatec
10:25 - 12:45: Tuesday - 10:25 - 12:45 - AuditoriumCurry On Talks at Auditorium, Vertex Building
10:25 - 11:05
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
Curry On Talks
Daniel KingBroad Institute
11:15 - 11:55
Talk
Preventing Information Leaks by Construction
Curry On Talks
Jean YangCarnegie Mellon University
12:05 - 12:45
Talk
The Sharp Edges of Leaky Abstraction
Curry On Talks
Mark AllenAlert Logic
10:25 - 12:45: Tuesday - 10:25 - 12:45 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building
10:25 - 11:05
Talk
Grammar-based language modes for text editors
Curry On Talks
11:15 - 11:55
Talk
Scalable cross-references across languages
Curry On Talks
Luke ZarkoGoogle, Inc
12:05 - 12:45
Talk
There are no BFT Fans Anymore... About Secure Eventual Consistency
Curry On Talks
Ali ShokerHASLab/INESC TEC & University of Minho
12:35 - 13:50: LunchCatering at CurryOn-CoffeeBreaks
12:35 - 13:50
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 - 14:30
Talk
Babelfish: Universal Code Parsing Server
Curry On Talks
14:40 - 15:20
Talk
Channels, Concurrency, and Cores: A new Concurrent ML implementation
Curry On Talks
Andy WingoIgalia, S.L.
15:30 - 16:00: Coffee breakCatering at CurryOn-CoffeeBreaks
15:30 - 16:00
Coffee break
Coffee break
Catering
16:00 - 18:20: Tuesday - 16:00 - 18:20 - Sala AgoraCurry On Talks at Actes, Informatics Building
16:00 - 16:40
Talk
Computational Musicology, ????, Profit
Curry On Talks
Chris FordThoughtWorks (UK) Ltd.
16:50 - 17:30
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
Curry On Talks
Jurriaan HageUtrecht University
17:40 - 18:20
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
Curry On Talks
Michael SteindorferDelft University of Technology, Netherlands
16:00 - 18:20: Tuesday - 16:00 - 18:20 - AuditoriumCurry On Talks at Auditorium, Vertex Building
16:00 - 16:40
Talk
Pony: 714 Days Later
Curry On Talks
Sylvan ClebschImperial College London
16:50 - 17:30
Talk
Finding and Preventing Bugs in JavaScript Bindings
Curry On Talks
17:40 - 18:20
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 - 19:20
Talk
Scripting with Lua
Curry On Keynotes

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Actes, Informatics Building
Auditorium, Vertex Building
CurryOn-CoffeeBreaks
Sala Agora
Sala d'Actes, Vertex Building

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Actes, Informatics Building
Auditorium, Vertex Building
CurryOn-CoffeeBreaks
Sala d'Actes, Vertex Building
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)