ICFP Index

Written by Gemma Gordon, Anil Madhavapeddy, Gabriel Scherer ()

Click this for a summary of the talks and their times

TensorFlow: Learning functions at Scale

Written by your-uid-here (your-name-here) ()

Monday 19th 0915-1015 AM (ICFP 2016)

ICFP 2016: Farms, pipes, streams and reforestation: Reasoning about structured parallel processes using types and hylomorphisms

Written by yomimono ()

Monday 19th 1045-1110 AM (ICFP 2016)

Dag-Calculus: A calculus for parallel computation

Written by your-uid-here (your-name-here) ()

Monday 19th 1110-1135 AM (ICFP 2016)

A Lambda-Calculus foundation for universal probabilistic programming

Written by your-uid-here (your-name-here) ()

Monday 19th 1135-1200 AM (ICFP 2016)

Deriving a probability density calculator (Functional Pearl)

Written by your-uid-here (your-name-here) ()

Monday 19th 1200-1225 AM (ICFP 2016)

A new verified compiler backend for CakeML

Written by OlivierNicole (Olivier Nicole) ()

Monday 19th 1340-1405 PM (ICFP 2016)

Sequent calculus as a compiler intermediate language

Written by OlivierNicole (Olivier Nicole) ()

Monday 19th 1405-1430 PM (ICFP 2016)

Refinement through restraint: Bringing down the cost of verification

Written by your-uid-here (your-name-here) ()

Monday 19th 1430-1455 PM (ICFP 2016)

Fully abstract compilation via universal embedding

Written by your-uid-here (your-name-here) ()

Monday 19th 1515-1540 PM (ICFP 2016)

Oh Lord, please don't let contracts be misunderstood (Functional Pearl)

Written by your-uid-here (your-name-here) ()

Monday 19th 1540-1605 PM (ICFP 2016)

A type theory for incremental computational complexity with control flow changes

Written by your-uid-here (your-name-here) ()

Monday 19th 1605-1630 PM (ICFP 2016)

Compact bit encoding schemes for simply-typed lambda-terms

Written by ciaran16 (Ciaran Lawlor) ()

Monday 19th 1700-1725 PM (ICFP 2016)

Queuing and glueing for optimal partitioning (Functional Pearl)

Written by your-uid-here (your-name-here) ()

Monday 19th 1725-1750 PM (ICFP 2016)

All sorts of permutations (Functional Pearl)

Written by ciaran16 (Ciaran Lawlor) ()

Monday 19th 1750-1815 PM (ICFP 2016)

Journey to find bugs in JavaScript web applications in the wild

Written by your-uid-here (your-name-here) ()

Tuesday 20th 0915-1015 AM (ICFP 2016)

A glimpse of Hopjs

Written by ciaran16 (Ciaran Lawlor) ()

Tuesday 20th 1035-1100 AM (ICFP 2016)

Experience report: Growing and shrinking polygons for random testing of computational geometry algorithms

Written by your-uid-here (your-name-here) ()

Tuesday 20th 1100-1125 AM (ICFP 2016)

Think like a vertex, behave like a function! A functional DSL for vertex-centric big graph processing

Written by OlivierNicole (Olivier Nicole), ciaran16 (Ciaran Lawlor) ()

Tuesday 20th 1125-1150 AM (ICFP 2016)

Datafun: A functional datalog

Written by OlivierNicole (Olivier Nicole) ()

Tuesday 20th 1150-1215 AM (ICFP 2016)

Dynamic witnesses for static type errors (or ill-typed programs usually go wrong)

Written by OlivierNicole (Olivier Nicole), yomimono (Mindy Preston) ()

Tuesday 20th 1330-1355 PM (ICFP 2016)

Automatically disproving fair termination of higher-order functional programs

Written by OlivierNicole (Olivier Nicole) ()

Tuesday 20th 1355-1420 PM (ICFP 2016)

Higher-order ghost state

Written by yomimono (Mindy Preston) ()

Tuesday 20th 1420-1445 PM (ICFP 2016)

Unifiers as equivalences: proof relevant unification of dependently typed data

Written by ciaran16 (Ciaran Lawlor) ()

Tuesday 20th 1505-1620 PM (ICFP 2016)

Elaborator reflection: extending Idris in Idris

Written by OlivierNicole (Olivier Nicole) ()

Tuesday 20th 1530-1555 PM (ICFP 2016)

Partial type equivalences for verified dependent interoperability

Written by ciaran16 (Ciaran Lawlor) ()

Tuesday 20th 1555-1620 PM (ICFP 2016)

Constructive Galois connections: Taming the Galois connection framework for mechanized metatheory

Written by your-uid-here (your-name-here) ()

Tuesday 20th 1650-1715 PM (ICFP 2016)

An abstract memory functor for verified C static analyzers

Written by your-uid-here (your-name-here) ()

Tuesday 20th 1715-1740 PM (ICFP 2016)

Program Chair Report

Written by your-uid-here (your-name-here) ()

Tuesday 20th 1740-1750 PM (ICFP 2016)

Programming Contest Presentation

Written by your-uid-here (your-name-here) ()

Tuesday 20th 1750-1810 PM (ICFP 2016)

A functional programmer's guide to homotypy type theory

Written by OlivierNicole (Olivier Nicole), yomimono (Mindy Preston) ()

Wednesday 21st 0915-1015 AM (ICFP 2016)

Ghostbuster: A tool for simplifying and converting GADTs

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1035-1100 AM (ICFP 2016)

Indexed Codata Types

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1100-1125 AM (ICFP 2016)

Disjoint intersection types

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1125-1150 AM (ICFP 2016)

Set-theoretic types for polymorphic variants

Written by OlivierNicole (Olivier Nicole) ()

Wednesday 21st 1150-1215 AM (ICFP 2016)

Hierarchical memory management for parallel programs

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1330-1355 PM (ICFP 2016)

Allocation characterizes polyvariance: A unified methodology for polyvariant control-flow analysis

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1355-1420 PM (ICFP 2016)

A fully concurrent garbage collector for functional programs on multicore processors

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1420-1445 PM (ICFP 2016)

Talking bananas: Structural recursion for session types

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1505-1530 PM (ICFP 2016)

The best of both worlds: Linear functional programming without compromise

Written by OlivierNicole (Olivier Nicole) ()

Wednesday 21st 1530-1555 PM (ICFP 2016)

Context-free session types

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1555-1620 PM (ICFP 2016)

Combining effects and coeffects via grading

Written by ciaran16 (Ciaran Lawlor) ()

Wednesday 21st 1650-1715 PM (ICFP 2016)

String diagrams for free monads (Functional Pearl)

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1715-1740 PM (ICFP 2016)

SRC Awards

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1740-1755 PM (ICFP 2016)

ICFP Closing/Presentation

Written by your-uid-here (your-name-here) ()

Wednesday 21st 1755-1810 PM (ICFP 2016)