HaskellImplementorsWorkshop/2016
The Haskell implementors' workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, generally for people involved in implementing Haskell technology, to share their work and discuss future directions and collaborations with others.
In 2016, the Haskell Implementors Workshop will be co-located with ICFP 2016 in Nara.
The workshop does not have proceedings. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. The workshop will be informal and interactive, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks.
Traditionally, HIW is an open forum for people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas.
Links
Program Committee
- Joachim Breitner (Karlsruhe Institut für Technologie)
- Duncan Coutts (Well Typed)
- Michael Snoyman (FP Complete)
- Luite Stegeman (ghcjs)
- Niki Vazou (UCSD)
- Stephanie Weirich (University of Pennsylvania)
- Edward Z. Yang - chair (Stanford University)
Accepted Talks
- A Dependent Haskell Triptych (Richard A. Eisenberg)
- Automatically Escaping Monads (Ben Lippmeier)
- Backpack to Work: Towards Backpack in Practice (Edward Z. Yang)
- Contributing to GHC (Ben Gamari)
- GHC Determinism (Bartosz Nitka)
- GHCVM - A JVM Backend for GHC (Rahul Muttineni)
- More powerful GHC Plugins (Moritz Angermann)
- Pita: Tools for making GHC fast again (Ben Gamari)
- Remote GHCi (Simon Marlow)
- State of GHC (Simon Peyton Jones)
- Trees That Grow (Shayan Najd, Simon Peyton Jones, Jacques Carette)
We also pre-accepted three lightning talks:
- Functional Lattice Crypto (Eric Crockett, Chris Peikert)
- Inductive Tuples (Lennart Augustsson)
- LLVM Bitcode (Moritz Angermann)
Detailed program coming soon.
Important Dates
Tentative timeline:
- June: Call for Talks
- Monday, 8 August, 2016: Talk Proposal Deadline
- Monday, 22 August, 2016 Notification
- Saturday, September 24, 2016: Workshop