Difference between revisions of "HaskellImplementorsWorkshop/2013"
Jump to navigation
Jump to search
| (7 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
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 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 |
+ | The Haskell Implementors Workshop 2013 was co-located with [http://www.icfpconference.org/icfp2013/ ICFP 2013] in Boston. |
== Links == |
== Links == |
||
| Line 15: | Line 15: | ||
== Programme == |
== Programme == |
||
| − | (Schedule to be determined) |
||
| + | 9:00-10:30 Session 1 |
||
| − | * GHC Status Update (Simon Peyton Jones) |
+ | * '''GHC Status Update''' (Simon Peyton Jones) |
| − | * [[HaskellImplementorsWorkshop/2013/Bazerman|Haskell.org Committee and Infrastructure Status Update]] (Gershom Bazerman) |
||
| − | * [[HaskellImplementorsWorkshop/2013/ |
+ | * '''[[HaskellImplementorsWorkshop/2013/Bazerman|Haskell.org Committee and Infrastructure Status Update]]''' (Gershom Bazerman) |
| − | * [[HaskellImplementorsWorkshop/2013/ |
+ | * '''[[HaskellImplementorsWorkshop/2013/Kmett|Introducing the Core Libraries Committee]]''' (Edward Kmett) |
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| + | 10:30-11:00: Coffee Break |
||
| − | We'll also be having a lightning talks session. |
||
| + | |||
| + | 11:00-12:30 Session 2 |
||
| + | |||
| + | * '''[[HaskellImplementorsWorkshop/2013/Eisenberg|GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day]]''' (Richard A. Eisenberg) |
||
| ⚫ | |||
| ⚫ | |||
| + | |||
| + | 12:30-14:00: Lunch |
||
| + | |||
| + | 14:00-15:30: Session 3 |
||
| + | |||
| + | [Note -- the first two talks in this session have been switched from their order in the original schedule.] |
||
| + | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| + | |||
| + | 15:30-16:00: Coffee Break |
||
| + | |||
| + | 16:00-17:00: Session 4 |
||
| + | |||
| ⚫ | |||
| + | * '''Lightning Talks''': Sign up at the beginning of the day. |
||
| + | ** '''Using HTM to speed up STM''' (Ryan Yates) |
||
| + | ** '''Smten: Orchestrating SMT in Haskell''' (Richard Uhler) [http://www.cl.cam.ac.uk/research/security/ctsrd/smten.html (site)] |
||
| + | ** '''Hackage 2''' (Duncan Coutts) |
||
| + | ** '''Haskell-to-hardware via CCCs''' (Conal Elliott) |
||
[[Category:Community]] |
[[Category:Community]] |
||
Latest revision as of 14:28, 7 February 2014
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 2013 was 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
[Note -- the first two talks in this session have been switched from their order in the original schedule.]
- Prototyping GHC Optimizations with HERMIT (Andrew Farmer and Andy Gill) (slides)
- Optimizing "Scrap Your Boilerplate" with HERMIT (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
- 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) (slides)
- Lightning Talks: Sign up at the beginning of the day.
- Using HTM to speed up STM (Ryan Yates)
- Smten: Orchestrating SMT in Haskell (Richard Uhler) (site)
- Hackage 2 (Duncan Coutts)
- Haskell-to-hardware via CCCs (Conal Elliott)