The Maestro paper has been accepted at NSDI'24. Congratulations Francisco!
Read the pre-print while we work on the camera-ready!

Curriculum Vitae

Luis D. Pedrosa

Table of Contents:


Personal Information:

Full Name: Luís David Figueiredo Mascarenhas Moreira Pedrosa
Date of Birth: May 23, 1984
Place of Birth: Lisbon, Portugal
Citizenship: Portugal
Postal Address:

Rua Alves Redol, 9
Gabinete 529
1000-029 Lisboa
Portugal

E-mail: luis.pedrosa@tecnico.ulisboa.pt
Web Page: https://pedrosa.2y.net/


Education:


Professional and/or Scientific Activities:


Previous and Current Research Projects:


Publications:

Theses:

  1. Luis Pedrosa; Systematic Analysis of Network Protocol Implementations. PhD Thesis, University of Southern California. 2016
    Open Website Download PDF Document More Information
  2. Luis Pedrosa; WMTP: Wireless Modular Transport Protocol. Master's Thesis, Instituto Superior Técnico / Technical University of Lisbon. 2007
    Open Website Download PDF Document More Information

Conference Papers:

  1. Francisco Pereira, Fernando M. V. Ramos, and Luis Pedrosa; Automatic Parallelization of Software Network Functions. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI'24). 2024
    More Information
  2. Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, and Luis Pedrosa; Automatic Generation of Network Function Accelerators Using Component-Based Synthesis. In 2022 Symposium on SDN Research (SOSR'22). 2022
    Open Website Download PDF Document More Information
  3. Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea; Performance Contracts for Software Network Functions. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19). 2019
    Open Website Download PDF Document Download MPEG-4 Video More Information
  4. Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, and George Candea; Verifying Software Network Functions with No Verification Expertise. In 27th ACM Symposium on Operating Systems Principles (SOSP'19). 2019
    Open Website Download PDF Document More Information
  5. Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, and Katerina Argyraki; Automated Synthesis of Adversarial Workloads for Network Functions. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18). 2018
    Open Website Download PDF Document More Information
  6. Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, and George Candea; A Formally Verified NAT. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'17). 2017
    Open Website Download PDF Document Download MPEG-4 Video More Information
  7. Tobias Flach, Pavlos Papageorge, Andreas Terzis, Luis Pedrosa, Yuchung Cheng, Tayeb Karim, Ethan Katz-Bassett, and Ramesh Govindan; An Internet-Wide Analysis of Traffic Policing. In Proceedings of the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'16). 2016
    Open Website Download PDF Document More Information
  8. Abhishek Verma, Luis Pedrosa, Madhukar R. Korupolu, David Oppenheimer, Eric Tune, and John Wilkes; Large-scale cluster management at Google with Borg. In Proceedings of the 10th European Conference on Computer Systems (EuroSys'15). 2015
    Download PDF Document More Information
  9. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, and Todd Millstein; Analyzing Protocol Implementations for Interoperability. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15). 2015
    Open Website Download PDF Document More Information
  10. Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein; A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15). 2015
    Open Website Download PDF Document Download MPEG-4 Video More Information
  11. Tobias Flach, Nilesh Mishra, Luis Pedrosa, Christopher Riesz, and Ramesh Govindan; CarMA: Towards Personalized Automotive Tuning. In Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems. 2011
    Open Website Download PDF Document More Information
  12. Pedro Melo, Luis Pedrosa, and Rui Rocha; Interconnecting WSNs with Fast Moving Nodes: Experiments in Real-World Scenarios. In The Second International Workshop on Sensor Networks - SN 2009. 2009
    Download PDF Document More Information
  13. Luis Pedrosa, Pedro Melo, Rui Rocha, and Rui Neves; A Flexible Approach to WSN Deployment. In The First International Workshop on Sensor Networks - SN 2008. 2008
    Open Website Download PDF Document More Information
  14. Carla Oliveira, Luis Pedrosa, and Rui Rocha; Characterizing On-Body Wireless Sensor Networks. In IFIP International Conf. on New Technologies, Mobility and Security - Wireless Sensor Networks Workshop - NTMS. 2008
    Download PDF Document More Information
  15. Luis Pedrosa, and Rui Rocha; WMTP - A Modular WSN Transport Protocol: The Fairness Module. In IFIP International Conf. on New Technologies, Mobility and Security - Wireless Sensor Networks Workshop - NTMS. 2008
    Open Website Download PDF Document More Information

Journal Papers:

  1. André Santos, Luis Pedrosa, Martijn Kuipers, and Rui Rocha; Resource Description Language: A Unified Description Language for Network Embedded Resources. International Journal of Distributed Sensor Networks, 2012(860864). 2012
    Open Website Download PDF Document More Information
  2. Luis Pedrosa, Pedro Melo, Rui Rocha, and Rui Neves; A Flexible Approach to WSN Development and Deployment. International Journal of Sensor Networks, 6(3/4):199 - 211. 2009
    Open Website More Information

Book Chapters:

  1. Tiago Camilo, Pedro Melo, André Rodrigues, Luis Pedrosa, Jorge Sá Silva, Rui Neves, Rui Rocha, and Fernando Boavida; Wireless Sensor Network Deployment: an Experimental Approach. In Wireless Mesh Networking. McGraw-Hill International. 2008
    Open Website Download PDF Document More Information

Scholarships, Honors, and Awards:

  • University of Southern California Best Research Assistant in Computer Science in 2015.
  • Inducted into the Phi Kappa Phi honor society in 2015.
  • Recipient of a Doctoral Fellowship from the Portuguese Government Foundation for Science and Technology, from 2009 to 2013.
  • Awarded the University of Southern California Viterbi School of Engineering Dean's Merit Top-off Fellowship, from 2009 to 2011.
  • Awarded a 2nd Technical University of Lisbon / Santander Totta Prize "The Technical University of Lisbon's Best Students", in 2008, for merit achieved in the context of a global education, highlighting scientific, academic, cultural, and civic aspects.
  • Professor Luís Vidigal Award 2006 / 2007, for the best M.Sc. Thesis within the Electrical Engineering and Computer Science scientific areas at the Instituto Superior Técnico / Technical University of Lisbon.
  • Awarded the "Most Valuable Student" distinction, by Microsoft Portugal, in 2006.
  • Received a grant from the Instituto Superior Técnico, to develop control software for a miniature train mock-up, from January to July, 2006.
  • Merit Diploma from the Instituto Superior Técnico, in recognition of scholastic achievement for the 2005 / 2006 school year.
  • Caixa Geral de Depósitos Award, for the 2005 / 2006 school year.
  • Awarded 2nd place in the Integrated Teaching Contest 2005 / 2006 in Communication Networks Engineering, for his project in the Access Networks and Wireless Mobile Networks courses.
  • Merit Diploma from the Instituto Superior Técnico, in recognition of scholastic achievement for the 2004 / 2005 school year.
  • Caixa Geral de Depósitos Award, for the 2004 / 2005 school year.
  • Merit Diploma from the Instituto Superior Técnico, in recognition of scholastic achievement for the 2003 / 2004 school year.
  • Merit Scholarship from the Technical University of Lisbon, for the 2003 / 2004 school year.
  • Merit Diploma from the Instituto Superior Técnico, in recognition of scholastic achievement for the 2002 / 2003 school year.
  • Merit Scholarship from the Technical University of Lisbon, for the 2002 / 2003 school year.
  • Awarded a Bronze Medal during the VII Ibero-American Physics Olympiad, Guatemala, in 2002.
  • Won the National Physics Olympiad B, in 2001.
  • Won the Regional Physics Olympiad B, in 2001.

Teaching Experience and Mentoring:

  • Co-lecturer for Systems Programming Project (CS207a) at EPFL, during the 2018 Spring semester.
  • Mentored five students students at EPFL as a part of the Vigor Project, from October 2016.
  • Mentored an undergraduate students at the University of California, Los Angeles, as a part of a for credit research class, from October 2014 to May 2015.
  • Mentored an undergraduate students at the University of California, Los Angeles, as a part of a for credit research class, from October 2013 to Jun 2014.
  • Teaching Assistant for the Operating Systems class (CSCI-402) at the University of Southern California, in Fall 2013.
  • Mentored two masters students for the Computer Networks class (CSCI-551), from September 2013 to December 2013.
  • Gave two guest lectures for the Operating Systems class (CSCI-402) at the University of Southern California, in 2012.
  • Mentored three undergraduate students as a part of the NSF REU program (National Science Foundation Research Experiences for Undergraduates), in 2010.
  • Gave a guest lecture for the Wireless Sensor Networks (WSN) course at the Instituto Superior Técnico / Technical University of Lisbon, in 2009.

Languages:

  • Fluent in written and spoken English (CEFR C2 / ILR 5).
  • Fluent in written and spoken Portuguese (CEFR C2 / ILR 5).
  • Intermediate proficiency in French (CEFR B1 / ILR 2).
  • Intermediate proficiency in Spanish (CEFR B1 / ILR 2).

Additional Experience:

  • Has experience in developing software for Android based Smartphones.
  • Has experience in installing, configuring, and administrating Linux systems, including the following technologies:
    • Virtualization (VirtualBox, KVM, OpenVZ).
    • Cloud Management (OpenStack, MAAS, ProxMox).
    • Voice over IP (Asterisk).
    • Virtual Private Networking (OpenVPN).
    • Firewalls (IPTables).
    • Database Systems (PostgreSQL, MySQL, SQLite).
    • E-Mail and Groupware (Kolab Server).
    • Web Server (Apache, PHP, Perl, CGI).
  • Has experience in web development.
  • Has experience in developing software for wireless sensor networks (WSNs), specifically for Crossbow MICAz motes with the TinyOS operating system.
  • Has experience in developing software for embedded systems, specifically for ARM (e.g. Atmel AT91M55800A) and AVR (e.g. Atmel AT90S8515, ATmega16, ATmega128) processors.
  • Has experience in using the ARM Developer Suite (ADS) and IAR Embedded Workbench integrated development environments.
  • Has experience in designing printed circuit boards (PCBs) using Altium Designer.

Additional Elements: