Geoffrey Mainland

Phone: (415) 935-3594
gmainlan @ microsoft dot com
mainland @ eecs dot harvard dot edu

About

As of September 2011, I am a post doc researcher with the Programming Principles and Tools group at Microsoft Research Cambridge.

My research focuses on tools and techniques for building correct systems from resource-constrained components. I have applied these techniques to sensor networks, consisting of nodes that are severely constrained in terms of available memory, computational power and communication bandwidth, and GPUs, where efficiency requires adherence to a specialized computational model.

I received my PhD in June 2011 for which 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 companies. Most of my work was related to handheld devices.

• Curriculum Vitae
• Research Statement
• Blog
• Github

Current Projects

• MetaHaskell: Type Safe Heterogeneous Metaprogramming in Haskell.
• Adding support for SSE instructions to GHC.

Past Projects

• Nikola: Embedding Compiled GPU Functions in Haskell.
• Flask: Staged Functional Programming for Sensor Networks.
• Quasiquoting for GHC.
• LiveNet: Reconstruct Sensor Network Dynamics with Passive Monitoring.
• CitySense: An Open, Urban-Scale Sensor Network Testbed.