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.
Automated Verification of Network Function Binaries. Solal Pirelli, Akvilė Valentukonytė, Katerina Argyraki, George Candea. USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, WA, April 2022
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)