Thu 25 Mar 2021 14:00 - 14:30 at Virtual Space B - Session 8 Chair(s): Simon Fowler
Fri 26 Mar 2021 16:00 - 16:30 at Virtual Space B - Session 17 Chair(s): Elisa Gonzalez Boix

Network programmability will be required to handle future increased network traffic and constantly changing application needs. However, there is currently no way of using a high-level, easy to use programming language to program Wi-Fi firmware. This impedes rapid prototyping and deployment of novel network services/applications and hinders continuous performance optimization in Wi-Fi networks, since expert knowledge is required for both the used hardware platforms and the Wi-Fi domain. In this paper, we present ReactiFi, a high-level reactive programming language to program Wi-Fi chips on mobile consumer devices. ReactiFi enables programmers to implement extensions of PHY, MAC, and IP layer mechanisms without requiring expert knowledge of Wi-Fi chips, allowing for novel applications and network protocols. ReactiFi programs are executed directly on the Wi-Fi chip, improving performance and power consumption compared to execution on the main CPU. ReactiFi is conceptually similar to functional reactive languages, but is dedicated to the domain-specific needs of Wi-Fi firmware. First, it handles low-level platform-specific details without interfering with the core functionality of Wi-Fi chips. Second, it supports static reasoning about memory usage of applications, which is important for typically memory-constrained Wi-Fi chips. Third, it limits dynamic changes of dependencies between computations to dynamic branching, in order to enable static reasoning about the order of computations. We evaluate ReactiFi empirically in two real-world case studies. Our results show that throughput, latency, and power consumption are significantly improved when executing applications on the Wi-Fi chip rather than in the operating system kernel or in user space. Moreover, we show that the high-level programming abstractions of ReactiFi have no performance overhead compared to manually written C code.

Thu 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:00 - 14:30
Session 8Research Papers at Virtual Space B
Chair(s): Simon FowlerUniversity of Glasgow
13:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
13:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice ÅkerblomStockholm University, Elias CastegrenKTH, Tobias WrigstadUppsala University, Sweden
DOI Media Attached
14:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur SterzPhilipps-Universität Marburg, Matthias Eichholz, Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerTechnische Universität Darmstadt, Pablo Graubner, Matthias Hollick, Mira MeziniTU Darmstadt, Germany, Bernd FreislebenPhilipps-Universität Marburg
DOI Media Attached

Fri 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:00 - 16:30
Session 17Research Papers at Virtual Space B
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
15:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Research Papers
Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Sophie KalebaUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Maarten VandercammenVrije Universiteit Brussel, Laurent ChristopheVUB, Dario Di NucciTilburg University, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur SterzPhilipps-Universität Marburg, Matthias Eichholz, Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerTechnische Universität Darmstadt, Pablo Graubner, Matthias Hollick, Mira MeziniTU Darmstadt, Germany, Bernd FreislebenPhilipps-Universität Marburg
DOI Media Attached