@inproceedings {278342, author = {Solal Pirelli and Akvil{\.e} Valentukonyt{\.e} and Katerina Argyraki and George Candea}, title = {Automated Verification of Network Function Binaries}, booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)}, year = {2022}, isbn = {978-1-939133-27-4}, address = {Renton, WA}, pages = {585--600}, url = {https://www.usenix.org/conference/nsdi22/presentation/pirelli}, publisher = {USENIX Association}, month = apr } @inproceedings {258955, author = {Solal Pirelli and George Candea}, title = {A Simpler and Faster {NIC} Driver Model for Network Functions}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)}, year = {2020}, isbn = {978-1-939133-19-9}, pages = {225--241}, url = {https://www.usenix.org/conference/osdi20/presentation/pirelli}, publisher = {USENIX Association}, month = nov } @inproceedings {227631, author = {Rishabh Iyer and Luis Pedrosa and Arseniy Zaostrovnykh and Solal Pirelli and Katerina Argyraki and George Candea}, title = {Performance Contracts for Software Network Functions}, booktitle = {16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)}, year = {2019}, isbn = {978-1-931971-49-2}, address = {Boston, MA}, pages = {517--530}, url = {https://www.usenix.org/conference/nsdi19/presentation/iyer}, publisher = {USENIX Association}, month = feb }