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
Technical Reports and Deliverables:
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Posters:
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Talks:
- 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
- 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
- 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
- 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