"Synthesizing Safe and Efficient Kernel Extensions for Packet Processing."

Qiongwen Xu et al. (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics