Conference and Workshop Papers

  1. Mainland, G. 2017. A Domain-Specific Language for Software-Defined Radio. Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL ’17). Springer International Publishing. 173–188.
  2. Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D. and Agulló, C.L. 2015. Ziria: An Optimizing Compiler for Wireless PHY Programming. Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’15) (Istanbul, Turkey, Mar. 2015).
  3. Mainland, G., Leshchinskiy, R. and Peyton Jones, S. 2013. Exploiting Vector Instructions with Generalized Stream Fusion. Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP ’13) (Boston, MA, Sep. 2013), 37–48.
  4. Mainland, G. 2012. Explicitly Heterogeneous Metaprogramming with MetaHaskell. Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP ’12) (Copenhagen, Denmark, Sep. 2012), 311–322.
  5. Bierman, G., Russo, C., Mainland, G., Meijer, E. and Torgersen, M. 2012. Pause ’n’ Play: Formalizing Asynchronous C$^♯$. Proceeedings of the 26th European Conference on Object-Oriented Programming (ECOOP ’12). Springer. 233–257.
  6. Mainland, G. and Morrisett, G. 2010. Nikola: Embedding Compiled GPU Functions in Haskell. Proceedings of the Third ACM Symposium on Haskell (Haskell ’10) (Baltimore, MD, Sep. 2010), 67–78.
  7. Mainland, G., Morrisett, G. and Welsh, M. 2008. Flask: Staged Functional Programming for Sensor Networks. Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP ’08) (Victoria, BC, Canada, Sep. 2008), 335–346.
  8. Chen, B.-rong, Peterson, G., Mainland, G. and Welsh, M. 2008. LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics. Proceedings of the 4th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS ’08) (Santorini Island, Greece, Jun. 2008).
  9. Murty, R., Mainland, G., Rose, I., Chowdhury, A.R., Gosain, A., Bers, J. and Welsh, M. 2008. CitySense: An Urban-Scale Wireless Sensor Network and Testbed. 2008 IEEE International Conference on Technologies for Homeland Security (May 2008).
  10. Mainland, G. 2007. Why It’s Nice to Be Quoted: Quasiquoting for Haskell. Proceedings of the ACM SIGPLAN Workshop on Haskell (Haskell ’07) (Freiburg, Germany, Sep. 2007), 73–82.
  11. Mainland, G., Parkes, D.C. and Welsh, M. 2005. Decentralized, Adaptive Resource Allocation for Sensor Networks. Proceedings of the 2nd Symposium on Networked Systems Design & Implementation (NSDI ’05) (Boston, MA, May 2005), 315–328.
  12. Mainland, G., Kang, L., Lahaie, S., Parkes, D.C. and Welsh, M. 2004. Using Virtual Markets to Program Global Behavior in Sensor Networks. Proceedings of the 11th ACM SIGOPS European Workshop (EW ’11) (Leuven, Belgium, Sep. 2004).
  13. Welsh, M. and Mainland, G. 2004. Programming Sensor Networks Using Abstract Regions. Proceedings of the 1st Symposium on Networked Systems Design & Implementation (NSDI ’04) (San Francisco, CA, Mar. 2004), 29–42.

Technical Reports

  1. Stewart, G., Gowda, M., Mainland, G., Radunovic, B. and Vytiniotis, D. 2013. Ziria: Wireless Programming for Hardware Dummies. Technical Report #MSR-TR-2013-135. Microsoft Research.
  2. Chen, B.-rong, Peterson, G., Mainland, G. and Welsh, M. 2007. LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics. Technical Report #TR-11-07. Harvard University.
  3. Mainland, G., Welsh, M. and Morrisett, G. 2006. Flask: A Language for Data-Driven Sensor Network Programs. Technical Report #TR-13-06. Harvard University.

Posters and Abstracts

  1. Stewart, G., Gowda, M., Mainland, G., Radunović, B. and Vytiniotis, D. 2015. Demo: Implementation of Real-Time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. Proceedings of the 21st Annual International Conference on Mobile Computing and Networking (MobiCom ’15) (Paris, France, Sep. 2015), 210–211.
  2. Stewart, G., Gowda, M., Mainland, G., Radunovic, B. and Vytiniotis, D. 2014. Demo: 802.11 a/g PHY Implementation in Ziria, Domain-Specific Language for Wireless Programming. Proceedings of the ACM SIGCOMM 2014 Workshop on Software Radio Implementation Forum (SRIF ’14) (Chicago, IL, Aug. 2014), 27–30.
  3. Stewart, G., Gowda, M., Mainland, G., Radunovic, B., Vytiniotis, D. and Patterson, D. 2014. Ziria: Language for Rapid Prototyping of Wireless PHY. Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication (SIGCOMM’14) (Chicago, IL, Aug. 2014), 357–358.
  4. Gowda, M., Stewart, G., Mainland, G., Radunović, B., Vytiniotis, D. and Patterson, D. 2014. Poster: Ziria: Language for Rapid Prototyping of Wireless PHY. Proceedings of the 20th Annual International Conference on Mobile Computing and Networking (MobiCom ’14) (Maui, Hawaii, Sep. 2014), 359–362.
  5. Mainland, G., Morrisett, G., Welsh, M. and Newton, R. 2007. Sensor Network Programming with Flask. Proceedings of the 5th International Conference on Embedded Networked Sensor Systems (SenSys ’07) (Sydney, Australia, Nov. 2007), 385–386.

Articles

  1. Mainland, G., Leshchinskiy, R. and Peyton Jones, S. 2017. Exploiting Vector Instructions with Generalized Stream Fusion. Communications of the ACM. 60, 5 (Apr. 2017), 83–91.
  2. Mainland, G. and Welsh, M. 2005. Distributed, Adaptive Resource Allocation for Sensor Networks. ;login. 30, 5 (Oct. 2005).
  3. Lorincz, K., Malan, D., Fulford-Jones, T.R.F., Nawoj, A., Clavel, A., Shnayder, V., Mainland, G., Moulton, S. and Welsh, M. 2004. Sensor Networks for Emergency Response: Challenges and Opportunities. IEEE Pervasive Computing, Special Issue on Pervasive Computing for First Response. (Oct. 2004).