Geoffrey Mainland

32 papers A* 4A 4B 4C 5Misc 3Journal 6Unranked 5

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