CUFP 2015 — Vancouver

September 3rd-5th

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 three components: Talks, Tutorials and BoFs.

Tutorials

Thursday-Friday September 3rd-4th

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. We have a broad variety of tutorials, including OCaml, Scripting Haskell, LiquidHaskell, PureScript, Coq, F* for programming effectful programs, and Clojure.

Info

Talks

Saturday September 5th

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.

Call

BoFs

Birds-of-a-Feather sessions will consist of so-called "birds-of-a-feather" sessions, which will create spaces for informal conversations on a variety of topics. Among other things, this will be a good venue for language designers and practitioners to exchange ideas about the future of functional programming. As is typical with BoFs, topics will be chosen beforehand based on a public process for gathering proposals, organized via our website.

Day 1 - Thu Sep 3rd Tutorials

9:00 AM - 12:30 PM
  • Mindy Preston University of Cambridge
9:00 AM - 12:30 PM
  • Gabriel Gonzalez Twitter
9:00 AM - 12:30 PM
  • Andrew Gibiansky
1:30 - 5:00 PM
  • Oleg Kiselyov Tohoku University
1:30 - 5:00 PM
  • Niki Vazou UC San Diego
1:30 - 5:00 PM
  • Andres Löh Well-Typed LLP
1:30 - 5:00 PM
  • Hans Svensson Quviq

Day 2 - Fri Sep 4th Tutorials

9:00 AM - 12:30 PM
  • Brian McKenna Atlassian
9:00 AM - 12:30 PM
  • Nikhil Swamy Microsoft Research / INRIA Paris
  • Catalin Hritcu Microsoft Research / INRIA Paris
1:30 - 5:00 PM
  • Michael Sperber Active Group GmbH
1:30 - 5:00 PM
  • Robert Rand University of Pennsylvania
  • Arthur Azevedo de Amorim University of Pennsylvania
1:30 - 5:00 PM
  • Julian Arni Zalora
  • Sönke Hahn Zalora

Day 3 - Sat Sep 5th Talks

9:00 - 9:05 AM
Opening Remarks
    9:05 - 10:00 AM
    • Amanda Laucher Pariveda Solutions
    10:00 - 10:30 AM
    Break
      10:30 - 10:55 AM
      • Adam Gundry Well-Typed LLP
      10:55 - 11:20 AM
      • Christian Marie Anchor Systems
      11:20 - 11:40 AM
      Break
        11:40 AM - 12:05 PM
        • Justin Schneck LiveHelpNow
        12:05 - 12:30 PM
        • Faisal Waris Wayne State University
        12:30 - 2:00 PM
        Lunch
          2:00 - 2:50 PM
          • Simon Marlow Facebook
          2:50 - 3:10 PM
          Break
            3:10 - 3:35 PM
            • Zeeshan Lakhani Basho
            3:35 - 4:00 PM
            • Hans Fugal Facebook
            4:00 - 4:30 PM
            Break
              4:30 - 5:20 PM
              • Edward Kmett McGraw Hill Financial

              Announcements

              Program Chairs

              Program Committee

              Tutorial Chairs