Seguir
Solal Pirelli
Solal Pirelli
EPFL
Dirección de correo verificada de epfl.ch
Título
Citado por
Citado por
Año
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
502019
Verifying Software Network Functions with No Verification Expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
SOSP, 2019
492019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9