Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameNoh Theater
Floor1
Capacity500
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

Mon 19 Sep
Times are displayed in 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

Tue 20 Sep
Times are displayed in 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

Wed 21 Sep
Times are displayed in 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

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

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
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: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
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 - 18:00
Lightning TalksHaskell at Noh Theater
Chair(s): Geoffrey MainlandDrexel University
16:40
80m
Talk
Lightning Talks
Haskell

Fri 23 Sep
Times are displayed in 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
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
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

Mon 19 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Tue 20 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Wed 21 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Noh Theater

Tue 20 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change