PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / CurryOn 2017 (series) /
CurryOn 2017 Program
This is the CurryOn 2017 program - see the full program for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM and all affiliated events.
Filter Program
Dates
Mon 19 Jun 2017
Tue 20 Jun 2017
Rooms
Actes, Informatics Building
Auditorium, Vertex Building
CurryOn-CoffeeBreaks
Sala Agora
Sala d'Actes, Vertex Building
Tracks
CurryOn Catering
CurryOn Curry On Keynotes
CurryOn Curry On Talks
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:05 - 10:00 | |||
09:05 55mTalk | What to Leave Implicit Curry On Keynotes Martin Odersky EPFL, Switzerland | ||
10:30 - 12:50 | |||
10:30 40mTalk | Flow Reloaded: New Challenges and New Opportunities Curry On Talks Avik Chaudhuri Facebook | ||
11:20 40mTalk | Moving Fast with High Reliability: Program Analysis at Uber Curry On Talks Manu Sridharan Uber | ||
12:10 40mTalk | The Practice and Theory of TLA+ Curry On Talks | ||
10:30 - 12:50 | |||
10:30 40mTalk | Impromptu: A Lightweight, dependently-typed async framework for Scala Curry On Talks Jon Pretty Propensive Ltd | ||
11:20 40mTalk | Centrifuge : Data quality in Spark without the costs! Curry On Talks Jonathan Winandy Univalence | ||
12:10 40mTalk | Angelina Ballerina Learns About Memory Allocation Curry On Talks Allison McMillan Collective Idea | ||
10:30 - 12:50 | |||
10:30 40mTalk | The Programmer's Guide to Ideology Curry On Talks Silvia Moura Pina Zalando SE | ||
11:20 40mTalk | Composable Caching in Swift Curry On Talks Brandon Kase Pinterest | ||
12:10 40mTalk | Building Web Apps with Reason Curry On Talks Brandon Dail Formidable Labs | ||
12:50 - 14:00 | |||
12:50 70mLunch | Lunch Catering | ||
14:00 - 14:50 | |||
14:00 50mTalk | FP is Dead: Long Live FP Curry On Keynotes Brian Goetz Oracle | ||
15:00 - 15:40 | |||
15:00 40mTalk | Clojure Transducers In The Wild Curry On Talks Renzo Borgatti Mailonline | ||
15:00 - 15:40 | |||
15:00 40mTalk | Don't Write Tests! Curry On Talks John Hughes Chalmers University of Technology | ||
15:00 - 15:40 | |||
15:00 40mTalk | Carpenters & Cartographers Curry On Talks Valentin Kasas self-employed @ Kanaka | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Coffee break Catering | ||
16:10 - 18:30 | |||
16:10 40mTalk | How types can turn a SQL interpreter into a SQL compiler Curry On Talks Tiark Rompf Purdue University | ||
17:00 40mTalk | Orchestrate ING with Petri Net Curry On Talks Adil Akhter ING | ||
17:50 40mTalk | Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API Curry On Talks | ||
16:10 - 18:30 | |||
16:10 40mTalk | Winning the War on Error: Solving the Halting Problem and Curing Cancer Curry On Talks Matthew Might University of Utah, USA | ||
17:00 40mTalk | Rust: Putting Ownership to Use Curry On Talks Nicholas Matsakis Mozilla Corporation | ||
16:10 - 18:30 | |||
16:10 40mTalk | Profunctor Optics: Modular Data Accessors Curry On Talks Jeremy Gibbons Department of Computer Science, University of Oxford | ||
17:00 40mTalk | Making decentralisation available for all Curry On Talks Martin Kleppmann University of Cambridge | ||
17:50 40mTalk | Reactive Programming in the Browser with Scala.js and PureScript Curry On Talks Luka Jacobowitz codecentric AG | ||
17:55 - 18:50 | |||
17:55 55mTalk | PLDI Keynote - TensorFlow considered as a programming language Curry On Keynotes Martin Abadi Google | ||
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:50 | |||
09:00 50mTalk | Idioms for building distributed fault-tolerant applications with Elixir Curry On Keynotes José Valim Plataformatec | ||
10:25 - 12:45 | |||
10:25 40mTalk | The Joy of Vector Programming: Why Vector Programming Matters Curry On Talks Dave Thomas Kx Systems | ||
11:15 40mTalk | Helping communities & products thrive by fostering empathy Curry On Talks | ||
12:05 40mTalk | The CernVM File System - Beyond Static Content Distribution Curry On Talks Radu Popescu CERN | ||
10:25 - 12:45 | |||
10:25 40mTalk | Building Tools and Languages for Terabyte Scale Biology: A Call to Action Curry On Talks Daniel King Broad Institute | ||
11:15 40mTalk | Preventing Information Leaks by Construction Curry On Talks Jean Yang Carnegie Mellon University | ||
12:05 40mTalk | The Sharp Edges of Leaky Abstraction Curry On Talks Mark Allen Alert Logic | ||
10:25 - 12:45 | |||
10:25 40mTalk | Grammar-based language modes for text editors Curry On Talks | ||
11:15 40mTalk | Scalable cross-references across languages Curry On Talks Luke Zarko Google, Inc | ||
12:05 40mTalk | 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 75mLunch | Lunch Catering | ||
13:50 - 15:30 | |||
13:50 40mTalk | Modular Composition of Reactive Applications Curry On Talks Mira Mezini TU Darmstadt | ||
14:40 40mTalk | 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 | |||
13:50 40mTalk | Machine learning systems with privacy and for privacy: TensorFlow & PATE-G Curry On Talks Martín Abadi Google | ||
14:40 40mTalk | Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow Curry On Talks Peter Hawkins Google | ||
13:50 - 15:30 | |||
13:50 40mTalk | Babelfish: Universal Code Parsing Server Curry On Talks Santiago M. Mola source{d} | ||
14:40 40mTalk | Channels, Concurrency, and Cores: A new Concurrent ML implementation Curry On Talks Andy Wingo Igalia, S.L. | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering | ||
16:00 - 18:20 | |||
16:00 40mTalk | Computational Musicology, ????, Profit Curry On Talks Chris Ford ThoughtWorks (UK) Ltd. | ||
16:50 40mTalk | Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler Curry On Talks Jurriaan Hage Utrecht University | ||
17:40 40mTalk | 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 | |||
16:00 40mTalk | Pony: 714 Days Later Curry On Talks Sylvan Clebsch Imperial College London | ||
16:50 40mTalk | Finding and Preventing Bugs in JavaScript Bindings Curry On Talks | ||
17:40 40mTalk | Reflex: Reactive Programming at Facebook Curry On Talks Julien Verlaguet Facebook | ||
16:00 - 18:20 | |||
16:00 40mTalk | 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 40mTalk | Making Science Reproducible with Functional Programming Concepts Curry On Talks Martin Kavalar Nextjournal | ||
17:40 40mTalk | 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 | |||
18:30 50mTalk | Scripting with Lua Curry On Keynotes Roberto Ierusalimschy PUC-Rio | ||