About Me
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.
From September 2011 to August 2013, I was a post doc researcher with the Programming Principles and Tools group at Microsoft Research Cambridge (England!).
I received my Ph.D. in May 2011. I was jointly advised by Greg Morrisett and Matt Welsh.
In a former life, I lived in the SF Bay Area and worked for several tech companies, all of which are now defunct. Most of my work was related to handheld devices.
You can contact me at mainland @ eecs dot harvard dot edu.
Current Projects
- 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.