Luis Pedrosa

According to our database, Luis Pedrosa authored at least 17 papers between 2008 and 2024.

Collaborative distances:

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

2024

Automatic Parallelization of Software Network Functions.

Francisco Pereira, Fernando M. V. Ramos, Luis Pedrosa

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2022

Automatic generation of network function accelerators using component-based synthesis.

Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, Luis Pedrosa

Proceedings of the SOSR '22: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, October 19, 2022

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

Automated synthesis of adversarial workloads for network functions.

Luis Pedrosa, Rishabh R. Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina J. Argyraki

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 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

2016

An Internet-Wide Analysis of Traffic Policing.

Tobias Flach, Pavlos Papageorge, Andreas Terzis, Luis Pedrosa, Yuchung Cheng, Tayeb A Karim, Ethan Katz-Bassett, Ramesh Govindan

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2015

Analyzing Protocol Implementations for Interoperability.

Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

A General Approach to Network Configuration Analysis.

Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Large-scale cluster management at Google with Borg.

Abhishek Verma, Luis Pedrosa, Madhukar Korupolu, David Oppenheimer, Eric Tune, John Wilkes

Proceedings of the Tenth European Conference on Computer Systems, 2015

2012

Resource Description Language: A Unified Description Language for Network Embedded Resources.

André C. Santos, Luís D. Pedrosa, Martijn Kuipers, Rui Manuel Rocha

Int. J. Distributed Sens. Networks, 2012

2011

CarMA: towards personalized automotive tuning.

Tobias Flach, Nilesh Mishra, Luis Pedrosa, Christopher Riesz, Ramesh Govindan

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

2009

A flexible approach to WSN development and deployment.

Luís D. Pedrosa, Pedro Melo, Rui Manuel Rocha, Rui Neves

Int. J. Sens. Networks, 2009

Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios.

Pedro Melo, Luís D. Pedrosa, Rui Manuel Rocha

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

2008

WMTP - A Modular WSN Transport Protocol: The Fairness Module.

Luís D. Pedrosa, Rui Manuel Rocha

Proceedings of the NTMS 2008, 2008

Characterizing On-Body Wireless Sensor Networks.

Carla Oliveira, Luís D. Pedrosa, Rui Manuel Rocha

Proceedings of the NTMS 2008, 2008

A Flexible Approach to WSN Deployment.

Luís D. Pedrosa, Pedro Melo, Rui Manuel Rocha, Rui Neves

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008