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.
Don argues in favour of domain-specific languages for high-performance computing. Not surprisingly, he suggests that Haskell is well suited as a host for realising such domain-specific languages as embedded languages: http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/
Video of my talk at the Haskell Implementors' Workshop:
The slides are available from a previous post: http://justtesting.posterous.com/haskell-arrays-accelerated-0
The slides from my talk Haskell Arrays, Accelerated (Using GPUs) at the Haskell Implementors’ Workshop (that was co-located with ICFP 2009 in Edinburgh) are now available. The talk introduces a novel framework, based on an embedded domain-specific language of multi-dimensional array computations, targeting GPUs and other acceleration hardware.
http://www.cse.unsw.edu.au/~chak/haskell/term-conv/
Given a GADT representation of a typed higher-order term language using higher-order abstract syntax (HOAS), it is more difficult to convert to an alternative GADT representation using de Bruijn indices for bound variables than I at first expected. Here is a solution using explicit type representations (with Data.Typeable).
http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html
This paper will be presented at the Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted Methods (EPHAM 2009), co-located with CGO’09 in Seattle, WA.
