PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / CurryOn 2017 (series) /
Curry On TalksCurryOn 2017
Accepted Papers
Call for Papers
This is a placeholder text.
You can expect more information about the call for papers soon.
This page will have information about the submission and selection process and list the important dates.
Dates
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
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 | ||
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 | ||
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 | ||
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
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 | ||
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. | ||
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 | ||