2 papers
cs.NI2021
Synthesizing Safe and Efficient Kernel Extensions for Packet Processing
Qiongwen Xu, Michael D. Wong, Tanvi Wagle +2
Extended Berkeley Packet Filter (BPF) has emerged as a powerful method to extend packet-processing functionality in the Linux operating system. BPF allows users to write code in hi…
cs.AR2020
Testing Compilers for Programmable Switches Through Switch Hardware Simulation
Michael D. Wong, Aatish Kishan Varma, Anirudh Sivaraman
Programmable switches have emerged as powerful and flexible alternatives to fixed-function forwarding devices. But because of the unique hardware constraints of network switches, t…