Geoffrey Mainland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
13
Active years
2004–2021
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | GPCE | Metaprogramming with combinators. | Mahshid Shahmohammadian, Geoffrey Mainland |
| 2020 | ISCAS | Greedy Channel Selection for Dynamic Spectrum Access Radios. | Alex Lackpour, Xaime Rivas Rey, Geoffrey Mainland, Kapil R. Dandekar |
| 2019 | SECON | Grid Software Defined Radio Network Testbed for Hybrid Measurement and Emulation. | Kapil R. Dandekar, Simon Begashaw, Marko Jacovic, Alex Lackpour, Ilhaan Rasheed, Xaime Rivas Rey, Cem Sahin, Sharif Shaher, Geoffrey Mainland |
| 2017 | GPCE | A Haskell compiler for signal transforms. | Geoffrey Mainland, Jeremy Johnson |
| 2017 | ICFP | From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. | Geoffrey Mainland, Siddhanathan Shanmugam |
| 2017 | PADL | A Domain-Specific Language for Software-Defined Radio. | Geoffrey Mainland |
| 2015 | ASPLOS | Ziria: A DSL for Wireless Systems Programming. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo |
| 2015 | MOBICOM | Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis |
| 2014 | MOBICOM | Poster: Ziria: language for rapid prototyping of wireless PHY. | Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2014 | SIGCOMM | Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis |
| 2014 | SIGCOMM | Ziria: language for rapid prototyping of wireless PHY. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2013 | ICFP | Exploiting vector instructions with generalized stream fusio. | Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones |
| 2012 | ECOOP | Pause 'n' Play: Formalizing Asynchronous C#. | Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen |
| 2012 | ICFP | Explicitly heterogeneous metaprogramming with MetaHaskell. | Geoffrey Mainland |
| 2010 | HASKELL | Nikola: embedding compiled GPU functions in Haskell. | Geoffrey Mainland, Greg Morrisett |
| 2008 | DCOSS | LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics. | Bor-rong Chen, Geoffrey Peterson, Geoffrey Mainland, Matt Welsh |
| 2008 | ICFP | Flask: staged functional programming for sensor networks. | Geoffrey Mainland, Greg Morrisett, Matt Welsh |
| 2007 | HASKELL | Why it's nice to be quoted: quasiquoting for haskell. | Geoffrey Mainland |
| 2007 | SENSYS | Sensor network programming with Flask. | Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton |
| 2005 | NSDI | Decentralized, Adaptive Resource Allocation for Sensor Networks. | Geoffrey Mainland, David C. Parkes, Matt Welsh |
| 2004 | NSDI | Programming Sensor Networks Using Abstract Regions. | Matt Welsh, Geoffrey Mainland |