CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
VenueNara Kasugano International Forum
Room nameConference Room 3
Floor2
Room number3
Capacity100
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15
Welcome and Invited TalkHOPE at Conference Room 3
09:10
5m
Day opening
Opening remarks
HOPE
Lars Birkedal Aarhus University, Denmark, Aleksandar Nanevski IMDEA Software Institute
09:15
60m
Talk
Effective programming: bringing algebraic effects and handlers to OCaml
HOPE
Leo White Jane Street
10:45 - 12:15
Session 1 (Effects)HOPE at Conference Room 3
10:45
30m
Talk
Effects as Capabilities
HOPE
Fengyun Liu EPFL, Nicolas Stucki EPFL, LAMP, Sandro Stucki EPFL, Nada Amin EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne
11:15
30m
Talk
A Logical Account of a Type-and-Effect System
HOPE
Morten Krogh-Jespersen Aarhus University, Kasper Svendsen Aarhus University, Lars Birkedal Aarhus University, Denmark
11:45
30m
Talk
Simple Dependent Polymorphic I/O Effects
HOPE
Amin Timany , Bart Jacobs iMinds - Distrinet, KU Leuven
14:00 - 15:00
Session 2 (Verification)HOPE at Conference Room 3
14:00
30m
Talk
Concurrent Data Structures Linked in Time
HOPE
Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, UK, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute
14:30
30m
Talk
Growing a Proof Assistant
HOPE
William J. Bowman Northeastern University
15:30 - 16:30
Session 3 (Compilation)HOPE at Conference Room 3
15:30
30m
Talk
Type Directed Compilation of Row-typed Algebraic Effects
HOPE
Daan Leijen Microsoft Research
Link to publication
16:00
30m
Talk
Administrative normal form, continued: Sharing control in direct style
HOPE
Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, UK

Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
09:15
30m
Talk
Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis
FARM
Jay McCarthy University of Massachusetts Lowell
09:45
30m
Talk
Structured reactive programming with polymorphic temporal tiles
FARM
Simon Archipoff CNRS LaBRI, Inria Bordeaux,, David Janin University of Bordeaux
11:45 - 12:35
11:45
25m
Talk
Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations
FARM
Jakob Leben University of Victoria
12:10
25m
Talk
Demo: Klangmeister
FARM
Chris Ford ThoughtWorks (UK) Ltd.
14:00 - 14:50
14:00
25m
Talk
Demo: VoxelCAD, a collaborative voxel-based CAD tool
FARM
Csongor Kiss Imperial College London, Toby Shaw Imperial College London
Link to publication
14:25
25m
Talk
o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
FARM
Jean Bresson UMR STMS: IRCAM-CNRS-UPMC, John MacCallum CNMAT - UC Berkeley, Adrian Freed CNMAT - UC Berkeley

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 3