Publications

Articles

International Conferences: 2

2019

- Arseniy Zaostrovnykh and Solal Pirelli and Rishabh Iyer and Matteo Rizzo and Luis Pedrosa and Katerina Argyraki and George Candea, Verifying Software Network Functions with No Verification Expertise, presented at SOSP, Oct. 2019 [bibTex]
- Rishabh Iyer and Luis Pedrosa and Arseniy Zaostrovnykh and Solal Pirelli and Katerina Argyraki and George Candea, Performance Contracts for Software Network Functions, presented at NSDI, Feb. 2019 [bibTex]