Personal tools

HaskellImplementorsWorkshop/2010

From HaskellWiki

< HaskellImplementorsWorkshop(Difference between revisions)
Jump to: navigation, search
(Programme)
 
(14 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://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]
:: [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.galois.com/~dons/talks/hiw-2010/gruen-hackage2.pdf Slides (PDF)](slides link broken), [http://www.vimeo.com/15464003 Video]
:: [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.galois.com/~dons/talks/hiw-2010/ndm-shake.pdf Slides (PDF)](slides link broken), [http://www.vimeo.com/15465133 Video]
:: [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.galois.com/~dons/talks/hiw-2010/tuegel-cabal-test.pdf Slides (PDF)](slides link borken), [http://www.vimeo.com/15466100 Video]
:: [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://mtnviewmark.wordpress.com/2010/10/01/haddock-revamp/ Slides], [http://www.vimeo.com/15466885 Video]
:: [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]
* GHC Status - Simon Peyton Jones
+
** UHC Status - Atze Dijkstra [http://www.galois.com/~dons/talks/hiw-2010/atze-uhc-status.pdf Slides] , [http://www.vimeo.com/15467692 Video]
:: [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 56: 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 64: Line 65:
   
 
* '''''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 74: Line 75:
   
 
* '''''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

Contents

[edit] 1 Haskell Implementors Workshop 2010

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

[edit] 1.1 Links

[edit] 1.2 Dates

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

[edit] 1.3 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)

[edit] 1.4 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