PLMW 2016
Sun 18 Sep 2016
Nara, Japan
co-located with
ICFP 2016
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Program
Complete Program
Your Program
Sun 18 Sep
Track/Call
Organization
PLMW 2016 Committees
Track Committees
Speakers
Organizers
Contributors
People Index
Search
Series
Series
PLMW @ ICFP 2024
PLMW@PLDI 2024
PLMW @ POPL 2024
PLMW @ ICFP 2023
PLMW @ POPL 2023
PLMW@PLDI 2023
PLMW @ ICFP 2022
PLMW
PLMW 2022
PLMW @ ICFP 2021
PLMW@PLDI 2021
PLMW 2021
PLMW @ ICFP 2020
PLMW@PLDI 2020
PLMW 2020
PLMW @ ICFP 2019
PLMW @ PLDI 2019
PLMW 2019
PLMW @ ICFP 2018
PLMW @ PLDI 2018
PLMW 2018
PLMW 2017
PLMW 2017
PLMW
PLMW 2016
PLMW@PLDI
PLMW
Sign in
Sign up
ICFP 2016
(
series
) /
PLMW 2016 (
series
) /
Nara Kasugano International Forum
/
Room information: Noh Theater
Venue
Nara Kasugano International Forum
Room name
Noh Theater
Floor
1
Capacity
500
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 19 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Keynote 1
ICFP Keynote Talks
at
Noh Theater
Chair(s):
Eijiro Sumii
Tohoku University
09:15
60m
Talk
TensorFlow: Learning Functions at Scale
ICFP Keynote Talks
Martin Abadi
Google
10:45 - 12:25
Session 1
ICFP Research Papers
at
Noh Theater
Chair(s):
Akimasa Morihata
University of Tokyo, Japan
10:45
25m
Talk
Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
ICFP Research Papers
David Castro-Perez
University of St. Andrews, UK
,
Kevin Hammond
University of St. Andrews, UK
,
Susmit Sarkar
University of St. Andrews, UK
DOI
11:10
25m
Talk
Dag-Calculus: A Calculus for Parallel Computation
ICFP Research Papers
Umut A. Acar
Carnegie Mellon University
,
Arthur Charguéraud
Inria, France
,
Mike Rainey
Inria, France
,
Filip Sieczkowski
Inria, France
DOI
11:35
25m
Talk
A Lambda-Calculus Foundation for Universal Probabilistic Programming
ICFP Research Papers
Johannes Borgström
Uppsala University, Sweden
,
Ugo Dal Lago
University of Bologna, France
,
Andrew D. Gordon
Microsoft Research, UK
,
Marcin Szymczak
University of Edinburgh, UK
DOI
12:00
25m
Talk
Deriving a Probability Density Calculator (Functional Pearl)
ICFP Research Papers
Wazim Mohammed Ismail
Indiana University, USA
,
Chung-chieh Shan
Indiana University, USA
DOI
13:40 - 14:55
Session 2
ICFP Research Papers
at
Noh Theater
Chair(s):
Kathleen Fisher
Tufts University
13:40
25m
Talk
A New Verified Compiler Backend for CakeML
ICFP Research Papers
Yong Kiam Tan
IHPC at A*STAR, Singapore
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
,
Ramana Kumar
Data61 at CSIRO, Australia
,
Anthony Fox
University of Cambridge, UK
,
Scott Owens
University of Kent, UK
,
Michael Norrish
Data61 at CSIRO, Australia
DOI
14:05
25m
Talk
Sequent Calculus as a Compiler Intermediate Language
ICFP Research Papers
Paul Downen
University of Oregon, USA
,
Luke Maurer
University of Oregon, USA
,
Zena M. Ariola
University of Oregon, USA
,
Simon Peyton Jones
Microsoft Research, UK
DOI
14:30
25m
Talk
Refinement through Restraint: Bringing Down the Cost of Verification
ICFP Research Papers
Liam O'Connor
UNSW, Australia
,
Zilin Chen
UNSW, Australia
,
Christine Rizkallah
University of Pennsylvania, USA
,
Sidney Amani
UNSW, Australia
,
Japheth Lim
Data61, Australia
,
Toby Murray
University of Melbourne, Australia
,
Yutaka Nagashima
Data61, Australia
,
Thomas Sewell
UNSW, Australia
,
Gerwin Klein
UNSW, Australia
DOI
15:15 - 16:30
Session 3
ICFP Research Papers
at
Noh Theater
Chair(s):
Neel Krishnaswami
University of Birmingham, UK
15:15
25m
Talk
Fully Abstract Compilation via Universal Embedding
ICFP Research Papers
Max S. New
Northeastern University
,
William J. Bowman
Northeastern University
,
Amal Ahmed
Northeastern University
DOI
15:40
25m
Talk
Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
ICFP Research Papers
Christos Dimoulas
Harvard University
,
Max S. New
Northeastern University
,
Robert Bruce Findler
Northwestern University
,
Matthias Felleisen
Northeastern University
DOI
16:05
25m
Talk
A Type Theory for Incremental Computational Complexity with Control Flow Changes
ICFP Research Papers
Ezgi Çiçek
MPI-SWS, Germany
,
Zoe Paraskevopoulou
Princeton University, USA
,
Deepak Garg
MPI-SWS, Germany
DOI
17:00 - 18:15
Session 4
ICFP Research Papers
at
Noh Theater
Chair(s):
Tom Schrijvers
KU Leuven
17:00
25m
Talk
Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
ICFP Research Papers
Kotaro Takeda
University of Tokyo, Japan
,
Naoki Kobayashi
University of Tokyo, Japan
,
Kazuya Yaguchi
Tohoku University, Japan
,
Ayumi Shinohara
Tohoku University, Japan
DOI
17:25
25m
Talk
Queueing and Glueing for Optimal Partitioning (Functional Pearl)
ICFP Research Papers
Shin-Cheng Mu
Academia Sinica, Taiwan
,
Yu-Hsi Chiang
National Taiwan University, Taiwan
,
Yu-Han Lyu
Dartmouth College, USA
DOI
17:50
25m
Talk
All Sorts of Permutations (Functional Pearl)
ICFP Research Papers
Jan Christiansen
Flensburg University of Applied Sciences, Germany
,
Nikita Danilenko
University of Kiel, Germany
,
Sandra Dylus
University of Kiel, Germany
DOI
Tue 20 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Keynote 2
ICFP Keynote Talks
at
Noh Theater
Chair(s):
Gabriele Keller
University of New South Wales
09:15
60m
Talk
Journey to Find Bugs in JavaScript Web Applications in the Wild
ICFP Keynote Talks
Sukyoung Ryu
KAIST
10:35 - 12:15
Session 5
ICFP Research Papers
at
Noh Theater
Chair(s):
Robert Bruce Findler
Northwestern University
10:35
25m
Talk
A Glimpse of Hopjs
ICFP Research Papers
Manuel Serrano
Inria, France
,
Vincent Prunet
Inria, France
DOI
11:00
25m
Talk
Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
ICFP Research Papers
Ilya Sergey
University 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
ICFP Research Papers
Kento Emoto
Kyushu Institute of Technology, Japan
,
Kiminori Matsuzaki
Kochi University of Technology, Japan
,
Zhenjiang Hu
National Institute of Informatics, Japan
,
Akimasa Morihata
University of Tokyo, Japan
,
Hideya Iwasaki
University of Electro-Communications, Japan
DOI
11:50
25m
Talk
Datafun: A Functional Datalog
ICFP Research Papers
Michael Arntzenius
University of Birmingham, UK
,
Neel Krishnaswami
University of Birmingham, UK
DOI
13:30 - 14:45
Session 6
ICFP Research Papers
at
Noh Theater
Chair(s):
Johan Jeuring
Utrecht University
13:30
25m
Talk
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
ICFP Research Papers
Eric Seidel
University of California at San Diego, USA
,
Ranjit Jhala
University of California at San Diego, USA
,
Westley Weimer
University of Virginia, USA
DOI
13:55
25m
Talk
Automatically Disproving Fair Termination of Higher-Order Functional Programs
ICFP Research Papers
Keiichi Watanabe
University of Tokyo, Japan
,
Ryosuke Sato
University of Tokyo, Japan
,
Takeshi Tsukada
University of Tokyo, Japan
,
Naoki Kobayashi
University of Tokyo, Japan
DOI
14:20
25m
Talk
Higher-Order Ghost State
ICFP Research Papers
Ralf Jung
MPI-SWS, Germany
,
Robbert Krebbers
Aarhus University, Denmark
,
Lars Birkedal
Aarhus University, Denmark
,
Derek Dreyer
MPI-SWS, Germany
DOI
15:05 - 16:20
Session 7
ICFP Research Papers
at
Noh Theater
Chair(s):
Andres Löh
Well-Typed LLP
15:05
25m
Talk
Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data
ICFP Research Papers
Jesper Cockx
iMinds, Belgium
,
Dominique Devriese
iMinds, Belgium
,
Frank Piessens
iMinds, Belgium
DOI
15:30
25m
Talk
Elaborator Reflection: Extending Idris in Idris
ICFP Research Papers
David Thrane Christiansen
Indiana University, USA
,
Edwin Brady
University of St. Andrews, UK
DOI
15:55
25m
Talk
Partial Type Equivalences for Verified Dependent Interoperability
ICFP Research Papers
Pierre-Evariste Dagand
UPMC, France
,
Nicolas Tabareau
Inria, France
,
Éric Tanter
University of Chile, Chile
DOI
16:50 - 17:40
Session 8
ICFP Research Papers
at
Noh Theater
Chair(s):
Scott Owens
University of Kent, UK
16:50
25m
Talk
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory
ICFP Research Papers
David Darais
University of Maryland, USA
,
David Van Horn
University of Maryland, USA
DOI
17:15
25m
Talk
An Abstract Memory Functor for Verified C Static Analyzers
ICFP Research Papers
Sandrine Blazy
University of Rennes 1, France
,
Vincent Laporte
IMDEA Software Institute, Spain
,
David Pichardie
ENS Rennes, France
DOI
17:40 - 18:10
ICFP Program Chair Report and Contest Presentation
ICFP Reports
at
Noh Theater
17:40
10m
Other
Program Chair Report (Eijiro Sumii)
ICFP Reports
17:50
20m
Awards
Programming Contest Presentation (Keisuke Nakano)
ICFP Reports
Wed 21 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Keynote 3
ICFP Keynote Talks
at
Noh Theater
Chair(s):
Jacques Garrigue
Nagoya University
09:15
60m
Talk
A Functional Programmer's Guide to Homotopy Type Theory
ICFP Keynote Talks
Daniel R. Licata
Wesleyan University
10:35 - 12:15
Session 9
ICFP Research Papers
at
Noh Theater
Chair(s):
Sam Lindley
University of Edinburgh, UK
10:35
25m
Talk
Ghostbuster: A Tool for Simplifying and Converting GADTs
ICFP Research Papers
Trevor L. McDonell
Indiana University, USA
,
Timothy A. K. Zakian
Oxford University, UK
,
Matteo Cimini
Indiana University, USA
,
Ryan R. Newton
Indiana University, USA
DOI
11:00
25m
Talk
Indexed Codata Types
ICFP Research Papers
David Thibodeau
McGill University, Canada
,
Andrew Cave
McGill University, Canada
,
Brigitte Pientka
McGill University, Canada
DOI
11:25
25m
Talk
Disjoint Intersection Types
ICFP Research Papers
Bruno C. d. S. Oliveira
University of Hong Kong, China
,
Zhiyuan Shi
University of Hong Kong, China
,
João Alpuim
University of Hong Kong, China
DOI
11:50
25m
Talk
Set-Theoretic Types for Polymorphic Variants
ICFP Research Papers
Giuseppe Castagna
Paris Diderot University & CNRS
,
Tommaso Petrucciani
University of Genoa, France
,
Kim Nguyễn
University of Paris-Sud, France
DOI
13:30 - 14:45
Session 10
ICFP Research Papers
at
Noh Theater
Chair(s):
John Reppy
University of Chicago
13:30
25m
Talk
Hierarchical Memory Management for Parallel Programs
ICFP Research Papers
Ram Raghunathan
Carnegie Mellon University, USA
,
Stefan K. Muller
Carnegie Mellon University, USA
,
Umut A. Acar
Carnegie Mellon University
,
Guy Blelloch
Carnegie Mellon University, USA
DOI
13:55
25m
Talk
Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis
ICFP Research Papers
Thomas Gilray
University of Utah, USA
,
Michael D. Adams
University of Utah, USA
,
Matthew Might
University of Utah, USA
DOI
14:20
25m
Talk
A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors
ICFP Research Papers
Katsuhiro Ueno
Tohoku University, Japan
,
Atsushi Ohori
Tohoku University, Japan
DOI
15:05 - 16:20
Session 11
ICFP Research Papers
at
Noh Theater
Chair(s):
Alejandro Russo
Chalmers University of Technology
15:05
25m
Talk
Talking Bananas: Structural Recursion for Session Types
ICFP Research Papers
Sam Lindley
University of Edinburgh, UK
,
J. Garrett Morris
University of Edinburgh, UK
DOI
15:30
25m
Talk
The Best of Both Worlds: Linear Functional Programming without Compromise
ICFP Research Papers
J. Garrett Morris
University of Edinburgh, UK
DOI
15:55
25m
Talk
Context-Free Session Types
ICFP Research Papers
Peter Thiemann
University of Freiburg, Germany
,
Vasco T. Vasconcelos
INESC-ID / Instituto Superior Técnico, Universidade de Lisboa
DOI
16:50 - 17:40
Session 12
ICFP Research Papers
at
Noh Theater
Chair(s):
Jeremy Gibbons
University of Oxford, UK
16:50
25m
Talk
Combining Effects and Coeffects via Grading
ICFP Research Papers
Marco Gaboardi
SUNY Buffalo, USA
,
Shin-ya Katsumata
Kyoto University, Japan
,
Dominic Orchard
University of Cambridge, UK
,
Flavien Breuvart
Inria, France
,
Tarmo Uustalu
Tallinn University of Technology, Estonia
DOI
17:15
25m
Talk
String Diagrams for Free Monads (Functional Pearl)
ICFP Research Papers
Maciej Piróg
KU Leuven, Belgium
,
Nicolas Wu
University of Bristol, UK
DOI
17:40 - 18:10
SRC Awards and Closing
ICFP Reports
at
Noh Theater
17:40
15m
Awards
SRC Awards (David Van Horn)
ICFP Reports
17:55
15m
Day closing
ICFP 2016 Closing / ICFP 2017 Presentation
ICFP Reports
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Testing
Haskell
at
Noh Theater
Chair(s):
Stephanie Weirich
University of Pennsylvania
09:15
10m
Day opening
Welcome
Haskell
09:25
25m
Talk
FitSpec: Refining Property Sets for Functional Testing
Haskell
Rudy Braquehais
,
Colin Runciman
DOI
09:50
25m
Talk
QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Haskell
Gustavo Grieco
,
Martín Ceresa
,
Pablo Buiras
Chalmers University of Technology
DOI
10:35 - 11:25
FRP
Haskell
at
Noh Theater
Chair(s):
David Terei
Stanford
10:35
25m
Talk
Causal Commutative Arrows Revisited
Haskell
Jeremy Yallop
University of Cambridge, UK
,
Hai Liu
Intel Labs
DOI
11:00
25m
Talk
Functional Reactive Programming, Refactored
Haskell
Ivan Perez
University of Nottingham
,
Manuel Bärenz
,
Henrik Nilsson
DOI
11:45 - 12:35
Functors
Haskell
at
Noh Theater
Chair(s):
Zhenjiang Hu
National Institute of Informatics, Japan
11:45
25m
Talk
Free Delivery (Functional Pearl)
Haskell
Jeremy Gibbons
University of Oxford, UK
DOI
12:10
25m
Talk
How to Twist Pointers without Breaking Them
Haskell
Satvik Chauhan
,
Piyush Kurur
,
Brent Yorgey
Hendrix College
DOI
14:00 - 14:50
Web Technology
Haskell
at
Noh Theater
Chair(s):
Iavor Diatchki
Galois, Inc.
14:00
25m
Talk
High-Performance Client-Side Web Applications through Haskell EDSLs
Haskell
Anton Ekblad
DOI
14:25
25m
Talk
Experience Report: Developing High Performance HTTP/2 Server in Haskell
Haskell
Kazuhiko Yamamoto
DOI
15:20 - 16:10
Language Features
Haskell
at
Noh Theater
Chair(s):
Niki Vazou
UC San Diego
15:20
25m
Talk
Pattern Synonyms
Haskell
Matthew Pickering
,
Gergo Erdi
,
Simon Peyton Jones
Microsoft Research, UK
,
Richard A. Eisenberg
Bryn Mawr College
DOI
15:45
25m
Talk
Desugaring Haskell's do-Notation into Applicative Operations
Haskell
Simon Marlow
Facebook
,
Simon Peyton Jones
Microsoft Research, UK
,
Edward Kmett
,
Andrey Mokhov
DOI
16:40 - 18:00
Lightning Talks
Haskell
at
Noh Theater
Chair(s):
Geoffrey Mainland
Drexel University
16:40
80m
Talk
Lightning Talks
Haskell
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. Eisenberg
Bryn Mawr College
09:25
25m
Talk
Revisiting Software Transactional Memory in Haskell
Haskell
Matthew Le
,
Ryan Yates
,
Matthew Fluet
Rochester Institute of Technology
DOI
09:50
25m
Talk
Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Haskell
Yisu Remy Wang
Tufts University
,
Diogenes Nunez
,
Kathleen Fisher
Tufts University
DOI
10:35 - 11:25
Types
Haskell
at
Noh Theater
Chair(s):
David Duke
University of Leeds
10:35
25m
Talk
Experience Report: Types for a Relational Algebra Library
Haskell
Marten Agren
,
Lennart Augustsson
DOI
11:00
25m
Talk
Embedding Session Types in Haskell
Haskell
Sam Lindley
University of Edinburgh, UK
,
J. Garrett Morris
University of Edinburgh, UK
DOI
11:45 - 12:35
PC Chair Report and State of Haskell
Haskell
at
Noh Theater
11:45
50m
Talk
PC Chair Report and State of Haskell
Haskell
14:00 - 14:50
Monads
Haskell
at
Noh Theater
Chair(s):
Yukiyoshi Kameyama
University of Tsukuba
14:00
25m
Talk
The Key Monad: Type-Safe Unconstrained Dynamic Typing
Haskell
Pablo Buiras
Chalmers University of Technology
,
Koen Claessen
Chalmers University of Technology
,
Atze van der Ploeg
DOI
14:25
25m
Talk
Supermonads: One Notion to Bind Them All
Haskell
Jan Bracker
,
Henrik Nilsson
DOI
15:20 - 16:10
Abstractions that Scale
Haskell
at
Noh Theater
Chair(s):
Geoffrey Mainland
Drexel University
15:20
25m
Talk
Non-recursive Make Considered Harmful: Build Systems at Scale
Haskell
Andrey Mokhov
,
Neil Mitchell
,
Simon Peyton Jones
Microsoft Research, UK
,
Simon Marlow
Facebook
DOI
15:45
25m
Talk
Lazy Graph Processing in Haskell
Haskell
Philip Dexter
,
Yu David Liu
,
Kenneth Chiu
DOI
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Keynote
CUFP
at
Noh Theater
09:15
5m
Day opening
Opening remarks
CUFP
Katie Ots
Facebook
,
Alex Lang
Tsuru Capital
09:20
55m
Talk
Keynote
CUFP
Yaron Minsky
Jane Street
Media Attached
10:35 - 11:25
Talks 1
CUFP
at
Noh Theater
10:35
25m
Talk
Immutable Infrastructure Deployment with Haskell
CUFP
Nick Hibberd
Ambiata
Media Attached
11:00
25m
Talk
Developing a fast and durable pub/sub message bus
CUFP
Will Sewell
Media Attached
11:45 - 12:35
Talks 2
CUFP
at
Noh Theater
11:45
25m
Talk
Chaos testing with F# and Azure
CUFP
Rachel Reese
Jet.com
Media Attached
12:10
25m
Talk
Building a web application with continuation monads
CUFP
Seitaro Yuki
Dwango
Media Attached
14:00 - 14:50
Talks 3
CUFP
at
Noh Theater
14:00
25m
Talk
Creating an approachable Haskell-like DSL
CUFP
Jasper Van der Jeugt
Fugue
Media Attached
14:25
25m
Talk
The Highs and Lows of Optimising DSLs
CUFP
Jacob Stanley
Ambiata
Media Attached
15:20 - 16:10
Talks 4
CUFP
at
Noh Theater
15:20
25m
Talk
Composable Caching in Swift
CUFP
Brandon Kase
Pinterest
Media Attached
15:45
25m
Talk
Guix: Scheme as a uniform OS admin and deployment interface
CUFP
Ludovic Courtès
INRIA
Media Attached
16:40 - 18:00
Talks 5
CUFP
at
Noh Theater
16:40
25m
Talk
Baby steps to unikernels in production
CUFP
Sean Grove
Media Attached
17:05
50m
Talk
Hope is a Monad
CUFP
Michael Sperber
Active Group GmbH
Media Attached
17:55
5m
Day closing
Closing remarks
CUFP
Katie Ots
Facebook
,
Alex Lang
Tsuru Capital
Mon 19 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Noh Theater
ICFP Keynote Talks
Keynote 1
ICFP Research Papers
Session 1
ICFP Research Papers
Session 2
ICFP Research Papers
Session 3
ICFP Research Papers
Session 4
Tue 20 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Noh Theater
ICFP Keynote Talks
Keynote 2
ICFP Research Papers
Session 5
ICFP Research Papers
Session 6
ICFP Research Papers
Session 7
ICFP Research Papers
Session 8
ICFP Reports
ICFP Program Chair Report and Contest Presentation
Wed 21 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Noh Theater
ICFP Keynote Talks
Keynote 3
ICFP Research Papers
Session 9
ICFP Research Papers
Session 10
ICFP Research Papers
Session 11
ICFP Research Papers
Session 12
ICFP Reports
SRC Awards and Closing
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Noh Theater
Haskell
Testing
Haskell
FRP
Haskell
Functors
Haskell
Web Technology
Haskell
Language Features
Haskell
Lightning Talks
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Noh Theater
Haskell
Strictness and STM
Haskell
Types
Haskell
PC Chair Report and State of Haskell
Haskell
Monads
Haskell
Abstractions that Scale
Haskell
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Noh Theater
CUFP
Keynote
CUFP
Talks 1
CUFP
Talks 2
CUFP
Talks 3
CUFP
Talks 4
CUFP
Talks 5
Mon 19 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Noh Theater
ICFP Keynote Talks
TensorFlow: Learning Functions at Scale
09:15 - 10:15
ICFP Research Papers
Farms, Pipes, Streams and Reforestation: Reasoning about Structured Par ...
10:45 - 11:10
ICFP Research Papers
Dag-Calculus: A Calculus for Parallel Computation
11:10 - 11:35
ICFP Research Papers
A Lambda-Calculus Foundation for Universal Probabilistic Programming
11:35 - 12:00
ICFP Research Papers
Deriving a Probability Density Calculator (Functional Pearl)
12:00 - 12:25
ICFP Research Papers
A New Verified Compiler Backend for CakeML
13:40 - 14:05
ICFP Research Papers
Sequent Calculus as a Compiler Intermediate Language
14:05 - 14:30
ICFP Research Papers
Refinement through Restraint: Bringing Down the Cost of Verification
14:30 - 14:55
ICFP Research Papers
Fully Abstract Compilation via Universal Embedding
15:15 - 15:40
ICFP Research Papers
Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
15:40 - 16:05
ICFP Research Papers
A Type Theory for Incremental Computational Complexity with Control Flo ...
16:05 - 16:30
ICFP Research Papers
Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
17:00 - 17:25
ICFP Research Papers
Queueing and Glueing for Optimal Partitioning (Functional Pearl)
17:25 - 17:50
ICFP Research Papers
All Sorts of Permutations (Functional Pearl)
17:50 - 18:15
Tue 20 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Noh Theater
ICFP Keynote Talks
Journey to Find Bugs in JavaScript Web Applications in the Wild
09:15 - 10:15
ICFP Research Papers
A Glimpse of Hopjs
10:35 - 11:00
ICFP Research Papers
Experience Report: Growing and Shrinking Polygons for Random Testing of ...
11:00 - 11:25
ICFP Research Papers
Think Like a Vertex, Behave Like a Function! A Functional DSL for Verte ...
11:25 - 11:50
ICFP Research Papers
Datafun: A Functional Datalog
11:50 - 12:15
ICFP Research Papers
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usuall ...
13:30 - 13:55
ICFP Research Papers
Automatically Disproving Fair Termination of Higher-Order Functional Pr ...
13:55 - 14:20
ICFP Research Papers
Higher-Order Ghost State
14:20 - 14:45
ICFP Research Papers
Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typ ...
15:05 - 15:30
ICFP Research Papers
Elaborator Reflection: Extending Idris in Idris
15:30 - 15:55
ICFP Research Papers
Partial Type Equivalences for Verified Dependent Interoperability
15:55 - 16:20
ICFP Research Papers
Constructive Galois Connections: Taming the Galois Connection Framework ...
16:50 - 17:15
ICFP Research Papers
An Abstract Memory Functor for Verified C Static Analyzers
17:15 - 17:40
ICFP Reports
Program Chair Report (Eijiro Sumii)
17:40 - 17:50
ICFP Reports
Programming Contest Presentation (Keisuke Nakano)
17:50 - 18:10
Wed 21 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Noh Theater
ICFP Keynote Talks
A Functional Programmer's Guide to Homotopy Type Theory
09:15 - 10:15
ICFP Research Papers
Ghostbuster: A Tool for Simplifying and Converting GADTs
10:35 - 11:00
ICFP Research Papers
Indexed Codata Types
11:00 - 11:25
ICFP Research Papers
Disjoint Intersection Types
11:25 - 11:50
ICFP Research Papers
Set-Theoretic Types for Polymorphic Variants
11:50 - 12:15
ICFP Research Papers
Hierarchical Memory Management for Parallel Programs
13:30 - 13:55
ICFP Research Papers
Allocation Characterizes Polyvariance: A Unified Methodology for Polyva ...
13:55 - 14:20
ICFP Research Papers
A Fully Concurrent Garbage Collector for Functional Programs on Multico ...
14:20 - 14:45
ICFP Research Papers
Talking Bananas: Structural Recursion for Session Types
15:05 - 15:30
ICFP Research Papers
The Best of Both Worlds: Linear Functional Programming without Compromise
15:30 - 15:55
ICFP Research Papers
Context-Free Session Types
15:55 - 16:20
ICFP Research Papers
Combining Effects and Coeffects via Grading
16:50 - 17:15
ICFP Research Papers
String Diagrams for Free Monads (Functional Pearl)
17:15 - 17:40
ICFP Reports
SRC Awards (David Van Horn)
17:40 - 17:55
ICFP Reports
ICFP 2016 Closing / ICFP 2017 Presentation
17:55 - 18:10
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Noh Theater
Haskell
Welcome
09:15 - 09:25
Haskell
FitSpec: Refining Property Sets for Functional Testing
09:25 - 09:50
Haskell
QuickFuzz: An Automatic Random Fuzzer for Common File Formats
09:50 - 10:15
Haskell
Causal Commutative Arrows Revisited
10:35 - 11:00
Haskell
Functional Reactive Programming, Refactored
11:00 - 11:25
Haskell
Free Delivery (Functional Pearl)
11:45 - 12:10
Haskell
How to Twist Pointers without Breaking Them
12:10 - 12:35
Haskell
High-Performance Client-Side Web Applications through Haskell EDSLs
14:00 - 14:25
Haskell
Experience Report: Developing High Performance HTTP/2 Server in Haskell
14:25 - 14:50
Haskell
Pattern Synonyms
15:20 - 15:45
Haskell
Desugaring Haskell's do-Notation into Applicative Operations
15:45 - 16:10
Haskell
Lightning Talks
16:40 - 18:00
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Noh Theater
Haskell
Revisiting Software Transactional Memory in Haskell
09:25 - 09:50
Haskell
Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
09:50 - 10:15
Haskell
Experience Report: Types for a Relational Algebra Library
10:35 - 11:00
Haskell
Embedding Session Types in Haskell
11:00 - 11:25
Haskell
PC Chair Report and State of Haskell
11:45 - 12:35
Haskell
The Key Monad: Type-Safe Unconstrained Dynamic Typing
14:00 - 14:25
Haskell
Supermonads: One Notion to Bind Them All
14:25 - 14:50
Haskell
Non-recursive Make Considered Harmful: Build Systems at Scale
15:20 - 15:45
Haskell
Lazy Graph Processing in Haskell
15:45 - 16:10
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Noh Theater
CUFP
Opening remarks
09:15 - 09:20
CUFP
Keynote
09:20 - 10:15
CUFP
Immutable Infrastructure Deployment with Haskell
10:35 - 11:00
CUFP
Developing a fast and durable pub/sub message bus
11:00 - 11:25
CUFP
Chaos testing with F# and Azure
11:45 - 12:10
CUFP
Building a web application with continuation monads
12:10 - 12:35
CUFP
Creating an approachable Haskell-like DSL
14:00 - 14:25
CUFP
The Highs and Lows of Optimising DSLs
14:25 - 14:50
CUFP
Composable Caching in Swift
15:20 - 15:45
CUFP
Guix: Scheme as a uniform OS admin and deployment interface
15:45 - 16:10
CUFP
Baby steps to unikernels in production
16:40 - 17:05
CUFP
Hope is a Monad
17:05 - 17:55
CUFP
Closing remarks
17:55 - 18:00
x
Fri 26 Apr 00:24