Changes between Version 58 and Version 59 of Hackathon


Ignore:
Timestamp:
Sep 6, 2006 6:00:00 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Hackathon

    v58 v59  
    6262If you want to come, please add your name to the list below.  Add a sentence or two about yourself and why you want to come. If you are working on a project to do with GHC, tell us about that too.
    6363
     64
    6465 * [http://www.haskell.org/~simonmar Simon Marlow] One of the main authors of GHC, particularly the back end, run-time system, and libraries.
    6566 * [http://research.microsoft.com/~simonpj Simon Peyton Jones] One of the main authors of GHC, particularly the type system and Core intermediate language.
    6667
     68
     69=== Participant List ===
     70
     71 * [mailto:[email protected] Andy Adams-Moran], interested in making cross-compiling with GHC easier, and in learning more about the innards of the compiler (versus the RTS)
     72
     73 * [http://wiki.freespire.org/index.php/Freespire_Technology_Board_Home Clifford Beshers], Linspire, particularly interested in GHC as a library.
     74 * [mailto://[email protected] Mathieu Boespflug] Interested in implementing John Meacham's [http://repetae.net/john/recent/out/classalias.html class alias proposal].
     75 * [http://www.cs.chalmers.se/~bringert/ Björn Bringert], Chalmers University of Technology and Göteborg University, want to learn about the internals of GHC for future projects, possibly implement instance deriving for GADTs
     76
     77 * [http://www.cs.cmu.edu/~crary Karl Crary], CMU, working on a Haskell-driven typesetting system
     78 * [http://www.csee.ogi.edu/~diatchki Iavor S. Diatchki], interested in Haskell for systems programming/type checking (general improvement rules)
     79
     80 * [http://www.cs.uu.nl/wiki/Atze/WebHome Atze Dijkstra], Universiteit Utrecht, working on [http://www.cs.uu.nl/wiki/Ehc/WebHome EHC], interested to see what can be reused/learned/shared/etc.
     81 * Thomas DuBuisson, generally interested in GHC RTS
     82 * [mailto://[email protected] Edsko de Vries], interested in type systems (I work on uniqueness typing, a substructural type system), and generic programming
     83
     84 * [http://www.research.att.com/info/kfisher Kathleen Fisher], ATT, interested in adding support for data description to Haskell
     85
     86 * [http://www.comlab.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons], University of Oxford, generally curious about GHC internals - especially advanced aspects of typing
    6787 * [http://www.gill-warbington.com/home/andy Andy Gill], Galois, Previous contributor to GHC, wanting tools for high assurance Haskell.
     88 * [http://www.galois.com/ Paul Graunke], Galois, interested in formal methods (Isabelle) and GHC intermediate representations
     89
     90 * [http://www.xoltar.org Bryn Keller], interested bystander. Interested in generating code for unusual targets (e.g. JavaScript, Flash, .Net, etc.).
     91
     92 * Markus Lauer, want to understand better how GHC works
     93 * [http://www.galois.com/ Brett Letner], Galois, interested in code coverage tool for Haskell.
     94 * [http://www.iai.uni-bonn.de~/loeh/ Andres Löh], University of Bonn, interested in type systems and generic programming
     95 * [mailto://[email protected] Jake Luck], interested in interactive debugging and accessing GHC internals from embedded systems.
     96 * Ian Lynagh, interested in all parts.
     97
     98 * [mailto:[email protected] John Matthews], Galois, interested in connecting GHC to the Isabelle theorem prover.
     99 * [mailto://[email protected] Luke Maurer], recent graduate of Carleton College, just looking to get my hands dirty
     100 * [mailto:[email protected] Mathew Mills], language enthusiast relatively new to Haskell.
     101 * [mailto:[email protected] Brandon Moore], Yahoo. Interested in types, syntax extension.
     102
     103 * Ravi Nanavati, Bluespec. Interested in being able to fix GHC bugs before they burn me.
     104
     105 * [mailto:[email protected] Andrew Pimlott], Planning Systems Inc., interested in the dark corners we stumble into during application development, and space profiling.
     106
     107 * [http://www.eecs.harvard.edu/~nr Norman Ramsey], interested in either code generation or refactoring some part of the run-time system (and would really like to learn more about how the run-time system is put together, even if it's too big for a weekend hack).
     108
     109 * [http://www.pnl.gov Chad Scherrer], Pacific Northwest National Laboratory, interested in computational math and statistics
     110 * [http://www.cs.uu.nl/wiki/Swierstra/WebHome Doaitse Swierstra], Universiteit Utrecht, working on [http://www.cs.uu.nl/wiki/Ehc/WebHome EHC], interested to see what can be reused/learned/shared/etc.
     111
     112 * [mailto:[email protected] Aaron Tomb], University of California, Santa Cruz, interested in formal verification of Haskell programs, advanced type systems, and learning about the internals of GHC
     113 * [http://www.galois.com/ Mark Tullsen], Galois, interested in tools for Haskell and high assurance run-time systems.
     114
    68115 * [http://www.cs.york.ac.uk/~malcolm Malcolm Wallace], nhc98-hacker, wanting to steal ideas :-), particularly from the type-system.
    69  * [http://wiki.freespire.org/index.php/Freespire_Technology_Board_Home Clifford Beshers], Linspire, particularly interested in GHC as a library.
    70  * [http://www.galois.com/ Paul Graunke], Galois, interested in formal methods (Isabelle) and GHC intermediate representations
    71  * [http://www.research.att.com/info/kfisher Kathleen Fisher], ATT, interested in adding support for data description to Haskell
    72  * [mailto://[email protected] Jake Luck], interested in interactive debugging and accessing GHC internals from embedded systems.
    73116 * [http://www.cis.upenn.edu/~geoffw/ Geoffrey Washburn], UPenn. Previous GHC contributor (original implementation of GADTs in Core). Wide variety of language interests involving expressiveness, security, and practical programming.
    74  * [http://www.galois.com/ Mark Tullsen], Galois, interested in tools for Haskell and high assurance run-time systems.
    75  * [http://www.comlab.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons], University of Oxford, generally curious about GHC internals - especially advanced aspects of typing
    76  * [http://www.galois.com/ Brett Letner], Galois, interested in code coverage tool for Haskell.
    77  * [http://www.pnl.gov Chad Scherrer], Pacific Northwest National Laboratory, interested in computational math and statistics
    78  * [http://www.cs.cmu.edu/~crary Karl Crary], CMU, working on a Haskell-driven typesetting system
    79  * [mailto://[email protected] Luke Maurer], recent graduate of Carleton College, just looking to get my hands dirty
    80  * [http://www.cs.uu.nl/wiki/Atze/WebHome Atze Dijkstra], Universiteit Utrecht, working on [http://www.cs.uu.nl/wiki/Ehc/WebHome EHC], interested to see what can be reused/learned/shared/etc.
    81  * [http://www.cs.uu.nl/wiki/Swierstra/WebHome Doaitse Swierstra], Universiteit Utrecht, working on [http://www.cs.uu.nl/wiki/Ehc/WebHome EHC], interested to see what can be reused/learned/shared/etc.
    82  * [http://www.eecs.harvard.edu/~nr Norman Ramsey], interested in either code generation or refactoring some part of the run-time system (and would really like to learn more about how the run-time system is put together, even if it's too big for a weekend hack).
    83  * [http://www.csee.ogi.edu/~diatchki Iavor S. Diatchki], interested in Haskell for systems programming/type checking (general improvement rules)
    84  * [mailto://[email protected] Edsko de Vries], interested in type systems (I work on uniqueness typing, a substructural type system), and generic programming
    85  * [mailto://[email protected] Mathieu Boespflug] Interested in implementing John Meacham's [http://repetae.net/john/recent/out/classalias.html class alias proposal].
    86  * [mailto:[email protected] Andy Adams-Moran], interested in making cross-compiling with GHC easier, and in learning more about the innards of the compiler (versus the RTS)
    87  * [mailto:[email protected] Aaron Tomb], University of California, Santa Cruz, interested in formal verification of Haskell programs, advanced type systems, and learning about the internals of GHC
    88  * [http://www.cs.chalmers.se/~bringert/ Björn Bringert], Chalmers University of Technology and Göteborg University, want to learn about the internals of GHC for future projects, possibly implement instance deriving for GADTs
    89  * [http://www.iai.uni-bonn.de~/loeh/ Andres Löh], University of Bonn, interested in type systems and generic programming
    90  * [http://www.xoltar.org Bryn Keller], interested bystander. Interested in generating code for unusual targets (e.g. JavaScript, Flash, .Net, etc.).
    91  * Ian Lynagh, interested in all parts.
    92  * [mailto:[email protected] Brandon Moore], Yahoo. Interested in types, syntax extension.
    93  * Ravi Nanavati, Bluespec. Interested in being able to fix GHC bugs before they burn me.
     117
    94118 * [mailto:[email protected] Jeffery Zhang], interested in type systems and metaprogramming.
    95  * [mailto:[email protected] John Matthews], Galois, interested in connecting GHC to the Isabelle theorem prover.
    96  * [mailto:[email protected] Andrew Pimlott], Planning Systems Inc., interested in the dark corners we stumble into during application development, and space profiling.
    97  * [mailto:[email protected] Mathew Mills], language enthusiast relatively new to Haskell.
    98  * Thomas DuBuisson, generally interested in GHC RTS
    99  * Markus Lauer, want to understand better how GHC works