Luis Pedrosa

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 11

Top Topics

Abstraction Layer

Complex Networks

Top Venues

Publications

Francisco Pereira, Fernando M. V. Ramos, Luis Pedrosa
Automatic Parallelization of Software Network Functions. NSDI (2024)
Francisco Pereira, Fernando M. V. Ramos, Luis Pedrosa
Automatic Parallelization of Software Network Functions. CoRR (2023)
Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, Luis Pedrosa
Automatic generation of network function accelerators using component-based synthesis. SOSR (2022)
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)
Luis Pedrosa, Rishabh R. Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina J. Argyraki
Automated synthesis of adversarial workloads for network functions. SIGCOMM (2018)
Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea
A Formally Verified NAT. SIGCOMM (2017)
Tobias Flach, Pavlos Papageorge, Andreas Terzis, Luis Pedrosa, Yuchung Cheng, Tayeb Karim, Ethan Katz-Bassett, Ramesh Govindan
An Internet-Wide Analysis of Traffic Policing. SIGCOMM (2016)
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
A General Approach to Network Configuration Analysis. NSDI (2015)
Abhishek Verma, Luis Pedrosa, Madhukar Korupolu, David Oppenheimer, Eric Tune, John Wilkes
Large-scale cluster management at Google with Borg. EuroSys (2015)
Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein
Analyzing Protocol Implementations for Interoperability. NSDI (2015)
Tobias Flach, Nilesh Mishra, Luis Pedrosa, Christopher Riesz, Ramesh Govindan
CarMA: towards personalized automotive tuning. SenSys (2011)