CUFP 2017

Commercial Users of Functional Programming

September 7th-9th — Oxford, United Kingdom

Functional Programming has been at the forefront of a new generation of programming technologies, and companies have been successfully utilizing functional programming to enable more flexible, robust, and effective software development.

The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming. Practitioners meet and collaborate, language designers and users share ideas about the future of their languages, and experts share their expertise on practical functional programming.

CUFP is co-located with ICFP and consists of two components: Tutorials and Talks.

Register

on the ICFP site

Full Schedule Now Available

Tutorials

Thursday-Friday, September 7^th-8^th

CUFP tutorials are in-depth, hands-on sessions for learning functional programming languages, libraries and toolkits directly from the experts and leaders in their fields. In the past, we have had a broad variety of tutorials, including OCaml, Scripting Haskell, LiquidHaskell, PureScript, Coq, F* for programming effectful programs, and Clojure.

Talks

Saturday, September 9^th

Talks are by expert practitioners and will be split between experience reports, describing ways in which functional programming has been used, either successfully or unsuccessfully, in the real world; and technical talks, which will detail techniques and approaches for applying functional programming in practical settings.

Schedule

9:30am - 1:00pm

C1: Online Applications with Incremental

Yaron Minsky and Sebastian Funk

9:30am - 1:00pm

C2: Extensible Effects: understanding them, implementing them, using them

Oleg Kiselyov

C3: Concurrent Programming with Effect Handlers

Daniel Hillerström and KC Sivaramakrishnan

C4: Git under the hood with OCaml

Romain Calascibetta

9:30am - 1:00pm

C5: Teaching Functional Programming

Michael Sperber

9:30am - 1:00pm

C6: Transducers in Practice

Renzo Borgatti

Nick Ogden uSwitch

C7: Owl - Data Science in OCaml

Liang Wang

C8: GraphQL Servers in OCaml

Andreas Garnæs

9:00 - 9:10am

Opening Remarks

Keynote: Are We There Yet?

Bodil Stokke

Bonsai: a DSL for serverless firm real-time decisioning

Jeremie Lasalle Ratelle AppNexus

10:00 - 10:30am

Break

10:30 - 10:55am

Interfacing OCaml and Rust: picking the right tool for the job

Joris Giovannangeli Ahrefs

10:55 - 11:20am

Distributed load testing with MZBench

Renat Idrisov

11:20am - 12:00pm

Break

12:00 - 12:25pm

Gens N' Roses: Appetite for Reduction

Jacob Stanley Ambiata

12:25 - 2:00pm

Lunch

Formally Verifying a Smart-Contract Language Implementation with Isabelle

Simon Meier Digital Asset

Haskell games and apps for iOS and Android

Ivan Perez Keera Studios

2:50 - 3:30pm

Break

Using Haskell to run a datacenter

Pavlo Kerestey

Functional Facades over Legacy Code

Nicholas Cowle G-Research

Robin Kay G-Research

4:20 - 4:50pm

Break

Building the largest payment sandbox on a tiny machine

Máté Marjai TestingPays

Using Functional Programming to Accelerate Translational Research at Pfizer

Austin Huang Pfizer

Organisers

Program co-chairs

Program committee

Tutorial chairs

Takayuki MuranushiRIKEN Advanced Institute for Computational Science In memoriam
Runhang LiTwitter