Travelled to:1 × Canada
1 × China
1 × Denmark
1 × Turkey
1 × USA
Collaborated with:∅ G.Morrisett J.Johnson R.Leshchinskiy S.L.P.Jones M.Welsh G.M.Bierman C.V.Russo E.Meijer M.Torgersen G.Stewart M.Gowda B.Radunovic D.Vytiniotis C.L.Agullo
Talks about:haskel (4) function (2) program (2) compil (2) metaprogram (1) transform (1) quasiquot (1) heterogen (1) asynchron (1) wireless (1)
Person: Geoffrey Mainland
DBLP: Mainland:Geoffrey
Facilitated 1 volumes:
EdContributed to:
2015
2013
201220122008
201720072010Wrote 8 papers:
- ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming
- Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
- ICFP-2013-MainlandLJ
- Exploiting vector instructions with generalized stream fusio (GM, RL, SLPJ), pp. 37–48.
- ECOOP-2012-BiermanRMMT #c# #formal method #game studies
- Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
- ICFP-2012-Mainland #haskell #metaprogramming
- Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
- ICFP-2008-MainlandMW #functional #named #network #programming #staged
- Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.
- GPCE-2017-MainlandJ #compilation #haskell
- A Haskell compiler for signal transforms (GM, JJ), pp. 219–232.
- Haskell-2007-Mainland #haskell #why
- Why it's nice to be quoted: quasiquoting for haskell (GM), pp. 73–82.
- Haskell-2010-MainlandM #gpu #haskell #named
- Nikola: embedding compiled GPU functions in Haskell (GM, GM), pp. 67–78.