???global.info.a_carregar???
Luís David Figueiredo Mascarenhas Moreira Pedrosa. Concluiu o(a) Mestrado em Engenharia de Redes de Comunicações em 2007/11/09 pelo(a) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Licenciatura em Ciências de Engenharia - Engenharia de Redes de Comunicações em 2007/09/01 pelo(a) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark e Doctor of Philosophy em PhD in Computer Science em 2016/12/14 pelo(a) University of Southern California. É Investigador no(a) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Publicou 2 artigos em revistas especializadas. Possui 1 capítulo(s) de livros.
Read full resume ↓
Identification

Personal identification

Full name
Luís David Figueiredo Mascarenhas Moreira Pedrosa

Citation names

  • Pedrosa, Luis
  • Pedrosa, Luis D.

Author identifiers

Ciência ID
4317-80C2-6FEF
ORCID iD
0000-0002-4611-8309
Google Scholar ID
Rue7JwcAAAAJ
Researcher Id
AAM-6240-2020
Scopus Author Id
25927476200

Websites

Languages

Language Speaking Reading Writing Listening Peer-review
English (Mother tongue)
Portuguese (Mother tongue)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Intermediate (B1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
2009/08/01 - 2016/12/14
Concluded
 PhD in Computer Science (Doctor of Philosophy)
University of Southern California, United States
"Systematic Analysis of Network Protocol Implementations" (THESIS/DISSERTATION)
 3.95
2002/08/01 - 2007/11/09
Concluded
 Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
"WMTP: Wireless Modular Transport Protocol" (THESIS/DISSERTATION)
 18.48
2002/08/01 - 2007/09/01
Concluded
 Ciências de Engenharia - Engenharia de Redes de Comunicações (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
 18.16
Affiliation

Science

Category
Host institution 		Employer
2019/07/29 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2006/10/15 - 2019/08/31 Postdoc (Research) École Polytechnique Fédérale de Lausanne, Switzerland
École Polytechnique Fédérale de Lausanne, Switzerland
2013/05 - 2014/05 Research Trainee (Research) Google Inc, United States
Google Inc, United States
2012/05 - 2012/08 Research Trainee (Research) Microsoft Research, United States
Microsoft Research, United States
2008 - 2009 Research Trainee (Research) Instituto de Telecomunicações, Portugal
Instituto de Telecomunicações, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2019/09/01 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
2023/03/01 - 2026/02/28 Estrutura para uma Internet multi-arquitetura
2022.09325.PTDC
10.54499/2022.09325.PTDC
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Instituto de Telecomunicações Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2023/01 - 2026/01 ACES - Autopoietic Cognitive Edge-cloud Services
101093126
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Horizon 2020
Ongoing
2024/01/01 - 2024/12/31 SALAD-Nets - Synthesizing Adaptive Large-scale Accelerated and Distributed Network Functions
2022.15622.CMU
10.54499/2022.15622.CMU
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/11/01 - 2022/04/30 SyNAPSE - Synthesizing Network Accelerators using Programmable Switching Equipment
CMU/TIC/0083/2019
10.54499/CMU/TIC/0083/2019
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
Outputs

Publications

Book chapter
  1. Tiago Camilo; Pedro Melo; André Rodrigues; Pedrosa, Luís; Jorge Sá Silva; Rui Neves; Rui Rocha; Fernando Boavida. "Wireless Sensor Network Deployment: an Experimental Approach". In Wireless Mesh Networking. McGraw-Hill International, 2008.
    Published
Conference paper
  1. Francisco Pereira; Fernando M. V. Ramos; Pedrosa, Luis. "Automatic Parallelization of Software Network Functions". Paper presented in 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI'24), Santa Clara, CA, 2024.
  2. Pereira, Francisco; Matos, Gonçalo; Sadok, Hugo; Kim, Daehyeok; Martins, Ruben; Sherry, Justine; Ramos, Fernando M. V.; Pedrosa, Luis. "Automatic generation of network function accelerators using component-based synthesis". Paper presented in The ACM SIGCOMM Symposium on SDN Research (SOSR), 2022.
    10.1145/3563647.3563656
  3. Zaostrovnykh, Arseniy; Pirelli, Solal; Iyer, Rishabh; Rizzo, Matteo; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "Verifying Software Network Functions with No Verification Expertise". Paper presented in 27th ACM Symposium on Operating Systems Principles (SOSP'19), Huntsville, Ontario, 2019.
    10.1145/3341301.3359647
  4. Rishabh Iyer; Pedrosa, Luís; Arseniy Zaostrovnykh; Solal Pirelli; Katerina Argyraki; George Candea. "Performance Contracts for Software Network Functions". Paper presented in 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19), Boston, MA, 2019.
    Published
  5. Pedrosa, Luis; Iyer, Rishabh; Zaostrovnykh, Arseniy; Fietz, Jonas; Argyraki, Katerina. "Automated Synthesis of Adversarial Workloads for Network Functions". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18), Budapest, 2018.
    Published • 10.1145/3230543.3230573
  6. Zaostrovnykh, Arseniy; Pirelli, Solal; Pedrosa, Luis; Argyraki, Katerina; Candea, George. "A Formally Verified NAT". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'17), Los Angeles, CA, 2017.
    10.1145/3098822.3098833
  7. Flach, Tobias; Papageorge, Pavlos; Terzis, Andreas; Pedrosa, Luis; Cheng, Yuchung; Karim, Tayeb; Katz-Bassett, Ethan; Govindan, Ramesh. "An Internet-Wide Analysis of Traffic Policing". Paper presented in ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'16), 2016.
    10.1145/2934872.2934873
  8. Pedrosa, Luís; Ari Fogel; Nupur Kothari; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "Analyzing Protocol Implementations for Interoperability". Paper presented in 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015.
    Published
  9. Ari Fogel; Stanley Fung; Pedrosa, Luís; Meg Walraed-Sullivan; Ramesh Govindan; Ratul Mahajan; Todd Millstein. "A General Approach to Network Configuration Analysis". Paper presented in 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015.
    Published
  10. Verma, Abhishek; Pedrosa, Luis; Korupolu, Madhukar; Oppenheimer, David; Tune, Eric; Wilkes, John. "Large-scale cluster management at Google with Borg". Paper presented in 10th European Conference on Computer Systems (EuroSys'15), 2015.
    Published • 10.1145/2741948.2741964
  11. Flach, Tobias; Mishra, Nilesh; Pedrosa, Luis; Riesz, Christopher; Govindan, Ramesh. "CarMA: Towards Personalized Automotive Tuning". Paper presented in 9th ACM Conference on Embedded Networked Sensor Systems (SenSys'11), 2011.
    Published • 10.1145/2070942.2070957
  12. Melo, Pedro; Pedrosa, Luis D.; Rocha, Rui M.. "Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios". Paper presented in 2nd International Workshop on Sensor Networks (SN 2009), 2009.
    Published • 10.1109/icccn.2009.5235275
  13. Oliveira, Carla; Pedrosa, Luis; Rocha, Rui M.. "Characterizing On-Body Wireless Sensor Networks". Paper presented in Wireless Sensor Networks Workshop, 2008.
    Published • 10.1109/ntms.2008.ecp.30
  14. Pedrosa, Luis D.; Rocha, Rui M.. "WMTP - A Modular WSN Transport Protocol: The Fairness Module". Paper presented in Wireless Sensor Networks Workshop, 2008.
    Published • 10.1109/ntms.2008.ecp.103
  15. Pedrosa, L.D.; Melo, P.; Rocha, R.M.; Neves, R.. "A Flexible Approach to WSN Deployment". Paper presented in 1st International Workshop on Sensor Networks (SN 2008), 2008.
    Published • 10.1109/icccn.2008.ecp.161
Journal article
  1. Santos, André C.; Pedrosa, Luís D.; Kuipers, Martijn; Rocha, Rui M.. "Resource Description Language: A Unified Description Language for Network Embedded Resources". International Journal of Distributed Sensor Networks 8 8 (2012): 860864. http://dx.doi.org/10.1155/2012/860864.
    Published • 10.1155/2012/860864
  2. Pedrosa, Luis D.; Melo, Pedro; Rocha, Rui M.; Neves, Rui. "A Flexible Approach to WSN Development and Deployment". International Journal of Sensor Networks 6 3/4 (2009): 199. http://dx.doi.org/10.1504/ijsnet.2009.029396.
    Published • 10.1504/ijsnet.2009.029396
Activities

Association member

Society Organization name Role
2013 - Current Association for Computing Machinery

Conference scientific committee

Conference name Conference host
2020 - 2020 SIGCOMM 2020
2019 - 2019 Architectural Support for Programming Languages and Operating Systems (ASPLOS) Lausanne, Switzerland

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2023/11/13 - 2024/01/05 Computer Networks Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2023/05 - 2023/07 Mobile and Ubiquitous Computing Mestrado em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/05 - 2022/07 Mobile and Ubiquitous Computing Mestrado em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/11/29 - 2022/03/04 Computer Networks Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2021/03 - 2021/07 Mobile and Ubiquitous Computing Mestrado em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09 - 2021/02 Computer Networks Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2020/02 - 2020/07 Mobile and Ubiquitous Computing Mestrado em Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09 - 2020/02 Computer Networks Licenciatura em Engenharia Informática e de Computadores (Licenciatura) Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2018/02 - 2018/05 Systems Programming Project Computer Science (Bachelor) École Polytechnique Fédérale de Lausanne, Switzerland

Journal scientific committee

Journal title (ISSN) Publisher
2018 - 2018 ACM SIGCOMM Computer Communication Review (0146-4833) Association for Computing Machinery
2017 - 2017 Mobile Information Systems (1875-905X) Hindawi Limited
Distinctions

Award

2022 Excellence in Teaching Award
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 Excellence in Teaching Award
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 Excellence in Teaching Award
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 University of Southern California Best Research Assistant in Computer Science
University of Southern California, United States
2008 2nd Technical University of Lisbon / Santander Totta Prize "The Technical University of Lisbon's Best Students"
Universidade de Lisboa, Portugal
2007 Professor Luís Vidigal Award
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 Most Valuable Student
Microsoft Portugal, Portugal
2006 Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 Caixa Geral de Depósitos Award
Caixa Geral de Depositos, Portugal
2005 Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2005 Caixa Geral de Depósitos Award
Caixa Geral de Depositos, Portugal
2004 Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004 Merit Scholarship
Universidade de Lisboa, Portugal
2003 Merit Diploma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2003 Merit Scholarship
Universidade de Lisboa, Portugal
2002 Bronze Medal, VII Ibero-American Physics Olympiad