Følg
Luis Pedrosa
Luis Pedrosa
Assistant Professor, Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Bekræftet mail på tecnico.ulisboa.pt - Startside
Titel
Citeret af
Citeret af
År
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
13472015
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
2422015
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
792016
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
552017
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
412015
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
362018
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
322019
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
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
262019
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
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
112009
Characterizing on-body wireless sensor networks
C Oliveira, L Pedrosa, RM Rocha
2008 New Technologies, Mobility and Security, 1-6, 2008
112008
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
102012
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
42009
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
22015
WMTP: Wireless Modular Transport Protocol
L Pedrosa, RM Rocha
MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, 2007
22007
Systematic Analysis of Network Protocol Implementations
LD Pedrosa
University of Southern California, 2016
2016
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20