Luis Pedrosa
Luis Pedrosa
Assistant Professor, Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
Large-scale cluster management at Google with Borg
A Verma, L Pedrosa, M Korupolu, D Oppenheimer, E Tune, J Wilkes
Proceedings of the Tenth European Conference on Computer Systems, 18, 2015
10552015
A general approach to network configuration analysis
A Fogel, S Fung, L Pedrosa, M Walraed-Sullivan, R Govindan, R Mahajan, ...
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
1782015
An Internet-wide analysis of traffic policing
T Flach, P Papageorge, A Terzis, L Pedrosa, Y Cheng, T Karim, ...
Proceedings of the 2016 ACM SIGCOMM Conference, 468-482, 2016
612016
A Formally Verified NAT
A Zaostrovnykh, S Pirelli, L Pedrosa, K Argyraki, G Candea
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
482017
Analyzing protocol implementations for interoperability
L Pedrosa, A Fogel, N Kothari, R Govindan, R Mahajan, T Millstein
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
322015
Carma: towards personalized automotive tuning
T Flach, N Mishra, L Pedrosa, C Riesz, R Govindan
Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems …, 2011
29*2011
Automated synthesis of adversarial workloads for network functions
L Pedrosa, R Iyer, A Zaostrovnykh, J Fietz, K Argyraki
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
262018
Performance Contracts for Software Network Functions
R Iyer, L Pedrosa, A Zaostrovnykh, S Pirelli, K Argyraki, G Candea
16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19), 2019
222019
Verifying Software Network Functions with No Verification Expertise
A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ...
27th ACM Symposium on Operating Systems Principles (SOSP'19), 2019
182019
Resource description language: A unified description language for network embedded resources
AC Santos, LD Pedrosa, M Kuipers, RM Rocha
International Journal of Distributed Sensor Networks 8 (8), 860864, 2012
142012
Characterizing on-body wireless sensor networks
C Oliveira, L Pedrosa, RM Rocha
2008 New Technologies, Mobility and Security, 1-6, 2008
112008
A flexible approach to WSN development and deployment
LD Pedrosa, P Melo, RM Rocha, R Neves
International Journal of Sensor Networks 6 (3-4), 199-211, 2009
102009
The case for complexity prediction in automatic partitioning of cloud-enabled mobile applications
LD Pedrosa, N Kothari, R Govindan, J Vaughan, T Millstein
Small 20, 25, 2012
92012
A flexible approach to WSN deployment
LD Pedrosa, P Melo, RM Rocha, R Neves
2008 Proceedings of 17th International Conference on Computer Communications …, 2008
82008
Wireless sensor network deployment: An experimental approach
T Camilo, P Melo, A Rodrigues, L Pedrosa, JS Silva, R Neves, R Rocha, ...
Wireless Mesh Networking, 352-362, 2008
82008
WMTP-A Modular WSN Transport Protocol: The Fairness Module
LD Pedrosa, RM Rocha
2008 New Technologies, Mobility and Security, 1-6, 2008
62008
Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios
P Melo, LD Pedrosa, RM Rocha
2009 Proceedings of 18th International Conference on Computer Communications …, 2009
32009
WMTP: Wireless Modular Transport Protocol
L Pedrosa, RM Rocha
MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, 2007
22007
A Longitudinal Analysis of Traffic Policing Across the Web
T Flach, L Pedrosa, E Katz-Bassett, R Govindan
USC Computer Science Technical Report 15-961, 2015
12015
Systematic Analysis of Network Protocol Implementations
LD Pedrosa
University of Southern California, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20