Research

My Projects

Click on each project’s title for a short blog post summarizing the project’s goals, results, and lessons learned.

Safe Low-Level Code Without Overhead is Practical
S. Pirelli, G. Candea
ICSE ‘23
Paper / Artifact / Video

Automated Verification of Network Function Binaries
S. Pirelli, A. Valentukonytė, K. Argyraki, G. Candea
NSDI ‘22
DOI / Paper / Artifact / Video

A Simpler and Faster NIC Driver Model for Network Functions
S. Pirelli, G. Candea
OSDI ‘20
DOI / Paper / Artifact / Video

A Formally Verified NAT Stack
S. Pirelli, A. Zaostrovnykh, G. Candea
SIGCOMM KBNets Workshop ‘18 ; Best Paper Award
DOI / Paper / Artifact / Video

Others

Verifying Software Network Functions with No Verification Expertise
A. Zaostrovnykh, S. Pirelli, R. Iyer, M. Rizzo, L. Pedrosa, K. Argyraki, G. Candea
SOSP ‘19
DOI / Paper

Performance Contracts for Software Network Functions
R. Iyer, L. Pedrosa, A. Zaostrovnykh, S. Pirelli, K. Argyraki, G. Candea
NSDI ‘19
DOI / Paper

A Formally Verified NAT
A. Zaostrovnykh, S. Pirelli, L. Pedrosa, K. Argyraki, G. Candea
SIGCOMM ‘17
DOI / Paper