A Formally Verified NAT. - Arseniy Zaostrovnykh; Solal Pirelli; Luis Pedrosa; Katerina J. Argyraki; George Candea (SIGCOMM, 2017)

A Formally Verified NAT Stack. - Solal Pirelli; Arseniy Zaostrovnykh; George Candea (KBNets@SIGCOMM, 2018)

Performance Contracts for Software Network Functions. - Rishabh R. Iyer; Luis Pedrosa; Arseniy Zaostrovnykh; Solal Pirelli; Katerina J. Argyraki; George Candea (NSDI, 2019)

Verifying software network functions with no verification expertise. - Arseniy Zaostrovnykh; Solal Pirelli; Rishabh R. Iyer; Matteo Rizzo; Luis Pedrosa; Katerina J. Argyraki; George Candea (SOSP, 2019)

A Simpler and Faster NIC Driver Model for Network Functions. - Solal Pirelli; George Candea (OSDI, 2020)

Automated Verification of Network Function Binaries. - Solal Pirelli; Akvile Valentukonyte; Katerina J. Argyraki; George Candea (NSDI, 2022)

Safe Low-Level Code Without Overhead is Practical. - Solal Pirelli; George Candea (ICSE, 2023)

HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research. - Roberta De Viti; Solal Pirelli; Vaastav Anand (CoRR, 2023)

Towards Safer Heuristics With XPlain. - Pantea Karimi; Solal Pirelli; Siva Kesava Reddy Kakarla; Ryan Beckett; Santiago Segarra; Beibin Li; Pooria Namyar; Behnaz Arzani (HotNets, 2024)

Scalable Teaching of Software Engineering Theory and Practice: An Experience Report. - Solal Pirelli (SEET@ICSE, 2024)

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants. - Beatriz Borges; Negar Foroutan; Deniz Bayazit; Anna Sotnikova; Syrielle Montariol; Tanya Nazaretzky; Mohammadreza Banaei; Alireza Sakhaeirad; Philippe Servant; Seyed Parsa Neshaei; Jibril Frej; Angelika Romanou; et al. (CoRR, 2024)