Changes between Version 58 and Version 59 of Hackathon


Ignore:
Timestamp:
Sep 6, 2006 6:00:00 PM (8 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:adams-moran@galois.com 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://mboes@galois.com 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://devriese@cs.tcd.ie 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://lambda@10k.org Jake Luck], interested in interactive debugging and accessing GHC internals from embedded systems. 
     96 * Ian Lynagh, interested in all parts. 
     97 
     98 * [mailto:matthews@galois.com John Matthews], Galois, interested in connecting GHC to the Isabelle theorem prover. 
     99 * [mailto://Luke.Maurer@alumni.carleton.edu Luke Maurer], recent graduate of Carleton College, just looking to get my hands dirty 
     100 * [mailto:mathewmills@mac.com Mathew Mills], language enthusiast relatively new to Haskell. 
     101 * [mailto:brandonm@yahoo-inc.com 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:andrew@pimlott.net 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:atomb@soe.ucsc.edu 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://lambda@10k.org 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://Luke.Maurer@alumni.carleton.edu 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://devriese@cs.tcd.ie Edsko de Vries], interested in type systems (I work on uniqueness typing, a substructural type system), and generic programming 
    85  * [mailto://mboes@galois.com Mathieu Boespflug] Interested in implementing John Meacham's [http://repetae.net/john/recent/out/classalias.html class alias proposal]. 
    86  * [mailto:adams-moran@galois.com 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:atomb@soe.ucsc.edu 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:brandonm@yahoo-inc.com 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:jz87@mac.com Jeffery Zhang], interested in type systems and metaprogramming. 
    95  * [mailto:matthews@galois.com John Matthews], Galois, interested in connecting GHC to the Isabelle theorem prover. 
    96  * [mailto:andrew@pimlott.net Andrew Pimlott], Planning Systems Inc., interested in the dark corners we stumble into during application development, and space profiling. 
    97  * [mailto:mathewmills@mac.com 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