Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

Conference Dates
Conference Dates are in time zone (GMT+09:00) Osaka, Sapporo, Tokyo, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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
09:15 - 10:15
Session OneTyDe at Conference Room 1
09:15
20m
Day opening
Opening
TyDe

09:35
20m
Talk
APLicative Programming with Naperian Functors
TyDe
Jeremy GibbonsUniversity of Oxford, UK
09:55
20m
Talk
Choose Your Own Derivative
TyDe
09:15 - 10:15
Invited TalkScheme at Conference Room 2
09:15
10m
Day opening
Opening Remarks
Scheme
Alex ShinnIndeed.com
09:25
50m
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. MyreenChalmers University of Technology, Sweden
09:15 - 10:15
1PLMW at Conference Room 5
Chair(s): Amal AhmedNortheastern University
09:15
30m
Talk
Welcome to ICFP!
PLMW
Kathleen FisherTufts University
Media Attached File Attached
09:45
30m
Talk
Rust: PL research in industry
PLMW
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
10:45 - 12:15
2PLMW at Conference Room 5
Chair(s): Amal AhmedNortheastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van HornUniversity of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip WadlerUniversity of Edinburgh
File Attached
14:00 - 15:00
Session ThreeTyDe at Conference Room 1
14:00
30m
Talk
Applications of Applicative Proof Search
TyDe
Liam O'ConnorUNSW, Australia
14:30
30m
Talk
Liberating Effects with Rows and Handlers
TyDe
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK
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
17:00 - 18:00
17:00
30m
Talk
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Scheme
Dakota Fisher, Matthew HammerUniversity of Colorado, Boulder, William E. ByrdUniversity of Utah, Matthew MightUniversity of Utah, USA
17:30
30m
Talk
Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Scheme
Jason HemannIndiana University, Daniel FriedmanIndiana University
17:00 - 18:00
5PLMW at Conference Room 5
Chair(s): Atsushi IgarashiKyoto University
17:00
30m
Talk
Principle and Practice of OCaml Type Debugger
PLMW
Kenichi AsaiOchanomizu University
File Attached
17:30
30m
Talk
Unaccustomed as I am to public speaking
PLMW
John HughesChalmers University of Technology

Conference Day
Mon 19 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Keynote 1Keynote Talks at Noh Theater
Chair(s): Eijiro SumiiTohoku University
09:15
60m
Talk
TensorFlow: Learning Functions at Scale
Keynote Talks
10:45 - 12:25
Session 1Research Papers at Noh Theater
Chair(s): Akimasa MorihataUniversity of Tokyo, Japan
10:45
25m
Talk
Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
Research Papers
David Castro-PerezUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK, Susmit SarkarUniversity of St. Andrews, UK
DOI
11:10
25m
Talk
Dag-Calculus: A Calculus for Parallel Computation
Research Papers
Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, France, Mike RaineyInria, France, Filip SieczkowskiInria, France
DOI
11:35
25m
Talk
A Lambda-Calculus Foundation for Universal Probabilistic Programming
Research Papers
Johannes BorgströmUppsala University, Sweden, Ugo Dal LagoUniversity of Bologna, France, Andrew D. GordonMicrosoft Research, UK, Marcin SzymczakUniversity of Edinburgh, UK
DOI
12:00
25m
Talk
Deriving a Probability Density Calculator (Functional Pearl)
Research Papers
Wazim Mohammed IsmailIndiana University, USA, Chung-chieh ShanIndiana University, USA
DOI
13:40 - 14:55
Session 2Research Papers at Noh Theater
Chair(s): Kathleen FisherTufts University
13:40
25m
Talk
A New Verified Compiler Backend for CakeML
Research Papers
Yong Kiam TanIHPC at A*STAR, Singapore, Magnus O. MyreenChalmers University of Technology, Sweden, Ramana KumarData61 at CSIRO, Australia, Anthony FoxUniversity of Cambridge, UK, Scott OwensUniversity of Kent, UK, Michael NorrishData61 at CSIRO, Australia
DOI
14:05
25m
Talk
Sequent Calculus as a Compiler Intermediate Language
Research Papers
Paul DownenUniversity of Oregon, USA, Luke MaurerUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK
DOI
14:30
25m
Talk
Refinement through Restraint: Bringing Down the Cost of Verification
Research Papers
Liam O'ConnorUNSW, Australia, Zilin ChenUNSW, Australia, Christine RizkallahUniversity of Pennsylvania, USA, Sidney AmaniUNSW, Australia, Japheth LimData61, Australia, Toby MurrayUniversity of Melbourne, Australia, Yutaka NagashimaData61, Australia, Thomas SewellUNSW, Australia, Gerwin KleinUNSW, Australia
DOI
15:15 - 16:30
Session 3Research Papers at Noh Theater
Chair(s): Neel KrishnaswamiUniversity of Birmingham, UK
15:15
25m
Talk
Fully Abstract Compilation via Universal Embedding
Research Papers
Max NewNortheastern University, William J. BowmanNortheastern University, Amal AhmedNortheastern University
DOI
15:40
25m
Talk
Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
Research Papers
Christos DimoulasHarvard University, Max NewNortheastern University, Robby FindlerNorthwestern University, Matthias FelleisenNortheastern University
DOI
16:05
25m
Talk
A Type Theory for Incremental Computational Complexity with Control Flow Changes
Research Papers
Ezgi ÇiçekMPI-SWS, Germany, Zoe ParaskevopoulouPrinceton University, USA, Deepak GargMPI-SWS, Germany
DOI
17:00 - 18:15
Session 4Research Papers at Noh Theater
Chair(s): Tom SchrijversKU Leuven
17:00
25m
Talk
Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
Research Papers
Kotaro TakedaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Kazuya YaguchiTohoku University, Japan, Ayumi ShinoharaTohoku University, Japan
DOI
17:25
25m
Talk
Queueing and Glueing for Optimal Partitioning (Functional Pearl)
Research Papers
Shin-Cheng MuAcademia Sinica, Taiwan, Yu-Hsi ChiangNational Taiwan University, Taiwan, Yu-Han LyuDartmouth College, USA
DOI
17:50
25m
Talk
All Sorts of Permutations (Functional Pearl)
Research Papers
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Nikita DanilenkoUniversity of Kiel, Germany, Sandra DylusUniversity of Kiel, Germany
DOI
18:30 - 20:30
Welcome Reception with SRC PostersReceptions at Reception Hall 1
18:30
2h
Social Event
Reception
Receptions

Conference Day
Tue 20 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Keynote 2Keynote Talks at Noh Theater
Chair(s): Gabriele KellerUniversity of New South Wales
09:15
60m
Talk
Journey to Find Bugs in JavaScript Web Applications in the Wild
Keynote Talks
10:35 - 12:15
Session 5Research Papers at Noh Theater
Chair(s): Robby FindlerNorthwestern University
10:35
25m
Talk
A Glimpse of Hopjs
Research Papers
Manuel SerranoInria, France, Vincent PrunetInria, France
DOI
11:00
25m
Talk
Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
Research Papers
Ilya SergeyUniversity College London, UK
DOI
11:25
25m
Talk
Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing
Research Papers
Kento EmotoKyushu Institute of Technology, Japan, Kiminori MatsuzakiKochi University of Technology, Japan, Zhenjiang HuNational Institute of Informatics, Japan, Akimasa MorihataUniversity of Tokyo, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
DOI
11:50
25m
Talk
Datafun: A Functional Datalog
Research Papers
Michael ArntzeniusUniversity of Birmingham, UK, Neel KrishnaswamiUniversity of Birmingham, UK
DOI
13:30 - 14:45
Session 6Research Papers at Noh Theater
Chair(s): Johan JeuringUtrecht University
13:30
25m
Talk
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Research Papers
Eric SeidelUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California at San Diego, USA, Westley WeimerUniversity of Virginia, USA
DOI
13:55
25m
Talk
Automatically Disproving Fair Termination of Higher-Order Functional Programs
Research Papers
Keiichi WatanabeUniversity of Tokyo, Japan, Ryosuke SatoUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
14:20
25m
Talk
Higher-Order Ghost State
Research Papers
Ralf JungMPI-SWS, Germany, Robbert KrebbersAarhus University, Denmark, Lars BirkedalAarhus University, Denmark, Derek DreyerMPI-SWS, Germany
DOI
15:05 - 16:20
Session 7Research Papers at Noh Theater
Chair(s): Andres LöhWell-Typed LLP
15:05
25m
Talk
Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data
Research Papers
Jesper CockxiMinds, Belgium, Dominique DevrieseiMinds, Belgium, Frank PiessensiMinds, Belgium
DOI
15:30
25m
Talk
Elaborator Reflection: Extending Idris in Idris
Research Papers
David Thrane ChristiansenIndiana University, USA, Edwin BradyUniversity of St. Andrews, UK
DOI
15:55
25m
Talk
Partial Type Equivalences for Verified Dependent Interoperability
Research Papers
Pierre-Evariste DagandUPMC, France, Nicolas TabareauInria, France, Éric TanterUniversity of Chile, Chile
DOI
16:50 - 17:40
Session 8Research Papers at Noh Theater
Chair(s): Scott OwensUniversity of Kent, UK
16:50
25m
Talk
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory
Research Papers
David DaraisUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA
DOI
17:15
25m
Talk
An Abstract Memory Functor for Verified C Static Analyzers
Research Papers
Sandrine BlazyUniversity of Rennes 1, France, Vincent LaporteIMDEA Software Institute, Spain, David PichardieENS Rennes, France
DOI
17:40 - 18:10
ICFP Program Chair Report and Contest PresentationReports at Noh Theater
17:40
10m
Other
Program Chair Report (Eijiro Sumii)
Reports

17:50
20m
Awards
Programming Contest Presentation (Keisuke Nakano)
Reports

19:00 - 21:00
Banquet and SIGPLAN AwardsReceptions at Hotel Nikko
19:00
2h
Social Event
Reception
Receptions

Conference Day
Wed 21 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Keynote 3Keynote Talks at Noh Theater
Chair(s): Jacques GarrigueNagoya University
09:15
60m
Talk
A Functional Programmer's Guide to Homotopy Type Theory
Keynote Talks
Dan LicataWesleyan University
10:35 - 12:15
Session 9Research Papers at Noh Theater
Chair(s): Sam LindleyUniversity of Edinburgh, UK
10:35
25m
Talk
Ghostbuster: A Tool for Simplifying and Converting GADTs
Research Papers
Trevor L. McDonellIndiana University, USA, Timothy A. K. ZakianOxford University, UK, Matteo CiminiIndiana University, USA, Ryan R. NewtonIndiana University, USA
DOI
11:00
25m
Talk
Indexed Codata Types
Research Papers
David ThibodeauMcGill University, Canada, Andrew CaveMcGill University, Canada, Brigitte PientkaMcGill University, Canada
DOI
11:25
25m
Talk
Disjoint Intersection Types
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Zhiyuan ShiUniversity of Hong Kong, China, João AlpuimUniversity of Hong Kong, China
DOI
11:50
25m
Talk
Set-Theoretic Types for Polymorphic Variants
Research Papers
Giuseppe CastagnaParis Diderot University & CNRS, Tommaso PetruccianiUniversity of Genoa, France, Kim NguyễnUniversity of Paris-Sud, France
DOI
13:30 - 14:45
Session 10Research Papers at Noh Theater
Chair(s): John ReppyUniversity of Chicago
13:30
25m
Talk
Hierarchical Memory Management for Parallel Programs
Research Papers
Ram RaghunathanCarnegie Mellon University, USA, Stefan K. MullerCarnegie Mellon University, USA, Umut A. AcarCarnegie Mellon University, Guy BlellochCarnegie Mellon University, USA
DOI
13:55
25m
Talk
Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis
Research Papers
Thomas GilrayUniversity of Utah, USA, Michael D. AdamsUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
14:20
25m
Talk
A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors
Research Papers
Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
DOI
15:05 - 16:20
Session 11Research Papers at Noh Theater
Chair(s): Alejandro RussoChalmers University of Technology
15:05
25m
Talk
Talking Bananas: Structural Recursion for Session Types
Research Papers
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
15:30
25m
Talk
The Best of Both Worlds: Linear Functional Programming without Compromise
Research Papers
J. Garrett MorrisUniversity of Edinburgh, UK
DOI
15:55
25m
Talk
Context-Free Session Types
Research Papers
Peter ThiemannUniversity of Freiburg, Germany, Vasco Thudichum Vasconcelos
DOI
16:50 - 17:40
Session 12Research Papers at Noh Theater
Chair(s): Jeremy GibbonsUniversity of Oxford, UK
16:50
25m
Talk
Combining Effects and Coeffects via Grading
Research Papers
Marco GaboardiSUNY Buffalo, USA, Shin-ya KatsumataKyoto University, Japan, Dominic OrchardUniversity of Cambridge, UK, Flavien BreuvartInria, France, Tarmo UustaluTallinn University of Technology, Estonia
DOI
17:15
25m
Talk
String Diagrams for Free Monads (Functional Pearl)
Research Papers
Maciej PirógKU Leuven, Belgium, Nicolas WuUniversity of Bristol, UK
DOI
17:40 - 18:10
SRC Awards and ClosingReports at Noh Theater
17:40
15m
Awards
SRC Awards (David Van Horn)
Reports

17:55
15m
Day closing
ICFP 2016 Closing / ICFP 2017 Presentation
Reports

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15
Invited TalkML at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
09:10
5m
Day opening
Welcome
ML

09:15
60m
Talk
Making Reactive Programs Function
ML
I: Neel KrishnaswamiUniversity of Birmingham, UK
09:15 - 10:15
Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
09:15
60m
Talk
From Identification of Parallelizability to Derivation of Parallelizable Codes
FHPC
Akimasa MorihataUniversity of Tokyo, Japan
09:15 - 12:45
09:15
3h30m
Talk
T1: Teaching Functional Programming
Tutorials
Michael SperberActive Group GmbH
Pre-print
09:15 - 10:15
TestingHaskell at Noh Theater
Chair(s): Stephanie WeirichUniversity of Pennsylvania
09:15
10m
Day opening
Welcome
Haskell

09:25
25m
Talk
FitSpec: Refining Property Sets for Functional Testing
Haskell
DOI
09:50
25m
Talk
QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Haskell
Gustavo Grieco, Martín Ceresa, Pablo BuirasChalmers University of Technology
DOI
10:35 - 11:25
Domain Specific LanguagesFHPC at Conference Room 2
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
10:35
25m
Talk
Icicle: Write Once, Run Once
FHPC
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
11:00
25m
Talk
Using Fusion to Enable Late Design Decisions for Pipelined Computations
FHPC
Mate KaracsonyEötvös Loránd University, Koen ClaessenChalmers University of Technology
10:35 - 11:25
FRPHaskell at Noh Theater
Chair(s): David TereiStanford
10:35
25m
Talk
Causal Commutative Arrows Revisited
Haskell
Jeremy YallopUniversity of Cambridge, UK, Hai LiuIntel Labs
DOI
11:00
25m
Talk
Functional Reactive Programming, Refactored
Haskell
Ivan PerezUniversity of Nottingham, Manuel Bärenz, Henrik Nilsson
DOI
11:45 - 12:25
ImplementationML at Conference Room 1
Chair(s): Didier RémyINRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
11:45 - 12:35
Code GenerationFHPC at Conference Room 2
Chair(s): Jost BertholdCommonwealth Bank, Australia
11:45
25m
Talk
Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
FHPC
Takayuki MuranushiRIKEN, Seiya NishizawaRIKEN, Hirofumi TomitaRIKEN, Keigo NitadoriRIKEN, Masaki IwasawaRIKEN, Yutaka Maruyama, Hisashi YashiroRIKEN, Yoshifumi NakamuraRIKEN, Hideyuki HottaUniversity of Chile, Chile, Junichiro MakinoKobe University, Natsuki HosonoKyoto University, Hikaru InoueFujitsu Limited
12:10
25m
Talk
JIT Costing Adaptive Skeletons for Performance Portability
FHPC
Patrick MaierUniversity of Glasgow, John Magnus MotronUniversity of Glasgow, Phil TrinderUniversity of Glasgow
11:45 - 12:35
FunctorsHaskell at Noh Theater
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
11:45
25m
Talk
Free Delivery (Functional Pearl)
Haskell
Jeremy GibbonsUniversity of Oxford, UK
DOI
12:10
25m
Talk
How to Twist Pointers without Breaking Them
Haskell
DOI
14:00 - 14:50
EffectsML at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:00 - 14:50
GPUsFHPC at Conference Room 2
Chair(s): Ben LippmeierUniversity of New South Wales
14:00
25m
Talk
Low-Level Functional GPU Programming for Parallel Algorithms
FHPC
Martin Dybdal, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Bo Joel SvenssonChalmers University of Technology, Sweden, Mary SheeranChalmers University of Technology
14:25
25m
Talk
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
FHPC
Troels HenriksenDIKU, University of Copenhagen, Martin Dybdal, Henrik UrmsDIKU, University of Copenhagen, Anna Sofie KiehnDIKU, University of Copenhagen, Daniel GavinDIKU, University of Copenhagen, Hjalte AbelskovDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Cosmin OanceaDIKU, University of Copenhagen
14:00 - 17:30
14:00
3h30m
Talk
T3: Introduction to OCaml
Tutorials
KC SivaramakrishnanUniversity of Cambridge
Pre-print
15:20 - 16:10
Streaming and DataflowFHPC at Conference Room 2
Chair(s): Hai LiuIntel Labs
15:20
25m
Talk
Streaming Nested Data Parallelism on Multicores
FHPC
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
15:45
25m
Talk
Polarized Data Parallel Data Flow
FHPC
Ben LippmeierUniversity of New South Wales, Fil MackayVertigo Technology (Australia), Amos RobinsonAmbiata (Australia)
15:20 - 16:10
Language FeaturesHaskell at Noh Theater
Chair(s): Niki VazouUC San Diego
15:20
25m
Talk
Pattern Synonyms
Haskell
Matthew Pickering, Gergo Erdi, Simon Peyton JonesMicrosoft Research, UK, Richard A. EisenbergBryn Mawr College
DOI
15:45
25m
Talk
Desugaring Haskell's do-Notation into Applicative Operations
Haskell
DOI
16:40 - 17:05
Graph ProcessingFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
16:40
25m
Talk
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
FHPC
Onofre Coll RuizKochi University of Technology, Kiminori MatsuzakiKochi University of Technology, Japan, Shigeyuki SatoKochi University of Technology
16:40 - 18:00
Lightning TalksHaskell at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
16:40
80m
Talk
Lightning Talks
Haskell

17:05 - 18:00
DIscussionFHPC at Conference Room 2
Chair(s): David DukeUniversity of Leeds
17:05
55m
Talk
Discussion
FHPC

18:30 - 20:30
Industrial ReceptionReceptions at Reception Hall 2
18:30
2h
Social Event
All ICFP participants are welcome
Receptions

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Strictness and STM Haskell at Noh Theater
Chair(s): Richard A. EisenbergBryn Mawr College
09:25
25m
Talk
Revisiting Software Transactional Memory in Haskell
Haskell
Matthew Le, Ryan Yates, Matthew FluetRochester Institute of Technology
DOI
09:50
25m
Talk
Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Haskell
Yisu Remy WangTufts University, Diogenes Nunez, Kathleen FisherTufts University
DOI
10:35 - 11:25
TypesHaskell at Noh Theater
Chair(s): David DukeUniversity of Leeds
10:35
25m
Talk
Experience Report: Types for a Relational Algebra Library
Haskell
DOI
11:00
25m
Talk
Embedding Session Types in Haskell
Haskell
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
11:45 - 12:35
Experience report presentations Erlang at Conference Room 2
11:45
25m
Talk
Observing the consistency of distributed systems
Erlang
Deepthi Devaki Akkoorath, Viktória FördősErlang Solutions Ltd., Annette BieniusaTechnischen Universität Kaiserslautern
12:10
25m
Talk
Making everybody comfortable with Erlang: a SCADA system for thermal control
Erlang
11:45 - 12:35
PC Chair Report and State of HaskellHaskell at Noh Theater
11:45
50m
Talk
PC Chair Report and State of Haskell
Haskell

14:00 - 14:50
14:00
25m
Talk
Sundials/ML: interfacing with numerical solvers
OCaml
Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
14:25
25m
Talk
OCaml inside: a drop-in replacement for libtls
OCaml
14:00 - 14:50
14:00
25m
Talk
Profiling Actor Utilization and Communication in Akka
Erlang
Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano
14:25
25m
Talk
The Nifty Way to Call Hell from Heaven
Erlang
14:00 - 14:50
MonadsHaskell at Noh Theater
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
14:00
25m
Talk
The Key Monad: Type-Safe Unconstrained Dynamic Typing
Haskell
Pablo BuirasChalmers University of Technology, Koen ClaessenChalmers University of Technology, Atze van der Ploeg
DOI
14:25
25m
Talk
Supermonads: One Notion to Bind Them All
Haskell
DOI
16:40 - 18:00
Erlang in Robotics & Erlang Latest NewsErlang at Conference Room 2
16:40
25m
Talk
Towards Reliable and Scalable Robot Communication
Erlang
Andreea Lutac, Natalia ChechinaUniversity of Glasgow, Gerardo Aragon-Camarasa, Phil TrinderUniversity of Glasgow
17:05
25m
Talk
Erlang latest news
Erlang

17:30
30m
Day closing
Farewell & Closing
Erlang

Conference Day
Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
The State of GHCHIW at Conference Room 1
09:15
30m
Talk
The State of GHC
HIW
Simon Peyton JonesMicrosoft Research, UK
09:45
30m
Talk
Contributing to GHC
HIW
Ben GamariWell-Typed LLP
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
09:15 - 10:15
KeynoteCUFP at Noh Theater
09:15
5m
Day opening
Opening remarks
CUFP
Katie OtsFacebook, Alex LangTsuru Capital
09:20
55m
Talk
Keynote
CUFP
Yaron MinskyJane Street
Media Attached
10:35 - 11:25
Pluggability and ModularityHIW at Conference Room 1
10:35
25m
Talk
Backpack to Work: Towards Backpack in Practice
HIW
Edward Z. YangStanford University
11:00
25m
Talk
More powerful GHC Plugins
HIW
11:45 - 12:35
Types and EffectsHIW at Conference Room 1
11:45
25m
Talk
A Dependent Haskell Triptych
HIW
Richard A. EisenbergBryn Mawr College
12:10
25m
Talk
Automatically Escaping Monads
HIW
Ben LippmeierUniversity of New South Wales
14:00 - 14:50
The Engineering of GHCHIW at Conference Room 1
14:00
25m
Talk
Pita: Tools for making GHC fast again
HIW
Ben GamariWell-Typed LLP
14:25
25m
Talk
GHC Determinism
HIW
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
15:20 - 16:10
Backends for GHCHIW at Conference Room 1
15:20
25m
Talk
Remote GHCi
HIW
Simon MarlowFacebook
15:45
25m
Talk
GHCVM - A JVM Backend for GHC
HIW
16:40 - 18:00
Trees and Lightning TalksHIW at Conference Room 1
16:40
25m
Talk
Trees That Grow
HIW
Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
17:05
55m
Other
Lightning talks
HIW

16:40 - 18:00
Talks 5CUFP at Noh Theater
16:40
25m
Talk
Baby steps to unikernels in production
CUFP
Media Attached
17:05
50m
Talk
Hope is a Monad
CUFP
Michael SperberActive Group GmbH
Media Attached
17:55
5m
Day closing
Closing remarks
CUFP
Katie OtsFacebook, Alex LangTsuru Capital
19:30 - 21:30
Performance EveningFARM at Live House Beverly Hills Restaurant
Chair(s): Renick Bell
19:30
2h
Other
FARM 2016 Performance Evening
FARM