"Synthesizing safe and efficient kernel extensions for packet processing."

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