Follow
Solal Pirelli
Solal Pirelli
Sonar
Verified email at sonarsource.com - Homepage
Title
Cited by
Cited by
Year
A Formally Verified NAT
A Zaostrovnykh, S Pirelli, L Pedrosa, K Argyraki, G Candea
SIGCOMM, 2017
712017
Verifying Software Network Functions with No Verification Expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
SOSP, 2019
582019
Performance Contracts for Software Network Functions
R Iyer, L Pedrosa, A Zaostrovnykh, S Pirelli, K Argyraki, G Candea
NSDI, 2019
572019
A Simpler and Faster NIC Driver Model for Network Functions
S Pirelli, G Candea
OSDI, 2020
202020
Automated Verification of Network Function Binaries
S Pirelli, A Valentukonytė, K Argyraki, G Candea
NSDI, 2022
142022
A Formally Verified NAT Stack
S Pirelli, A Zaostrovnykh, G Candea
SIGCOMM KBNets workshop ; Best Paper Award, 2018
112018
Towards Safer Heuristics With XPlain
P Karimi, S Pirelli, SKR Kakarla, R Beckett, S Segarra, B Li, P Namyar, ...
arXiv preprint arXiv:2410.15086, 2024
12024
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report
S Pirelli
ICSE SEET, 2024
12024
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–11