Geoffrey Mainland

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 14

Top Topics

Rapid Prototyping

Description Languages

Partial Evaluation

Dynamically Select

Top Venues

Publications

Marko Jacovic, Xaime Rivas Rey, Geoffrey Mainland, Kapil R. Dandekar
Mitigating RF jamming attacks at the physical layer with machine learning. IET Commun. 17 (1) (2023)
Marko Jacovic, Michael J. Liston, Vasil Pano, Geoffrey Mainland, Kapil R. Dandekar
Experimentation framework for wireless communication systems under jamming scenarios. IET Cyper-Phys. Syst.: Theory & Appl. 7 (2) (2022)
Adeeb Abbas, Vasil Pano, Geoffrey Mainland, Kapil R. Dandekar
Radio Modulation Classification Using Deep Residual Neural Networks. MILCOM (2022)
Mahshid Shahmohammadian, Geoffrey Mainland
Metaprogramming with combinators. GPCE (2021)
Alex Lackpour, Xaime Rivas Rey, Geoffrey Mainland, Kapil R. Dandekar
Greedy Channel Selection for Dynamic Spectrum Access Radios. ISCAS (2020)
Kapil R. Dandekar, Simon Begashaw, Marko Jacovic, Alex Lackpour, Ilhaan Rasheed, Xaime Rivas Rey, Cem Sahin, Sharif Shaher, Geoffrey Mainland
Grid Software Defined Radio Network Testbed for Hybrid Measurement and Emulation. SECON (2019)
Mahshid Shahmohammadian, Geoffrey Mainland
Synthesizing Efficient Hardware from High-Level Functional Hardware Description Languages. ICECS (2019)
Geoffrey Mainland
A Domain-Specific Language for Software-Defined Radio. PADL (2017)
Geoffrey Mainland, Siddhanathan Shanmugam
From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. FHPC@ICFP (2017)
Geoffrey Mainland, Jeremy R. Johnson
A Haskell compiler for signal transforms. GPCE (2017)
Geoffrey Mainland, Roman Leshchinskiy, Simon Peyton Jones
Exploiting vector instructions with generalized stream fusion. Commun. ACM 60 (5) (2017)
Geoffrey Mainland
Better living through operational semantics: an optimizing compiler for radio protocols. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo
Ziria: A DSL for Wireless Systems Programming. ASPLOS (2015)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. MobiCom (2015)
Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Poster: Ziria: language for rapid prototyping of wireless PHY. MobiCom (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Ziria: language for rapid prototyping of wireless PHY. SIGCOMM (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. SRIF@SIGCOMM (2014)
Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones
Exploiting vector instructions with generalized stream fusio. ICFP (2013)
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
Pause 'n' Play: Formalizing Asynchronous C#. ECOOP (2012)
Geoffrey Mainland
Explicitly heterogeneous metaprogramming with MetaHaskell. ICFP (2012)
Geoffrey Mainland, Greg Morrisett
Nikola: embedding compiled GPU functions in Haskell. Haskell (2010)
Geoffrey Mainland, Greg Morrisett, Matt Welsh
Flask: staged functional programming for sensor networks. ICFP (2008)
Bor-rong Chen, Geoffrey Peterson, Geoffrey Mainland, Matt Welsh
LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics. DCOSS (2008)
Geoffrey Mainland
Why it's nice to be quoted: quasiquoting for haskell. Haskell (2007)
Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton
Sensor network programming with Flask. SenSys (2007)
Geoffrey Mainland, David C. Parkes, Matt Welsh
Decentralized, Adaptive Resource Allocation for Sensor Networks. NSDI (2005)
Geoffrey Mainland, Matt Welsh
Distributed, Adaptive Resource Allocation for Sensor Networks. login Usenix Mag. 30 (5) (2005)
Konrad Lorincz, David J. Malan, Thaddeus R. F. Fulford Jones, Alan Nawoj, Antony Clavel, Victor Shnayder, Geoffrey Mainland, Matt Welsh, Steve Moulton
Sensor Networks for Emergency Response: Challenges and Opportunities. IEEE Pervasive Comput. 3 (4) (2004)
Geoffrey Mainland, Laura Kang, Sébastien Lahaie, David C. Parkes, Matt Welsh
Using virtual markets to program global behavior in sensor networks. ACM SIGOPS European Workshop (2004)
Matt Welsh, Geoffrey Mainland
Programming Sensor Networks Using Abstract Regions. NSDI (2004)