| 2025 | GLOBECOM | On the Deployment Feasibility of Message Oriented Middlewares in Mission-critical Applications. | Md. Monzurul Amin Ifath, Miguel C. Neves, Tommaso Melodia, Israat Haque |
| 2023 | ICDCS | Fast Prototyping of Distributed Stream Processing Applications with stream2gym. | Md. Monzurul Amin Ifath, Miguel C. Neves, Israat Haque |
| 2023 | Networking | On the (dis)Advantages of Programmable NICs for Network Security Services. | Jack Zhao, Miguel C. Neves, Israat Haque |
| 2022 | CLOSER | Predicting and Avoiding SLA Violations of Containerized Applications using Machine Learning and Elasticity. | Paulo Souza, Miguel C. Neves, Carlos Henrique Kayser, Felipe Rubin, Conrado Boeira, Joo Moreira, Bernardo Bordin, Tiago Ferreto |
| 2022 | Networking | Accelerator-Aware In-Network Load Balancing for Improved Application Performance. | Hesam Tajbakhsh, Ricardo Parizotto, Miguel C. Neves, Alberto Schaeffer-Filho, Israat Haque |
| 2022 | NOMS | IoT Device Fingerprinting on Commodity Switches. | Carson Kuzniar, Miguel C. Neves, Vladimir Gurevich, Israat Haque |
| 2021 | CoNEXT | Raptor: rapid prototyping of distributed stream processing applications at scale. | Md. Monzurul Amin Ifath, Miguel C. Neves, Israat Haque |
| 2021 | ICPADS | Towards Network-accelerated ML-based Distributed Computer Vision Systems. | Hisham Siddique, Miguel C. Neves, Carson Kuzniar, Israat Haque |
| 2020 | CNSM | SafeGuard: Congestion and Memory-aware Failure Recovery in SD-WAN. | Meysam Shojaee, Miguel C. Neves, Israat Haque |
| 2020 | ICNP | POSTER: Accelerating Encrypted Data Stores Using Programmable Switches. | Carson Kuzniar, Miguel C. Neves, Israat Haque |
| 2019 | Networking | Dynamic Property Enforcement in Programmable Data Planes. | Miguel C. Neves, Bradley Huffaker, Kirill Levchenko, Marinho P. Barcellos |
| 2018 | CoNEXT | Verification of P4 programs in feasible time using assertions. | Miguel C. Neves, Lucas Freire, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
| 2017 | CCS | POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. | Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos |
| 2017 | SIGCOMM | Sandboxing Data Plane Programs for Fun and Profit. | Miguel C. Neves, Kirill Levchenko, Marinho P. Barcellos |
| 2013 | SAC | DoS-resilient virtual networks through multipath embedding and opportunistic recovery. | Rodrigo Ruas Oliveira, Leonardo Richter Bays, Daniel S. Marcon, Miguel C. Neves, Luciana Salete Buriol, Luciano Paschoal Gaspary, Marinho P. Barcellos |