My research focuses on high-level programming language and runtime support for non-general purpose computation. Special-purpose devices, like sensor networks, GPUs, and FPGAs, can solve certain classes of problems more efficiently than general purpose devices. The drawback is that most existing programming models are designed for general purpose computing and often either under-perform or fail to perform when applied to specialized devices; optimal utilization of specialized devices requires specialized programming models.
I will be joining the Department of Computer Science at Drexel University in the fall of 2013.
You can contact me at mainland @ eecs dot harvard dot edu.
- New! Adding support for SSE instructions to GHC. Our results are documented in the paper Haskell Beats C Using Generalized Stream Fusion.
- MetaHaskell: Type Safe Heterogeneous Metaprogramming in Haskell.