Solal Pirelli

According to our database, Solal Pirelli authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research.

Roberta De Viti, Solal Pirelli, Vaastav Anand

CoRR, 2023

Safe Low-Level Code Without Overhead is Practical.

Solal Pirelli, George Candea

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Automated Verification of Network Function Binaries.

Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2020

A Simpler and Faster NIC Driver Model for Network Functions.

Solal Pirelli, George Candea

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance Contracts for Software Network Functions.

Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

A formally verified NAT stack.

Solal Pirelli, Arseniy Zaostrovnykh, George Candea

Comput. Commun. Rev., 2018

2017

A Formally Verified NAT.

Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017