Program - ICFP 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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 programSpecify 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

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

09:00 - 10:00	KeynoteHIW at Elk

09:00 60m Talk		Haskell Use and Abuse at Scale HIW Satnam Singh Google Research, Lennart Augustsson

10:30 - 12:00	MetadataHIW at Elk Chair(s): Ningning Xie The University of Hong Kong

10:30 23m Talk		Configuration, but without CPP HIW Matthew Pickering University of Bristol, John Ericson Obsidian Systems
10:53 23m Talk		HIE files in GHC 8.8 HIW Zubin Duggal , Matthew Pickering University of Bristol
11:16 24m Talk		Tagging Tags: Inferring the presence of pointer tags at compile time. HIW Andreas Klebinger , Jose Calderon Galois, Inc.
11:40 20m Talk		Lightning talks Slot #1 HIW

13:30 - 15:00	CompilersHIW at Elk Chair(s): Jose Calderon Galois, Inc.

13:30 23m Talk		Status Update on the Helium for Haskell compiler HIW Jurriaan Hage Utrecht University, Netherlands
13:53 23m Talk		The Gibbon Compiler: Accelerating a small subset of Haskell HIW Ryan R. Newton Indiana University, Michael Vollmer Indiana University, USA, Chaitanya Koparkar Indiana University
14:16 24m Talk		Copilot 3.0: a Haskell runtime verification framework for UAVs HIW Frank Dedden Royal Netherlands Aerospace Center, Alwyn Goodloe NASA Langley Research Center, Ivan Perez NIA / NASA Formal Methods
14:40 20m Talk		Lightning talks Slot #2 HIW

15:20 - 16:30	GHCHIW at Elk Chair(s): Brent Yorgey Hendrix College

15:20 23m Talk		HoleFitPlugins and the future of interactive development in GHC HIW Matthías Páll Gissurarson Chalmers University of Technology, Sweden
15:43 23m Talk		Explicit Dictionary Applications - From Theory to Practice? HIW Dominique Devriese Vrije Universiteit Brussel File Attached
16:06 23m Talk		Visible dependent quantification HIW Ryan Scott Indiana University at Bloomington, USA File Attached

16:50 - 18:00	CommunityHIW at Elk

16:50 2m Day closing		HiW'19 report HIW Niki Vazou IMDEA Software Institute
16:52 23m Talk		GHC status report HIW Simon Peyton Jones Microsoft, UK
17:15 45m Other		Panel Discussion HIW

HIW 2019 Program

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

Tracks

Workshops

Co-hosted Symposia

HIW 2019 Program

Switch Program View

Program Display Configuration

Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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