Program - CurryOn 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 - AuditoriumCurry On Talks at Auditorium, Vertex Building

10:30 40m Talk		Flow Reloaded: New Challenges and New Opportunities Curry On Talks Avik Chaudhuri Facebook
11:20 40m Talk		Moving Fast with High Reliability: Program Analysis at Uber Curry On Talks Manu Sridharan Uber
12:10 40m Talk		The Practice and Theory of TLA+ Curry On Talks Ron Pressler

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 Silvia Moura Pina Zalando SE
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	LunchCatering at CurryOn-CoffeeBreaks

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 Brian Goetz Oracle

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	Coffee breakCatering at CurryOn-CoffeeBreaks

15:40 30m Coffee break		Coffee break Catering

16:10 - 18:30	Monday - 16:10 - 18:30 - Sala AgoraCurry On Talks at Actes, Informatics Building

16:10 40m Talk		How types can turn a SQL interpreter into a SQL compiler Curry On Talks Tiark Rompf Purdue University
17:00 40m Talk		Orchestrate ING with Petri Net Curry On Talks Adil Akhter ING
17:50 40m Talk		Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API Curry On Talks Manuel Chakravarty

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 Martin Abadi Google

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 - Sala AgoraCurry On Talks at Actes, Informatics Building

10:25 40m Talk		The Joy of Vector Programming: Why Vector Programming Matters Curry On Talks Dave Thomas Kx Systems
11:15 40m Talk		Helping communities & products thrive by fostering empathy Curry On Talks Erik Romijn
12:05 40m Talk		The CernVM File System - Beyond Static Content Distribution Curry On Talks Radu Popescu CERN

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 Marijn Haverbeke
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	LunchCatering at CurryOn-CoffeeBreaks

12:35 75m Lunch		Lunch Catering

13:50 - 15:30	Tuesday - 13:50 - 15:20 - Sala AgoraCurry On Talks at Actes, Informatics Building

13:50 40m Talk		Modular Composition of Reactive Applications Curry On Talks Mira Mezini TU Darmstadt
14:40 40m Talk		On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems Curry On Talks Sztefan Edwards nVisium LLC

13:50 - 15:30	Tuesday - 13:50 - 15:20 - AuditoriumCurry On Talks at Auditorium, Vertex Building

13:50 40m Talk		Machine learning systems with privacy and for privacy: TensorFlow & PATE-G Curry On Talks Martín Abadi Google
14:40 40m Talk		Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow Curry On Talks Peter Hawkins Google

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 Santiago M. Mola source{d}
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	Coffee breakCatering at CurryOn-CoffeeBreaks

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 Deian Stefan
17:40 40m Talk		Reflex: Reactive Programming at Facebook Curry On Talks Julien Verlaguet Facebook

16:00 - 18:20	Tuesday - 16:00 - 18:20 - Sala d'ActesCurry On Talks at Sala d'Actes, Vertex Building

16:00 40m Talk		Scope Graphs: A Fresh Look at Name Binding in Programming Languages Curry On Talks Eelco Visser Delft University of Technology Media Attached File Attached
16:50 40m Talk		Making Science Reproducible with Functional Programming Concepts Curry On Talks Martin Kavalar Nextjournal
17:40 40m Talk		Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs Curry On Talks Julia Nguyen Indiegogo

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 Roberto Ierusalimschy PUC-Rio

CurryOn 2017 Program

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

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

Tracks

CurryOn 2017 Program

Switch Program View

Program Display Configuration

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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

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