Program - ICFP 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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

Sat 9 Sep
Displayed time zone: Belfast change

09:00 - 10:10	State of GHCHIW at L1 Chair(s): Richard A. Eisenberg Bryn Mawr College, USA

09:00 30m Talk		Progress on GHC HIW Simon Peyton Jones Microsoft Research, Cambridge
09:30 30m Talk		GHC Infrastructure Update and Discussion HIW Ben Gamari Well-Typed LLP
10:00 10m Talk		Getting Ready for Hadrian HIW Andrey Mokhov , Zhen Zhang University of Washington, Ben Gamari Well-Typed LLP, Neil Mitchell

10:30 - 11:30	Compiling to LLVMHIW at L1 Chair(s): Jan Stolarek University of Edinburgh, UK

10:30 25m Talk		Native Support for Explicit Stacks in LLVM HIW Kavon Farvardin University of Chicago, Simon Peyton Jones Microsoft Research, Cambridge
10:55 25m Talk		SimplexHC: Lowering High-Level Haskell to Imperative IR HIW Siddharth Bhat IIT Hyderabad
11:20 10m Talk		Lightning Talk Slot #1 HIW

12:00 - 12:25	ConstraintsHIW at L1 Chair(s): Ben Gamari Well-Typed LLP

12:00 25m Talk		On Unsatisfiability HIW J. Garrett Morris University of Kansas, USA

14:00 - 15:00	Working in CoreHIW at L1 Chair(s): Adam Gundry Well-Typed LLP

14:00 25m Talk		Why GHC Core and Linear Logic Should be Best Friends HIW Carter Schonwald , Joel Burget
14:25 25m Talk		Demand Analysis vs. Call Arity HIW Sebastian Graf Karlsruhe Institute of Technology
14:50 10m Talk		Lightning Talk Slot #2 HIW

15:30 - 16:30	Tool SupportHIW at L1 Chair(s): Wren Romano X

15:30 25m Talk		IDE Support in GHC HIW Alan Zimmerman
15:55 25m Talk		Tracking GHC Performance HIW Mathieu Boespflug Tweag I/O, Manuel Chakravarty
16:20 10m Talk		Lightning Talk Slot #3 HIW

16:50 - 17:50	All Broken UpHIW at L1 Chair(s): Bartosz Nitka Facebook

16:50 25m Talk		An Experiment in Fragment-Based Code Distribution HIW Philipp Schuster University of Tübingen
17:15 35m Talk		Lightning Talk Slot #4 HIW

HIW 2017 Program

Sat 9 Sep
Displayed time zone: Belfast change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

HIW 2017 Program

Switch Program View

Program Display Configuration

Sat 9 SepDisplayed time zone: Belfast change

Get Calendar (iCal)

Sat 9 Sep
Displayed time zone: Belfast change