The Vigor paper has been accepted at SOSP'19 and received a replicability badge!

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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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:


Courses and Transcripts:

Doctor of Philosophy in Computer Science
School YearSemesterCourse
2009FallCSCI-551: Computer Communications
2009FallCSCI-585: Database Systems
2009FallCSCI-597: Seminar in Computer Science Research
2010SpringCSCI-597: Seminar in Computer Science Research
2010SpringCSCI-670: Advanced Analysis of Algorithms
2010SpringCSCI-599: Trends in Mobile and Cloud Computing
2010FallCSCI-599: Program Analysis and Software Testing
2010FallCSCI-580: 3D Graphics and Rendering
2011SpringCSCI-561: Foundations of Artificial Intelligence
Master of Science in Communication Networks Engineering
School YearSemesterCourseGrade*
2004/20051Embedded Systems (Sistemas Embebidos)20
2005/20061Independent Studies III (Portfólio Pessoal III)Approved
2005/20061Access Networks (Redes de Acesso)18
2005/20061Wireless Mobile Networks (Redes Móveis e sem Fios)17
2005/20061Telecommunications Systems (Sistemas de Telecomunicações)18
2005/20062Audio and Video Communications (Comunicação Áudio e Vídeo)18
2005/20062Network Project and Planning (Planeamento e Projecto de Redes)17
2005/20062Independent Studies IV (Portfólio Pessoal IV)Approved
2005/20062Network Security (Segurança em Redes)19
2005/20062Telecommunications Software (Software de Telecomunicações)18
2006/20071Data Centers (Centros de Dados)17
2006/20071Master's Thesis in Network Communications (Dissertação/Projecto em Engenharia de Redes e Comunicações)19
2006/20071Independent Studies V (Portfólio Pessoal V)Approved
2006/20072Internet Measurement and Characterization (Medição e Caracterização da Internet)18
2006/20072Independent Studies VI (Portfólio Pessoal VI)Approved
2006/20072Wireless Sensor Networks (Redes de Sensores)19
* - Grades are shown in a scale from 0 (worst) to 20 (best); soft skill courses are simply evaluated with a passing (“Approved”) or failing (“Failed”) grade.
Bachelor of Science in Communication Networks Engineering
School YearSemesterCourseGrade*
2002/20031Linear Algebra (Álgebra Linear)19
2002/20031Mathematical Analysis I (Análise Matemática I)17
2002/20031Introduction to Programming (Introdução à Programação)19
2002/20031Digital Systems (Sistemas Digitais)18
2002/20031Theory of Computation (Teoria da Computação)19
2002/20032Algorithms and Data Structures (Algoritmos e Estrutura de Dados)19
2002/20032Mathematical Analysis II (Análise Matemática II)18
2002/20032Computer Architecture (Arquitectura de Computadores)19
2002/20032Physics I (Física I - Curso Informática)19
2002/20032Computational Mathematics (Matemática Computacional)18
2003/20041Mathematical Analysis III (Análise Matemática III)17
2003/20041Physics II (Física II)19
2003/20041Object Oriented Programming (Programação com Objectos)19
2003/20041Computer Networks I (Redes de Computadores I)19
2003/20041Operating Systems (Sistemas Operativos)18
2003/20042Mathematical Analysis IV (Análise Matemática IV)17
2003/20042Computer Graphics (Computação Gráfica)19
2003/20042Probabilities and Statistics (Probabilidades e Estatística)16
2003/20042Computer Networks II (Redes de Computadores II)19
2003/20042Distributed Systems (Sistemas Distribuídos)16
2004/20051Databases (Bases de Dados)20
2004/20051Independent Studies I (Portfólio Pessoal I)Approved
2004/20051Signals and Systems (Sinais e Sistemas)19
2004/20051Circuits Theory and Electronic Fundamentals (Teoria dos Circuitos e Fundamentos de Electrónica)19
2004/20052Electronics (Electrónica Geral)19
2004/20052Fundamentals of Telecommunication (Fundamentos de Telecomunicações)17
2004/20052Independent Studies II (Portfólio Pessoal II)Approved
2004/20052Propagation and Antennas (Propagação e Antenas)17
2004/20052Integrated Services Networks (Redes com Integração de Serviços)18
2005/20061Network and Distributed Systems Management (Gestão de Redes e Sistemas Distribuídos)19
2006/20071Fundamentals of Management (Gestão)15
* - Grades are shown in a scale from 0 (worst) to 20 (best); soft skill courses are simply evaluated with a passing (“Approved”) or failing (“Failed”) grade.