Personal tools

HaskellImplementorsWorkshop/2013

From HaskellWiki

< HaskellImplementorsWorkshop(Difference between revisions)
Jump to: navigation, search
(Programme)
(Programme: Add link to my slides)
(5 intermediate revisions by 3 users not shown)
Line 15: Line 15:
 
== Programme ==
 
== Programme ==
   
(Schedule to be determined)
 
   
* 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/Eisenberg|GeneralizedNewtypeDeriving is now type-safe: How "Roles" save the day]] (Richard A. Eisenberg)
+
* '''[[HaskellImplementorsWorkshop/2013/Kmett|Introducing the Core Libraries Committee]]''' (Edward Kmett)
* [[HaskellImplementorsWorkshop/2013/Yang|Resource Limits for Haskell]] ([http://ezyang.com Edward Z. Yang])
 
* [[HaskellImplementorsWorkshop/2013/Robinson|SpecConstr: optimising purely functional loops]] (Amos Robinson)
 
* [[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)
 
* [[HaskellImplementorsWorkshop/2013/Adams|Optimizing "Scrap Your Boilerplate" with HERMIT]] (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
 
* [[HaskellImplementorsWorkshop/2013/Berthold|Run-time supported Haskell Serialisation - an API]] (Jost Berthold)
 
   
We'll also be having a lightning talks session.
+
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
  +
  +
[Note -- the first two talks in this session have been switched from their order in the original schedule.]
  +
  +
* '''[[HaskellImplementorsWorkshop/2013/Farmer|Prototyping GHC Optimizations with HERMIT]]''' (Andrew Farmer and Andy Gill) ([http://www.ittc.ku.edu/~afarmer/hiw-13.html slides])
  +
* '''[[HaskellImplementorsWorkshop/2013/Adams|Optimizing "Scrap Your Boilerplate" with HERMIT]]''' (Michael D. Adams, Andrew Farmer and José Pedro Magalhães)
  +
* '''[[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) ([[Media:HIW2013PackingAPI.pdf|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) [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]]

Revision as of 16:05, 28 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.

1 Links

2 Important Dates

  • Tuesday 13th August: Talk Proposal Deadline (anywhere on earth)
  • Tuesday 27th August: Notification
  • Sunday 22th September: Workshop

3 Programme

9:00-10:30 Session 1

10:30-11:00: Coffee Break

11:00-12:30 Session 2

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