HaskellImplementorsWorkshop/2010: Difference between revisions

From HaskellWiki
No edit summary
 
(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]
* 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 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"