Geoffrey Mainland

According to our database, Geoffrey Mainland authored at least 30 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Mitigating RF jamming attacks at the physical layer with machine learning.

Marko Jacovic, Xaime Rivas Rey, Geoffrey Mainland, Kapil R. Dandekar

IET Commun., January, 2023

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

Radio Modulation Classification Using Deep Residual Neural Networks.

Adeeb Abbas, Vasil Pano, Geoffrey Mainland, Kapil R. Dandekar

Proceedings of the IEEE Military Communications Conference, 2022

2021

Metaprogramming with combinators.

Mahshid Shahmohammadian, Geoffrey Mainland

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Greedy Channel Selection for Dynamic Spectrum Access Radios.

Alex Lackpour, Xaime Rivas Rey, Geoffrey Mainland, Kapil R. Dandekar

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

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

Proceedings of the 16th Annual IEEE International Conference on Sensing, 2019

Synthesizing Efficient Hardware from High-Level Functional Hardware Description Languages.

Mahshid Shahmohammadian, Geoffrey Mainland

Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

2017

Better living through operational semantics: an optimizing compiler for radio protocols.

Geoffrey Mainland

Proc. ACM Program. Lang., 2017

Exploiting vector instructions with generalized stream fusion.

Geoffrey Mainland, Roman Leshchinskiy, Simon Peyton Jones

Commun. ACM, 2017

A Domain-Specific Language for Software-Defined Radio.

Geoffrey Mainland

Proceedings of the Practical Aspects of Declarative Languages, 2017

From high-level radio protocol specifications to efficient low-level implementations via partial evaluation.

Geoffrey Mainland, Siddhanathan Shanmugam

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

A Haskell compiler for signal transforms.

Geoffrey Mainland, Jeremy Johnson

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2015

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

Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Ziria: A DSL for Wireless Systems Programming.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Ziria: language for rapid prototyping of wireless PHY.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

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

Proceedings of the 2014 ACM workshop on Software radio implementation forum, 2014

Poster: Ziria: language for rapid prototyping of wireless PHY.

Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

2013

Exploiting vector instructions with generalized stream fusio.

Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Explicitly heterogeneous metaprogramming with MetaHaskell.

Geoffrey Mainland

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Pause 'n' Play: Formalizing Asynchronous C#.

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2010

Nikola: embedding compiled GPU functions in Haskell.

Geoffrey Mainland, Greg Morrisett

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2008

Flask: staged functional programming for sensor networks.

Geoffrey Mainland, Greg Morrisett, Matt Welsh

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics.

Bor-rong Chen, Geoffrey Peterson, Geoffrey Mainland, Matt Welsh

Proceedings of the Distributed Computing in Sensor Systems, 2008

2007

Sensor network programming with Flask.

Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Why it's nice to be quoted: quasiquoting for haskell.

Geoffrey Mainland

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2005

Distributed, Adaptive Resource Allocation for Sensor Networks.

Geoffrey Mainland, Matt Welsh

login Usenix Mag., 2005

Decentralized, Adaptive Resource Allocation for Sensor Networks.

Geoffrey Mainland, David C. Parkes, Matt Welsh

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

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

Using virtual markets to program global behavior in sensor networks.

Geoffrey Mainland, Laura Kang, Sébastien Lahaie, David C. Parkes, Matt Welsh

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Programming Sensor Networks Using Abstract Regions.

Matt Welsh, Geoffrey Mainland

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004