Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 13:53 - 14:16 at Elk - Compilers Chair(s): Jose Calderon

Gibbon is a compiler for a small subset of Haskell. Gibbon transforms recursive, pure functions to operate efficiently on dense, mostly-serialized data representations. Previous performance-focused, non-GHC Haskell implementations emphasized numerical computing with arrays or eliminating overhead from control constructs. Gibbon instead focuses on data representations for recursive sum types and functions on them. Tree traversals in Gibbon are usually an order of magnitude faster than GHC. Gibbon values also can be processed directly from disk, much like GHC’s Compact Normal Form, but more compact, offering a 3.2$\times$ geomean speedup over CNF across our benchmark suite.

In this talk, we’ll summarize the work on Gibbon thus far (PLDI19, ECOOP17), and ongoing development. The Gibbon project’s eventual goal is to integrate with GHC: to compile a subset of your Haskell program through Gibbon, while seamlessly calling that accelerated code from regular GHC programs utilizing the full library ecosystem.

Conference Day
Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
CompilersHIW at Elk
Chair(s): Jose CalderonGalois, Inc.
13:30
23m
Talk
Status Update on the Helium for Haskell compiler
HIW
Jurriaan HageUtrecht University, Netherlands
13:53
23m
Talk
The Gibbon Compiler: Accelerating a small subset of Haskell
HIW
Ryan R. NewtonIndiana University, Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University
14:16
24m
Talk
Copilot 3.0: a Haskell runtime verification framework for UAVs
HIW
Frank DeddenRoyal Netherlands Aerospace Center, Alwyn GoodloeNASA Langley Research Center, Ivan PerezNIA / NASA Formal Methods
14:40
20m
Talk
Lightning talks Slot #2
HIW