Programming Sensor Networks Using Abstract Regions. - Matt Welsh; Geoffrey Mainland (NSDI, 2004)

Using virtual markets to program global behavior in sensor networks. - Geoffrey Mainland; Laura Kang; Sébastien Lahaie; David C. Parkes; Matt Welsh (ACM SIGOPS European Workshop, 2004)

Sensor Networks for Emergency Response: Challenges and Opportunities. - Konrad Lorincz; David J. Malan; Thaddeus R. F. Fulford Jones; Alan Nawoj; Antony Clavel; Victor Shnayder; Geoffrey Mainland; Matt Welsh; Steve Moulton (IEEE Pervasive Comput., 2004)

Decentralized, Adaptive Resource Allocation for Sensor Networks. - Geoffrey Mainland; David C. Parkes; Matt Welsh (NSDI, 2005)

Distributed, Adaptive Resource Allocation for Sensor Networks. - Geoffrey Mainland; Matt Welsh (login Usenix Mag., 2005)

Why it's nice to be quoted: quasiquoting for haskell. - Geoffrey Mainland (Haskell, 2007)

Sensor network programming with Flask. - Geoffrey Mainland; J. Gregory Morrisett; Matt Welsh; Ryan Newton (SenSys, 2007)

LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics. - Bor-rong Chen; Geoffrey Peterson; Geoffrey Mainland; Matt Welsh (DCOSS, 2008)

Flask: staged functional programming for sensor networks. - Geoffrey Mainland; Greg Morrisett; Matt Welsh (ICFP, 2008)

Nikola: embedding compiled GPU functions in Haskell. - Geoffrey Mainland; Greg Morrisett (Haskell, 2010)

Pause 'n' Play: Formalizing Asynchronous C#. - Gavin M. Bierman; Claudio V. Russo; Geoffrey Mainland; Erik Meijer 001; Mads Torgersen (ECOOP, 2012)

Explicitly heterogeneous metaprogramming with MetaHaskell. - Geoffrey Mainland (ICFP, 2012)

Exploiting vector instructions with generalized stream fusio. - Geoffrey Mainland; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2013)

Poster: Ziria: language for rapid prototyping of wireless PHY. - Mahanth Gowda; Gordon Stewart 001; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Doug Patterson (MobiCom, 2014)

Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis (SRIF@SIGCOMM, 2014)

Ziria: language for rapid prototyping of wireless PHY. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Doug Patterson (SIGCOMM, 2014)

Ziria: A DSL for Wireless Systems Programming. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Cristina Luengo Agullo (ASPLOS, 2015)

Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis (MobiCom, 2015)

A Haskell compiler for signal transforms. - Geoffrey Mainland; Jeremy Johnson 001 (GPCE, 2017)

From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. - Geoffrey Mainland; Siddhanathan Shanmugam (FHPC@ICFP, 2017)

A Domain-Specific Language for Software-Defined Radio. - Geoffrey Mainland (PADL, 2017)

Exploiting vector instructions with generalized stream fusion. - Geoffrey Mainland; Roman Leshchinskiy; Simon Peyton Jones (Commun. ACM, 2017)

Better living through operational semantics: an optimizing compiler for radio protocols. - Geoffrey Mainland (Proc. ACM Program. Lang., 2017)

Synthesizing Efficient Hardware from High-Level Functional Hardware Description Languages. - Mahshid Shahmohammadian; Geoffrey Mainland (ICECS, 2019)

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 (SECON, 2019)

Greedy Channel Selection for Dynamic Spectrum Access Radios. - Alex Lackpour; Xaime Rivas Rey; Geoffrey Mainland; Kapil R. Dandekar (ISCAS, 2020)

Metaprogramming with combinators. - Mahshid Shahmohammadian; Geoffrey Mainland (GPCE, 2021)

Radio Modulation Classification Using Deep Residual Neural Networks. - Adeeb Abbas; Vasil Pano; Geoffrey Mainland; Kapil R. Dandekar (MILCOM, 2022)

Experimentation framework for wireless communication systems under jamming scenarios. - Marko Jacovic; Michael J. Liston; Vasil Pano; Geoffrey Mainland; Kapil R. Dandekar (IET Cyper-Phys. Syst.: Theory & Appl., 2022)

Mitigating RF jamming attacks at the physical layer with machine learning. - Marko Jacovic; Xaime Rivas Rey; Geoffrey Mainland; Kapil R. Dandekar (IET Commun., 2023)