---

Research

Each project page contains a short blog post summarizing the project’s goals, results, and lessons learned.

Scalable Teaching of Software Engineering Theory and Practice: An Experience Report

S. Pirelli
ICSE ‘24 SEET
DOI / Paper / Artifact / Video / Slides

Safe Low-Level Code Without Overhead is Practical

S. Pirelli, G. Candea
ICSE ‘23
DOI / Paper / Artifact / Video / Slides

Automated Verification of Network Function Binaries

S. Pirelli, A. Valentukonytė, K. Argyraki, G. Candea
NSDI ‘22
DOI / Paper / Artifact / Video / Slides

A Simpler and Faster NIC Driver Model for Network Functions

S. Pirelli, G. Candea
OSDI ‘20
DOI / Paper / Artifact / Video / Slides

A Formally Verified NAT Stack

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

Projects I’ve collaborated in

These are projects I was involved in but did not lead.

Lessons Learned from Five Years of Artifact Evaluations at EuroSys

D. Cono D’Elia, T.D. Doudali, C. Giuffrida, M. Matos, S. Pirelli, G. Portokalidis, V. Schiavoni, S. Signorello, A. Vahldiek-Oberwagner
REP ‘25
DOI / Paper

Towards Safer Heuristics With XPlain

P. Karimi, S. Pirelli, S. Kakarla, R. Beckett, S. Segarra, B. Li, P. Namyar, B. Arzani
HotNets ‘24
DOI / Paper

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