Solal Pirelli

3 papers · 2019–2022 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (8) 🧭 Keyword Pioneer

Conferences

NSDI (2) OSDI (1)

Top co-authors

George Candea (3) Katerina Argyraki (2) Rishabh Iyer (1) Akvilė Valentukonytė (1) Arseniy Zaostrovnykh (1) Luis Pedrosa (1)

Keywords

formal verification (2) binary analysis (1) network security (1) performance modeling (1) static analysis (1) symbolic execution (1) software verification (1) network driver (1) packet buffer (1) driver model (1) software stack (1) network function (1)

Papers

Automated Verification of Network Function Binaries NSDI 2022

A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020

Performance Contracts for Software Network Functions NSDI 2019