2 papers
cs.PL2025
BeePL: Correct-by-compilation kernel extensions
Swarn Priya, Frédéric Besson, Connor Sughrue +4
eBPF is a technology that allows developers to safely extend kernel functionality without modifying kernel source code or developing loadable kernel modules. Since the kernel gover…
cs.SE2022
Creating Interactive Visualizations of TopHat Programs
Mark Gerarts, Marc de Hoog, Nico Naus +1
Many companies and institutions have automated their business process in workflow management software. The novel programming paradigm Task-Oriented Programming (TOP) provides an ab…