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

Technical Reports and Deliverables:

  1. Tobias Flach, Luis Pedrosa, Ethan Katz-Bassett, and Ramesh Govindan; A Longitudinal Analysis of Traffic Policing Across the Web. Technical Report 15-961, University of Southern California, Computer Science Department. 2015
    Open Website Download PDF Document More Information
  2. Luis Pedrosa, Nupur Kothari, Ramesh Govindan, Jeff Vaughan, and Todd Millstein; The Case for Complexity Prediction in Automatic Partitioning of Cloud-enabled Mobile Applications. Technical Report 12-927, University of Southern California, Computer Science Department. 2012
    Open Website Download PDF Document More Information
  3. Tobias Flach, Nilesh Mishra, Luis Pedrosa, Christopher Riesz, and Ramesh Govindan; CarMA: Towards Personalized Automotive Tuning. Technical Report 11-921, University of Southern California, Computer Science Department. 2011
    Open Website Download PDF Document More Information
  4. Luis D. Pedrosa, Martijn Kuipers, Lucio Ferreira, Rui Rocha, and Luis M. Correia; Resource Description Language. Technical Report NEWCOM2/WPR.11/IST/012/009/EXT/RDL/version 1.2/2009.03.16, IST-216715/NEWCOM++. 2009
    Open Website Download PDF Document More Information
  5. Ramon Agüero, Sara Díez del Valle, Haffiz Shuaib, Chiara Buratti, Roberto Verdone, Ken Murray, Dirk Pesch, Emanuele Cipollone, Anna Abbagnale, Francesca Cuomo, Dimitri Marandin, Andreas Timm-Giel, Markus Becker, Dimitris M. Kyriazanos, Philippe Dallemagne, Krisakorn Rerkrai, Christine Jardak, Luis Pedrosa, Rui Neves, Rui M. Rocha, Timo Bräysy, Francesco Chiti, Luigia Micciullo, Aawatif M. Hayar, Laura Galluccio, Sergio Palazzo, Michalis Michaelides, and Christos Panayiotou; Framework for networks and data-aggregation protocols in WSN. Technical Report CRUISE/WP220/D220.2/version 8.0/13.12.2007, IST-027738/CRUISE. 2007
    Download PDF Document More Information
  6. Luis Pedrosa; The Wireless Modular Transport Protocol: A Modular Approach to Wireless Sensor Network Transport Layer Protocols. Technical Report, Instituto Superior Técnico / Technical University of Lisbon. 2007
    Open Website Download PDF Document More Information
  7. Ramón Agüero, Sara Díez del Valle, Luis Muñoz, Petar Popovski, Hiroyuki Yomo, Ciaran Lynch, Dirk Pesch, Slobodanka Tomic, Haris Kechagias, Luis Pedrosa, Rui Rocha, Rui Neves, Kostas Voulgaris, Imran Ashraf, Le Phu Do, Dimitri Marandin, Francesco Chiti, Sara Della Luna, Zach Selby, Krisakorn Rerkrai, Janne Riihijärvi, Santiago Felici, Daniel Schragl, Gabrielle Kotsis, Chiara Buratti, Laura Galluccio, Alessandro Leonardi, Giacomo Morabito, Sergio Palazzo, and Francesco Scoto; Protocol comparison and new features. Technical Report CRUISE/WP220/D220.1/version 2.0/29.11.2006, IST-027738/CRUISE. 2006
    Download PDF Document More Information

Posters:

  1. Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea; Performance Contracts for Software Network Functions. Presented at The 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI'19), Boston, MA, USA. 2019
    Open Website Download PDF Document More Information
  2. Rishabh Iyer, Arseniy Zaostrovnykh, Luis Pedrosa, Katerina Argyraki, and George Candea; Formal Performance Contracts for Software Network Functions. Presented at the EPFL EDIC Open House. 2018
    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. Presented at the ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18). 2018
    Open Website Download PDF Document More Information
  4. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ratul Mahajan, Todd Millstein, and Ramesh Govindan; SPA: A General Framework for Systematic Protocol Analysis. Presented at The 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), Oakland, CA, USA. 2015
    Open Website Download PDF Document More Information
  5. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ratul Mahajan, Todd Millstein, and Ramesh Govindan; Toward systematic analysis of networked systems. Presented at The NeTS Early Career Workshop 2015, Arlington, VA, USA. 2015
    Open Website Download PDF Document More Information
  6. Tobias Flach, Pavlos Papageorge, Andreas Terzis, Luis Pedrosa, Ethan Katz-Bassett, and Ramesh Govindan; Stop the Traffic Cop: The Case Against Policing Internet Speed Limits. Best poster at The University of Southern California Computer Science 2015 Annual Research Review. 2015
    Open Website More Information
  7. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ratul Mahajan, Todd Millstein, and Ramesh Govindan; Toward Automated Interoperability Testing of Protocol Implementations. Presented at The 24th ACM Symposium on Operating Systems Principles (SOSP'13), Farmington, PA, USA. 2013
    Open Website Download PDF Document More Information
  8. Luis Pedrosa, Nilesh Mishra, Nupur Kothari, Ramesh Govindan, Michael Gray, Dero Gharibian, Taehee Lee, Todd Millstein, and Jeff Vaughan; MobiProg: An Adaptive Programming System for Cloud-Enabled Smartphone Applications. Presented at the CENS 8th Annual Research Review. 2010
    Open Website Download PDF Document More Information
  9. Luis Pedrosa, Michael Gray, Nilesh Mishra, Dero Gharibian, Taehee Lee, Nupur Kothari, Ramesh Govindan, and Todd Millstein; MobiProg: An Adaptive Programming System for Cloud-Enabled Smartphone Applications. Presented at the 2010 University of Southern California Computer Science Research Review. 2010
    Open Website Download PDF Document More Information
  10. Riccardo Scopigno, Rui Rocha, Luis Pedrosa, Andres Kassler, Anna Brunstrom, Francesco Fileppo, Maurizio Spirito, and Mirko Franceschinis; Test-beds for Opportunistic Communication Experiments. Presented at the NEWCOM++ - ACoRN Joint Workshop (NAW09). 2009
    Download PDF Document More Information

Talks:

  1. Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, and Katerina Argyraki; Automated Synthesis of Adversarial Workloads for Network Functions. Presented at The Intel ISRA SDN/NFV Retreat, Hillsboro, OR, USA. 2018
    Open Website Download PDF Document More Information
  2. Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, and Katerina Argyraki; Automated Synthesis of Adversarial Workloads for Network Functions. Presented at The ACM Conference of the Special Interest Group on Data Communication (SIGCOMM'18), Budapest, Hungary. 2018
    Open Website Download PDF Document Download MPEG-4 Video More Information
  3. Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, and George Candea; Vigor: Practical Formal Verification of Network Functions. Presented at The Intel ISRA SDN/NFV Retreat, Hillsboro, OR, USA. 2017
    Open Website Download PDF Document More Information
  4. Luis Pedrosa, Ari Fogel, Nupur Kothari, Ratul Mahajan, Todd Millstein, and Ramesh Govindan; Analyzing Protocol Implementations for Interoperability. Presented at The 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), Oakland, CA, USA. 2015
    Open Website Download PDF Document Download MPEG-4 Video More Information