Solal Pirelli

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Theoretical Frameworks

Automated Verification

Software Engineering

High Level Abstractions

Top Venues

Comput. Commun. Rev.

Publications

Solal Pirelli
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report. SEET@ICSE (2024)
Roberta De Viti, Solal Pirelli, Vaastav Anand
HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research. CoRR (2023)
Solal Pirelli, George Candea
Safe Low-Level Code Without Overhead is Practical. ICSE (2023)
Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea
Automated Verification of Network Function Binaries. NSDI (2022)
Solal Pirelli, George Candea
A Simpler and Faster NIC Driver Model for Network Functions. OSDI (2020)
Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea
Performance Contracts for Software Network Functions. NSDI (2019)
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea
Verifying software network functions with no verification expertise. SOSP (2019)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A Formally Verified NAT Stack. KBNets@SIGCOMM (2018)
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
A formally verified NAT stack. Comput. Commun. Rev. 48 (5) (2018)
Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea
A Formally Verified NAT. SIGCOMM (2017)