Francisco Pereira

I am a second year PhD student at Instituto Superior Técnico, University of Lisbon and a researcher at INESC-ID. I am advised by Professors Luis Pedrosa, Fernando Ramos and Justine Sherry.

My research interests lie in between Systems and Networking, ranging from software Network Functions to programmable network accelerators such as programmable switches, FPGAs, and SmartNICs. My ongoing research focuses on modeling Network Functions and automatically synthesizing modifications to them, be it to improve overall performance or offloading them to network accelerators.

Recent publications

article

Automatic Parallelization of Software Network Functions

Francisco Pereira, Fernando M. V. Ramos, and Luis Pedrosa

NSDI ’24

Bib

@inproceedings{maestro-nsdi24,
  author = {Pereira, Francisco and Ramos, Fernando M. V. and Pedrosa, Luis},
  title = {Automatic Parallelization of Software Network Functions},
  booktitle = {21st {USENIX} Symposium on Networked Systems Design and Implementation},
  year = {2024},
  isbn = {},
  address = {Santa Clara, CA, USA},
  publisher = {{USENIX} Association},
  url = {},
  doi = {},
  pages = {},
  numpages = {9},
  month = apr,
  series = {{NSDI}~'24},
  abbr = {article},
  selected = {true},
  bibtex_show = {false}
}

article
Automatic Generation of Network Function Accelerators Using Component-Based Synthesis

Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, and Luis Pedrosa

SOSR ’22

Abs Bib PDF Code Web Talk video

Designing networked systems that take best advantage of heterogeneous dataplanes - e.g., dividing packet processing across both a PISA switch and an x86 CPU - can improve performance, efficiency, and resource consumption. However, programming for multiple hardware targets remains challenging because developers must learn platform-specific languages and skills. While some ’write-once, run-anywhere’ compilers exist, they are unable to consider a range of implementation options to tune the NF to meet performance objectives. In this short paper, we explore preliminary ideas towards a compiler that explores a large search space of different mappings of functionality to hardware. This exploration can be tuned for a programmer-specified objective, such as minimizing memory consumption or maximizing network throughput. Our initial prototype, SyNAPSE, is based on a methodology called component-based synthesis and supports deployments across x86 and Tofino platforms. Relative to a baseline compiler which only generates one deployment decision, SyNAPSE uncovers thousands of deployment options - including a deployment which reduces the amount of controller traffic by an order of magnitude, and another deployment which halves memory usage.
@inproceedings{synapse-sosr22, author = {Pereira, Francisco and Matos, Gonçalo and Sadok, Hugo and Kim, Daehyeok and Martins, Ruben and Sherry, Justine and Ramos, Fernando M. V. and Pedrosa, Luis}, title = {Automatic Generation of Network Function Accelerators Using Component-Based Synthesis}, year = {2022}, isbn = {9781450398923}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3563647.3563656}, doi = {10.1145/3563647.3563656}, booktitle = {Proceedings of the Symposium on SDN Research}, pages = {89–97}, numpages = {9}, keywords = {in-network compute, programming abstraction, network function virtualization}, location = {Virtual Event}, series = {SOSR~'22}, month = oct, abbr = {article}, pdf = {synapse-sosr22.pdf}, selected = {true}, bibtex_show = {true}, website = {https://synapse.inesc-id.pt/}, code = {https://github.com/synapse-nfs/synapse-sosr22}, talk = {https://www.youtube.com/watch?v=zEn3Jn2LS48} }