Luís D. Pedrosa

Most-cited papers

Large-scale cluster management at Google with Borg
Abhishek Verma, Luís D. Pedrosa, M. Korupolu, David Oppenheimer +2 more
2015European Conference on Computer Systems1,783 citations Open access
Semantic Scholar
A General Approach to Network Configuration Analysis
Ari Fogel, S. Fung, Luís D. Pedrosa, Meg Walraed-Sullivan +3 more
2015Symposium on Networked Systems Design and Implementation433 citations
Semantic Scholar
An Internet-Wide Analysis of Traffic Policing
Tobias Flach, Pavlos Papageorge, A. Terzis, Luís D. Pedrosa +4 more
2016Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication91 citations Open access
Semantic Scholar
A Formally Verified NAT
Arseniy Zaostrovnykh, Solal Pirelli, Luís D. Pedrosa, K. Argyraki +1 more
2017Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication58 citations Open access
Semantic Scholar
Performance Contracts for Software Network Functions
Rishabh R. Iyer, Luís D. Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli +2 more
2019Symposium on Networked Systems Design and Implementation56 citations
Semantic Scholar
Verifying software network functions with no verification expertise
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo +3 more
2019Symposium on Operating Systems Principles56 citations Open access
Semantic Scholar
Automated synthesis of adversarial workloads for network functions
Luís D. Pedrosa, Rishabh R. Iyer, Arseniy Zaostrovnykh, J. Fietz +1 more
2018Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication46 citations Open access
Semantic Scholar
Analyzing Protocol Implementations for Interoperability
Luís D. Pedrosa, Ari Fogel, N. Kothari, Ramesh Govindan +2 more
2015Symposium on Networked Systems Design and Implementation38 citations
Semantic Scholar
CarMA: towards personalized automotive tuning
Tobias Flach, Nilesh Mishra, Luís D. Pedrosa, Christopher Riesz +1 more
2011ACM International Conference on Embedded Networked Sensor Systems25 citations
Semantic Scholar
Automatic Parallelization of Software Network Functions
Francisco Pereira, Fernando M. V. Ramos, Luís D. Pedrosa
2023Symposium on Networked Systems Design and Implementation14 citations Open access
Semantic Scholar
Automatic generation of network function accelerators using component-based synthesis
Francisco Pereira, G. Matos, Hugo Sadok, Daehyeok Kim +4 more
2022ACM SIGCOMM Symposium on Software Defined Networking Research12 citations Open access
Semantic Scholar
A flexible approach to WSN development and deployment
Luís D. Pedrosa, P. Melo, R. Rocha, R. Neves
2009Int. J. Sens. Networks12 citations
Semantic Scholar
Characterizing On-Body Wireless Sensor Networks
Carla Oliveira, Luís D. Pedrosa, R. Rocha
2008International Conference on New Technologies, Mobility and Security12 citations
Semantic Scholar
Resource Description Language: A Unified Description Language for Network Embedded Resources
André C. Santos, Luís D. Pedrosa, Martijn Kuipers, R. Rocha
2012Int. J. Distributed Sens. Networks10 citations Open access
Semantic Scholar
The Case for Complexity Prediction in Automatic Partitioning of Cloud-enabled Mobile Applications
Luís D. Pedrosa, N. Kothari, R. Govindan, Jeff Vaughan +1 more
20128 citations
Semantic Scholar
A Flexible Approach to WSN Deployment
Luís D. Pedrosa, P. Melo, R. Rocha, R. Neves
20082008 Proceedings of 17th International Conference on Computer Communications and Networks8 citations
Semantic Scholar
Internet Architecture Evolution: Found in Translation
Guilherme Ribeiro, Luís D. Pedrosa, S. Signorello, Fernando M. V. Ramos
2024ACM Workshop on Hot Topics in Networks6 citations Open access
Semantic Scholar
WMTP - A Modular WSN Transport Protocol: The Fairness Module
Luís D. Pedrosa, R. Rocha
2008International Conference on New Technologies, Mobility and Security4 citations
Semantic Scholar
A Longitudinal Analysis of Traffic Policing Across the Web
Tobias Flach, Luís D. Pedrosa, Ethan Katz-Bassett, R. Govindan
20163 citations
Semantic Scholar
Energy-Aware Adaptive Security for Smart Farming (EAASF): A Hybrid IDS-IPS Framework with SDN-Orchestrated for Agriculture 4.0
Seyed Jamal Mirsadri, Ricardo Chaves, Luís D. Pedrosa
2025IEEE International Symposium on Network Computing and Applications1 citations
Semantic Scholar
Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios
P. Melo, Luís D. Pedrosa, R. Rocha
20092009 Proceedings of 18th International Conference on Computer Communications and Networks1 citations
Semantic Scholar
Poster: SALAD-Nets: Synthesizing Adaptive, Accelerated, and Distributed Network Functions
Rui Miguel, Luís D. Pedrosa, Fernando M. V. Ramos
2025IEEE International Symposium on Network Computing and Applications0 citations
Semantic Scholar
Test-beds for Opportunistic Communication Experiments
A. Kassler, R. Scopigno, R. Rocha, Luís D. Pedrosa +4 more
20090 citations
Semantic Scholar