Posterous
Giving Posterous a whirl...
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming, and in particular, in Haskell.
My Twitter handle is TacticalGrace.
Check out my UNSW website.
NICTA press release announcing the proof.
Haskell played a pivotal role in achieving these results. The Haskell kernel model described in our 2006 Haskell Workshop paper formed the basis for the verified high-performance C implementation and the kernel model used for verification — for details, see Klein et al.’s forthcoming SOSP paper.
http://graphics.cs.williams.edu/archive/SweeneyHPG2009/TimHPG2009.pdf
Tim Sweeney shares his vision of the future of high-end computer graphics and games programming. Functional programming and data parallelism play an important role.
