Follow
Solal Pirelli
Solal Pirelli
Verified email at epfl.ch
Title
Cited by
Cited by
Year
A Formally Verified NAT
A Zaostrovnykh, S Pirelli, L Pedrosa, K Argyraki, G Candea
SIGCOMM, 2017
702017
Performance Contracts for Software Network Functions
R Iyer, L Pedrosa, A Zaostrovnykh, S Pirelli, K Argyraki, G Candea
NSDI, 2019
492019
Verifying Software Network Functions with No Verification Expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
SOSP, 2019
482019
A Simpler and Faster NIC Driver Model for Network Functions
S Pirelli, G Candea
OSDI, 2020
162020
Automated Verification of Network Function Binaries
S Pirelli, A Valentukonytė, K Argyraki, G Candea
NSDI, 2022
112022
A Formally Verified NAT Stack
S Pirelli, A Zaostrovnykh, G Candea
SIGCOMM KBNets workshop ; Best Paper Award, 2018
112018
Safe Low-Level Code Without Overhead is Practical
S Pirelli, G Candea
ICSE, 2023
12023
Automated Formal Verification of Software Network Functions
S Pirelli
EPFL, 2024
2024
HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research
R De Viti, S Pirelli, V Anand
arXiv:2308.05762, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–9