Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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

Conference Day
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 BirkedalAarhus University, Denmark, Aleksandar NanevskiIMDEA Software Institute
09:15
60m
Talk
Effective programming: bringing algebraic effects and handlers to OCaml
HOPE
Leo WhiteJane Street
10:45 - 12:15
Session 1 (Effects)HOPE at Conference Room 3
10:45
30m
Talk
Effects as Capabilities
HOPE
Fengyun LiuEPFL, Nicolas StuckiEPFL, LAMP, Sandro StuckiEPFL, Nada AminEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
11:15
30m
Talk
A Logical Account of a Type-and-Effect System
HOPE
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Denmark
11:45
30m
Talk
Simple Dependent Polymorphic I/O Effects
HOPE
Amin Timany, Bart JacobsiMinds - 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 DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, UK, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
14:30
30m
Talk
Growing a Proof Assistant
HOPE
William J. BowmanNortheastern 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 LeijenMicrosoft Research
Link to publication
16:00
30m
Talk
Administrative normal form, continued: Sharing control in direct style
HOPE
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK

Conference Day
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 McCarthyUniversity of Massachusetts Lowell
09:45
30m
Talk
Structured reactive programming with polymorphic temporal tiles
FARM
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninUniversity of Bordeaux
14:00 - 14:50
14:00
25m
Talk
Demo: VoxelCAD, a collaborative voxel-based CAD tool
FARM
Csongor KissImperial College London, Toby ShawImperial College London
Link to publication
14:25
25m
Talk
o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
FARM
Jean BressonUMR STMS: IRCAM-CNRS-UPMC, John MacCallumCNMAT - UC Berkeley, Adrian FreedCNMAT - UC Berkeley

Conference Day
Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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