Solal Pirelli

PhD Student
INN 331
Station 14
1015 Lausanne, Switzerland, LinkedIn, GitHub

I work on making verification and verified systems practical, so that normal developers can use verification techniques in their code.

I received by MSc in Computer Science in 2018, and my BSc in Computer Science in 2015, both from EPFL.

For more details, please see my resume.


A Simpler and Faster NIC Driver Model for Network Functions. Solal Pirelli and George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Banff, Canada, November 2020 (talk video)

Verifying Software Network Functions with No Verification Expertise. Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki,George Candea. ACM Symposium on Operating Systems Principles (SOSP), Ontario, Canada, Oct 2019

Performance Contracts for Software Network Functions. Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, George Candea. USENIX Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, February 2019 (talk video)

A Formally Verified NAT Stack. Solal Pirelli, Arseniy Zaostrovnykh, George Candea. ACM SIGCOMM Kernel Bypassing Networks workshop (KBNets), Budapest, Hungary, August 2018 (Best Paper Award) (talk video)

A Formally Verified NAT. Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, George Candea. ACM SIGCOMM Conference (SIGCOMM), Los Angeles, CA, August 2017