Difference between revisions of "HaskellImplementorsWorkshop/2010"

From HaskellWiki
Jump to navigation Jump to search
 
(13 intermediate revisions by 8 users not shown)
Line 1: Line 1:
 
= Haskell Implementors Workshop 2010 =
  
= Haskell Implementors Workshop 2010 =
   
−
The 2009 Haskell Implementors Workshop was a great success, and we will be holding another one on October 1 2010, alongside [http://www.icfpconference.org/icfp2010/ ICFP 2010] in Baltimore.
 +
The 2010 Haskell Implementors Workshop was held alongside [http://www.icfpconference.org/icfp2010/ ICFP 2010] in Baltimore.
   
 
== Links ==
  
== Links ==
Line 9: Line 9:
 
== Dates ==
  
== Dates ==
   
−
* Friday 6 Aug: Submissions due
 +
* '''Friday 6 Aug''': Submissions due
−
* Monday 23 Aug: Notification
 +
* '''Monday 23 Aug''': Notification
−
* Friday 1 Oct: Workshop
 +
* '''Friday 1 Oct''': Workshop
   
 
== Organisers ==
  
== Organisers ==
   
−
* Jean-Philippe Bernardy (Chalmers University of Technology)
 +
* '''Jean-Philippe Bernardy''' (Chalmers University of Technology)
−
* Duncan Coutts - co-chair (Well-Typed LLP)
 +
* '''Duncan Coutts''' - co-chair (Well-Typed LLP)
−
* Iavor Diatchki (Galois)
 +
* '''Iavor Diatchki''' (Galois)
−
* Simon Marlow - co-chair (Microsoft Research)
 +
* '''Simon Marlow''' - co-chair (Microsoft Research)
−
* Ben Lippmeier (University of New South Wales)
 +
* '''Ben Lippmeier''' (University of New South Wales)
−
* Neil Mitchell (Standard Chartered)
 +
* '''Neil Mitchell''' (Standard Chartered)
   
 
== Programme ==
  
== Programme ==
Line 29: Line 29:
   
 
* '''''Hackage, Cabal and the Haskell Platform: The Second Year''''' (Don Stewart and Duncan Coutts)
  
* '''''Hackage, Cabal and the Haskell Platform: The Second Year''''' (Don Stewart and Duncan Coutts)
−
:: [http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the-haskell-platform-the-second-year/ Slides], [http://www.vimeo.com/15462768 Video]
 +
:: [http://donsbot.wordpress.com/2010/10/01/hackage-cabal-and-the-haskell-platform-the-second-year/ Slides](slides link broken), [http://www.vimeo.com/15462768 Video]
   
 
* '''''Hackage 2.0: Serving Packages Better''''' (Matthew Gruen)
  
* '''''Hackage 2.0: Serving Packages Better''''' (Matthew Gruen)
−
:: [http://www.galois.com/~dons/talks/hiw-2010/gruen-hackage2.pdf Slides (PDF)], [http://www.vimeo.com/15464003 Video]
 +
:: [http://www.galois.com/~dons/talks/hiw-2010/gruen-hackage2.pdf Slides (PDF)](slides link broken), [http://www.vimeo.com/15464003 Video]
   
 
10:00 10:30 Break
  
10:00 10:30 Break
Line 39: Line 39:
   
 
* '''''Shake: A Better Make''''' (Neil Mitchell)
  
* '''''Shake: A Better Make''''' (Neil Mitchell)
−
:: [http://www.galois.com/~dons/talks/hiw-2010/ndm-shake.pdf Slides (PDF)], [http://www.vimeo.com/15465133 Video]
 +
:: [http://www.galois.com/~dons/talks/hiw-2010/ndm-shake.pdf Slides (PDF)](slides link broken), [http://www.vimeo.com/15465133 Video]
   
 
* '''''Improving Cabal's Test Support''''' (Thomas Tuegel)
  
* '''''Improving Cabal's Test Support''''' (Thomas Tuegel)
−
:: [http://www.galois.com/~dons/talks/hiw-2010/tuegel-cabal-test.pdf Slides (PDF)], [http://www.vimeo.com/15466100 Video]
 +
:: [http://www.galois.com/~dons/talks/hiw-2010/tuegel-cabal-test.pdf Slides (PDF)](slides link borken), [http://www.vimeo.com/15466100 Video]
   
 
* '''''Revamping Haddock Output''''' (Mark Lentczner)
  
* '''''Revamping Haddock Output''''' (Mark Lentczner)
−
:: [http://mtnviewmark.wordpress.com/2010/09/07/haddock-revamp/ Slides], [http://www.vimeo.com/15466885 Video]
 +
:: [http://mtnviewmark.wordpress.com/2010/10/01/haddock-revamp/ Slides], [http://www.vimeo.com/15466885 Video]
   
−
* First short-talks session: 10-minute(ish) talks/demos, sign up on the day
 +
* First '''''short-talks''''' session: 10-minute(ish) talks/demos, sign up on the day
  ⚫
** GHC Status - Simon Peyton Jones [http://www.galois.com/~dons/talks/hiw-2010/spj-ghc7-status.pdf Slides], [http://www.vimeo.com/15467880 Video]
−  
  ⚫
** UHC Status - Atze Dijkstra [http://www.galois.com/~dons/talks/hiw-2010/atze-uhc-status.pdf Slides] , [http://www.vimeo.com/15467692 Video]
−
* GHC Status - Simon Peyton Jones
  
⚫
:: [http://www.galois.com/~dons/talks/hiw-2010/spj-ghc7-status.pdf Slides], [http://www.vimeo.com/15467880 Video]
  
−  
−
* UHC Status - Atze Dijkstra
  
⚫
:: [http://www.galois.com/~dons/talks/hiw-2010/atze-uhc-status.pdf Slides] , [http://www.vimeo.com/15467692 Video]
  
   
 
12:30 2:00 Lunch
  
12:30 2:00 Lunch
Line 60: Line 56:
   
 
* '''''Typed type-level functional programming in GHC''''' (Brent Yorgey)
  
* '''''Typed type-level functional programming in GHC''''' (Brent Yorgey)
  +
:: [http://www.cis.upenn.edu/~byorgey/talks/typetype-HIW-20101001.pdf Slides], [http://www.vimeo.com/15480577 Video]
   
−
* Second short-talks session: 10-minute(ish) talks/demos, sign up on the day
 +
* Second '''''short-talks''''' session: 10-minute(ish) talks/demos, sign up on the day
  +
** DDC peekOn/pokeOn (Ben Lippmeier) [http://www.cse.unsw.edu.au/~benl/talks/PeekOn-HIW2010.pdf Slides] [http://www.vimeo.com/15481154 Video]
  +
** Scrap your zippers (Michael Adams) [http://vimeo.com/15481513 Video]
  +
** Parallel CASHflow (Kevin Hammond) [http://vimeo.com/15567270 Video]
  +
** Eden - a parallel Haskell (Oleg Lobachev) [http://vimeo.com/15567935 Video]
  +
** Performance visualization for multicore Haskell (Peter Wortmann) [http://vimeo.com/15568451 Video]
  +
** pandoc + lhs2TeX for literate programming (Tillmann Rendel) [http://vimeo.com/15481736 Video]
   
 
3:00 3:30 Break
  
3:00 3:30 Break
Line 68: Line 71:
   
 
* '''''Fibon -- a new benchmark suite for Haskell''''' (David Peixotto)
  
* '''''Fibon -- a new benchmark suite for Haskell''''' (David Peixotto)
−
:: [http://www.cs.rice.edu/~dmp4866/PDF/2010.Fibon-HIW-Talk.pdf Slides (PDF)]
 +
:: [http://www.cs.rice.edu/~dmp4866/PDF/2010.Fibon-HIW-Talk.pdf Slides (PDF)], [http://vimeo.com/15568843 Video]
   
 
* '''''Kansas Lava -- Using and Abusing GHC's Type Extensions''''' (Andrew Farmer)
  
* '''''Kansas Lava -- Using and Abusing GHC's Type Extensions''''' (Andrew Farmer)
−
:: [http://www.scribd.com/doc/38559736/kansaslava-hiw10 Slides]
 +
:: [http://www.scribd.com/doc/38559736/kansaslava-hiw10 Slides], [http://vimeo.com/15571220 Video]
   
 
4:30 5:00 Break
  
4:30 5:00 Break
Line 78: Line 81:
   
 
* '''''Scheduling Lazy Evaluation on Multicore''''' (Simon Marlow)
  
* '''''Scheduling Lazy Evaluation on Multicore''''' (Simon Marlow)
  +
:: [http://www.galois.com/~dons/talks/hiw-2010/simonmar-multicore.pdf Slides], [http://vimeo.com/15573590 Video]
 
 
 
* '''''Beyond Haskell''''' discussion, chaired by Ben Lippmeier
  
* '''''Beyond Haskell''''' discussion, chaired by Ben Lippmeier
  +
:: [http://www.cse.unsw.edu.au/~benl/talks/BeyondHaskell-HIW2010.pdf Slides], [http://vimeo.com/15576718 Video]
  +
  +
  +
[[Category:Community]]

Latest revision as of 21:53, 1 May 2013

Haskell Implementors Workshop 2010

The 2010 Haskell Implementors Workshop was held alongside ICFP 2010 in Baltimore.

Links

Dates

  • Friday 6 Aug: Submissions due
  • Monday 23 Aug: Notification
  • Friday 1 Oct: Workshop

Organisers

  • Jean-Philippe Bernardy (Chalmers University of Technology)
  • Duncan Coutts - co-chair (Well-Typed LLP)
  • Iavor Diatchki (Galois)
  • Simon Marlow - co-chair (Microsoft Research)
  • Ben Lippmeier (University of New South Wales)
  • Neil Mitchell (Standard Chartered)

Programme

8:00 8:45 Breakfast

9:00 10:00 Session 1

  • Hackage, Cabal and the Haskell Platform: The Second Year (Don Stewart and Duncan Coutts)
Slides(slides link broken), Video
  • Hackage 2.0: Serving Packages Better (Matthew Gruen)
Slides (PDF)(slides link broken), Video

10:00 10:30 Break

10:30 12:30 Session 2

  • Shake: A Better Make (Neil Mitchell)
Slides (PDF)(slides link broken), Video
  • Improving Cabal's Test Support (Thomas Tuegel)
Slides (PDF)(slides link borken), Video
  • Revamping Haddock Output (Mark Lentczner)
Slides, Video
  • First short-talks session: 10-minute(ish) talks/demos, sign up on the day

12:30 2:00 Lunch

2:00 3:00 Session 3

  • Typed type-level functional programming in GHC (Brent Yorgey)
Slides, Video
  • Second short-talks session: 10-minute(ish) talks/demos, sign up on the day
    • DDC peekOn/pokeOn (Ben Lippmeier) Slides Video
    • Scrap your zippers (Michael Adams) Video
    • Parallel CASHflow (Kevin Hammond) Video
    • Eden - a parallel Haskell (Oleg Lobachev) Video
    • Performance visualization for multicore Haskell (Peter Wortmann) Video
    • pandoc + lhs2TeX for literate programming (Tillmann Rendel) Video

3:00 3:30 Break

3:30 4:30 Session 4

  • Fibon -- a new benchmark suite for Haskell (David Peixotto)
Slides (PDF), Video
  • Kansas Lava -- Using and Abusing GHC's Type Extensions (Andrew Farmer)
Slides, Video

4:30 5:00 Break

5:00 6:00 Session 5

  • Scheduling Lazy Evaluation on Multicore (Simon Marlow)
Slides, Video
  • Beyond Haskell discussion, chaired by Ben Lippmeier
Slides, Video
Retrieved from "https://wiki.haskell.org/index.php?title=HaskellImplementorsWorkshop/2010&oldid=55840"