ICFP 2017 (series) / HIW 2017 (series) /
HIW 2017 Program
This is the HIW 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 9 SepDisplayed time zone: Belfast change
Sat 9 Sep
Displayed time zone: Belfast change
09:00 - 10:10 | |||
09:00 30mTalk | Progress on GHC HIW Simon Peyton Jones Microsoft Research, Cambridge | ||
09:30 30mTalk | GHC Infrastructure Update and Discussion HIW Ben Gamari Well-Typed LLP | ||
10:00 10mTalk | Getting Ready for Hadrian HIW |
10:30 - 11:30 | |||
10:30 25mTalk | Native Support for Explicit Stacks in LLVM HIW | ||
10:55 25mTalk | SimplexHC: Lowering High-Level Haskell to Imperative IR HIW Siddharth Bhat IIT Hyderabad | ||
11:20 10mTalk | Lightning Talk Slot #1 HIW |
12:00 - 12:25 | |||
12:00 25mTalk | On Unsatisfiability HIW J. Garrett Morris University of Kansas, USA |
14:00 - 15:00 | |||
14:00 25mTalk | Why GHC Core and Linear Logic Should be Best Friends HIW | ||
14:25 25mTalk | Demand Analysis vs. Call Arity HIW Sebastian Graf Karlsruhe Institute of Technology | ||
14:50 10mTalk | Lightning Talk Slot #2 HIW |
15:30 - 16:30 | |||
15:30 25mTalk | IDE Support in GHC HIW | ||
15:55 25mTalk | Tracking GHC Performance HIW | ||
16:20 10mTalk | Lightning Talk Slot #3 HIW |
16:50 - 17:50 | |||
16:50 25mTalk | An Experiment in Fragment-Based Code Distribution HIW Philipp Schuster University of Tübingen | ||
17:15 35mTalk | Lightning Talk Slot #4 HIW |