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.


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