research
∙
04/14/2023
LoRe: A Programming Model for Verifiably Safe Local-First Software
Local-first software manages and processes private data locally while st...
share
research
∙
10/01/2020
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Network programmability will be required to handle future increased netw...
research
∙
08/27/2019
