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
- Scholastic Training
- Previous Professional and/or Scientific Activities and Current Situation
- Previous and Current Research Projects
- Publications
- Scholarships, Honors, and Awards
- Teaching Experience and Mentoring
- Languages
- Additional Experience
- Additional Elements
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:
- University of Southern California, from 2009 to 2016.
PhD in Computer Science, advised by Prof. Ramesh Govindan, with a grade point average of 3.95 (out of 4). - Instituto Superior Técnico / Technical University of Lisbon, from 2002 to 2007.
Master of Science in Communication Networks Engineering, advised by Prof. Rui Rocha, with a grade point average of 18.48 (out of 20).
Bachelor of Science in Communication Networks Engineering, with a grade point average of 18.16 (out of 20). - Finished high school in the 2001 / 2002 school year, with a grade point average of 18.1 (out of 20).
- Attended elementary school in the United States of America.
Professional and/or Scientific Activities:
- Assistant Professor, at Instituto Superior Técnico / University of Lisbon, since 2019.
- Postdoctoral Researcher, at the Swiss Federal Institute of Technology in Lausanne (EPFL - École Polytechnique Fédérale de Lausanne), from 2016 to 2019.
- Graduate Research Assistant in Computer Science, at the University of Southern California, from 2010 to 2016.
- Software Engineering Intern in the Borg cluster management team, at Google Inc., from May 2013 to May 2014.
- Graduate Teaching Assistant for CSCI-402 - Operating Systems, at the University of Southern California, Fall 2013.
- Intern in the Mobility and Networking Research group at Microsoft Research, from May 2012 to August 2012.
- Member of the Embedded Networks Laboratory, at the University of Southern California, since 2009.
- Member of IT – Instituto de Telecomunicações, from 2008 to 2009.
- Member of GEMS – Group of Embedded Networked Systems and Heterogeneous Networks at LEMe – Laboratory of Excellence in Mobility, from 2006 to 2009.
- Session Chair at the First International Workshop on Security of Computer Communications and Networks (SoCCaN 2008), St. Thomas, U.S. Virgin Islands, August 4-7, 2008.
- Intern at Tecmic – Tecnologias de Microelectrónica, S.A., integrating Bluetooth Technology with the XTraN System, from November 2006 to February 2007.
- Intern at LEMe – Laboratory of Excellence in Mobility, developing a wireless sensor network technology demonstrator, in 2006.
- Founding Member of NEERCI-IST – Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico where he was Vice-President from establishment (March 11, 2005) to December 2006.
Previous and Current Research Projects:
- Participated in the Bolt Project, from 2018 to 2019.
- Participated in the Vigor Project, from 2016 to 2019.
- Participating in the SPA (Systematic Protocol Analysis) Project, since 2014.
- Participated in the PIC (Protocol Interoperability Checker) Project, from 2011 to 2015.
- Participated in the MobiProg Project, from 2009 to 2011.
- Participated in the ShakeNet Project, in 2011.
- Participated in the CarMA Project, from 2010 to 2011.
- Participated in the Modulus Project, from 2008 to 2009.
- Participated in the RDL (Resource Description Language) Project, from 2008 to 2009.
- Participated in NEWCOM++ – Network of Excellence in Wireless Communications, an IST – Information Society Technologies 7th Framework Programme European Union Project, from 2008 to 2009.
- Participated in the WMTP (Wireless Modular Transport Protocol) Project, from 2006 to 2007.
- Participated in the CRUISE – CReating Ubiquitous Intelligent Sensing Environments Network of Excellence, an IST – Information Society Technologies 6th Framework Programme European Union Project.
Publications:
Theses:
- Luis Pedrosa; Systematic Analysis of Network Protocol Implementations. PhD Thesis, University of Southern California. 2016
- Luis Pedrosa; WMTP: Wireless Modular Transport Protocol. Master's Thesis, Instituto Superior Técnico / Technical University of Lisbon. 2007
Conference Papers:
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Journal Papers:
- 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
- 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
Book Chapters:
- 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
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:
- Student Member of the Association for Computing Machinery (ACM), since 2013.
- Student Member of the Institute of Electrical and Electronics Engineers (IEEE), since 2008.
- Licensed Amateur Radio Technician, since 2011.
- Student representative of the Pedagogical Council to the Users Council of the Instituto Superior Técnico Computer Systems Center, for the school year of 2006 / 2007.
- Organized, through NEERCI-IST - Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico, the 2nd Annual National Meeting of Computer Science Students (ENEI 2006).
- Class President for the Class of 2007, during the 2006 / 2007 school year.
- Student Body President and Class President for the Class of 2007, during the 2005 / 2006 school year.
- Student Body President and Class President for the Class of 2007, during the 2004 / 2005 school year.
- Student Body Vice-President and Class Vice-President for the Class of 2007, during the 2003 / 2004 school year.
- Built the Módulo Business Portal web page.
- Built the original CS5CEP – Centro Espacial Português web page (no longer available).
- Built the GEMS - Group of Embedded Networked Systems and Heterogeneous Networks web page.
- Built the original NEERCI-IST - Núcleo de Estudantes de Engenharia de Redes de Comunicação e de Informação do Instituto Superior Técnico web page (no longer available).
- Built the LERCI Portal web page.