Luis Pedrosa

4 papers · 2015–2024 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (9) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (6)

Conferences

NSDI (4)

Top co-authors

Ari Fogel (2) Ratul Mahajan (2) Todd Millstein (2) Ramesh Govindan (2) Stanley Fung (1) Solal Pirelli (1) Meg Walraed-Sullivan (1) Arseniy Zaostrovnykh (1) Nupur Kothari (1) Fernando M. V. Ramos (1)

Keywords

performance modeling (1) static analysis (1) symbolic execution (1) packet processing (1) software verification (1) traffic distribution (1) network function (1) software network function (1) automatic parallelization (1) receive side scaling (1) shared-nothing architecture (1)

Papers

Automatic Parallelization of Software Network Functions NSDI 2024

Performance Contracts for Software Network Functions NSDI 2019

A General Approach to Network Configuration Analysis NSDI 2015

Analyzing Protocol Implementations for Interoperability NSDI 2015