Geoffrey Mainland: Publications
Conference Papers
Flask: Staged Functional Programming for Sensor Networks. Geoffrey Mainland, Greg Morrisett, and Matt Welsh. Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming (ICFP '08), September 2008. [PDF]
The paper is © ACM (2008). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming.
Decentralized, Adaptive Resource Allocation for Sensor Networks. Geoff Mainland, David C. Parkes, and Matt Welsh. Proceedings of the 2nd USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI '05), May 2005. [PDF]
Programming Sensor Networks Using Abstract Regions. Matt Welsh and Geoff Mainland. Proceedings of the First USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI '04), March 2004. [PDF]
Workshop Papers
Why It's Nice to be Quoted: Quasiquoting for Haskell. Geoffrey Mainland. Proceedings of the 2007 ACM SIGPLAN workshop on Haskell (Haskell '07), September 2007. [PDF]The paper is © ACM (2007). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2007 ACM SIGPLAN workshop on Haskell.
Using Virtual Markets to Program Global Behavior in Sensor Networks. Geoff Mainland, Laura Kang, Sebastien Lahaie, David C. Parkes, and Matt Welsh. Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, September 2004. [PDF]
Technical Reports
Flask: A Language for Data-driven Sensor Network Programs. Geoffrey Mainland, Matt Welsh, and Greg Morrisett. Harvard Tech Report TR-13-06, May 2006. [PDF]
