HaskellImplementorsWorkshop/2013: Difference between revisions
(Post schedule.) |
|||
| Line 15: | Line 15: | ||
== Programme == | == Programme == | ||
* GHC Status Update (Simon Peyton Jones) | 9:00-10:30 Session 1 | ||
* [[HaskellImplementorsWorkshop/2013/Bazerman|Haskell.org Committee and Infrastructure Status Update]] (Gershom Bazerman) | * '''GHC Status Update''' (Simon Peyton Jones) | ||
* [[HaskellImplementorsWorkshop/2013/Kmett|Introducing the Core Libraries Committee]] (Edward Kmett | * '''[[HaskellImplementorsWorkshop/2013/Bazerman|Haskell.org Committee and Infrastructure Status Update]]''' (Gershom Bazerman) | ||
* '''[[HaskellImplementorsWorkshop/2013/Kmett|Introducing the Core Libraries Committee]]''' (Edward Kmett) | |||
10:30-11:00: Coffee Break | |||
11:00-12:30 Session 2 | |||
* '''[[HaskellImplementorsWorkshop/2013/Eisenberg|GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day]]''' (Richard A. Eisenberg) | |||
* '''[[HaskellImplementorsWorkshop/2013/Yang|Resource Limits for Haskell]]''' ([http://ezyang.com Edward Z. Yang]) | |||
* '''[[HaskellImplementorsWorkshop/2013/Robinson|SpecConstr: optimising purely functional loops]]''' (Amos Robinson) | |||
12:30-14:00: Lunch | |||
14:00-15:30: Session 3 | |||
* '''[[HaskellImplementorsWorkshop/2013/Adams|Optimizing "Scrap Your Boilerplate" with HERMIT]]''' (Michael D. Adams, Andrew Farmer and José Pedro Magalhães) | |||
* '''[[HaskellImplementorsWorkshop/2013/Farmer|Prototyping GHC Optimizations with HERMIT]]''' (Andrew Farmer and Andy Gill) | |||
* '''[[HaskellImplementorsWorkshop/2013/Jones|Inhabiting Habit: An Introduction to the Habit Compiler]]''' (Mark Jones) | |||
15:30-16:00: Coffee Break | |||
16:00-17:00: Session 4 | |||
* '''[[HaskellImplementorsWorkshop/2013/Berthold|Run-time supported Haskell Serialisation - an API]]''' (Jost Berthold) | |||
* '''Lightning Talks''': Sign up at the beginning of the day. | |||
[[Category:Community]] | [[Category:Community]] | ||
Revision as of 06:00, 21 September 2013
The Haskell Implementors Workshop is an informal affair, aimed at bringing together people behind the Haskell infrastructure. It provides a forum where people working on compilers, tools, or libraries for Haskell development can bat around ideas, share experiences and ask for feedback from fellow experts. There are no proceedings, just a mixture of short talks, longer talks, discussion and demos.
The Haskell Implementors Workshop will run again this year, co-located with ICFP 2013 in Boston.
Links
Important Dates
- Tuesday 13th August: Talk Proposal Deadline (anywhere on earth)
- Tuesday 27th August: Notification
- Sunday 22th September: Workshop
Programme
9:00-10:30 Session 1
- GHC Status Update (Simon Peyton Jones)
- Haskell.org Committee and Infrastructure Status Update (Gershom Bazerman)
- Introducing the Core Libraries Committee (Edward Kmett)
10:30-11:00: Coffee Break
11:00-12:30 Session 2
- GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day (Richard A. Eisenberg)
- Resource Limits for Haskell (Edward Z. Yang)
- SpecConstr: optimising purely functional loops (Amos Robinson)
12:30-14:00: Lunch
14:00-15:30: Session 3
- Optimizing "Scrap Your Boilerplate" with HERMIT (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
- Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill)
- Inhabiting Habit: An Introduction to the Habit Compiler (Mark Jones)
15:30-16:00: Coffee Break
16:00-17:00: Session 4
- Run-time supported Haskell Serialisation - an API (Jost Berthold)
- Lightning Talks: Sign up at the beginning of the day.