Miguel C. Neves

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 20

Top Topics

Failure Recovery

Computer Vision Systems

Rfid Middleware

Top Venues

IFIP Networking

SIGCOMM Posters and Demos

Publications

Md. Monzurul Amin Ifath, Miguel C. Neves, Israat Haque
Fast Prototyping of Distributed Stream Processing Applications with stream2gym. ICDCS (2023)
Jack Zhao, Miguel C. Neves, Israat Haque
On the (dis)Advantages of Programmable NICs for Network Security Services. IFIP Networking (2023)
Carson Kuzniar, Miguel C. Neves, Vladimir Gurevich, Israat Haque
IoT Device Fingerprinting on Commodity Switches. NOMS (2022)
Hesam Tajbakhsh, Ricardo Parizotto, Miguel C. Neves, Alberto Schaeffer-Filho, Israat Haque
Accelerator-Aware In-Network Load Balancing for Improved Application Performance. IFIP Networking (2022)
Paulo Souza, Miguel C. Neves, Carlos Henrique Kayser, Felipe Rubin, Conrado Boeira, João Moreira, Bernardo Bordin, Tiago Ferreto
Predicting and Avoiding SLA Violations of Containerized Applications using Machine Learning and Elasticity. CLOSER (2022)
Julia Silva Weber, Miguel C. Neves, Tiago Ferreto
VANET simulators: an updated review. J. Braz. Comput. Soc. 27 (1) (2021)
Md. Monzurul Amin Ifath, Miguel C. Neves, Israat Haque
Raptor: rapid prototyping of distributed stream processing applications at scale. CoNEXT (2021)
Miguel C. Neves, Bradley Huffaker, Kirill Levchenko, Marinho P. Barcellos
Dynamic Property Enforcement in Programmable Data Planes. IEEE/ACM Trans. Netw. 29 (4) (2021)
Conrado Boeira, Miguel C. Neves, Tiago Ferreto, Israat Haque
Characterizing network performance of single-node large-scale container deployments. CloudNet (2021)
Hisham Siddique, Miguel C. Neves, Carson Kuzniar, Israat Haque
Towards Network-accelerated ML-based Distributed Computer Vision Systems. ICPADS (2021)
Meysam Shojaee, Miguel C. Neves, Israat Haque
SafeGuard: Congestion and Memory-aware Failure Recovery in SD-WAN. CNSM (2020)
Carson Kuzniar, Miguel C. Neves, Israat Haque
POSTER: Accelerating Encrypted Data Stores Using Programmable Switches. ICNP (2020)
Miguel C. Neves, Bradley Huffaker, Kirill Levchenko, Marinho P. Barcellos
Dynamic Property Enforcement in Programmable Data Planes. Networking (2019)
Lucas Freire, Miguel C. Neves, Lucas Leal, Kirill Levchenko, Alberto E. Schaeffer Filho, Marinho P. Barcellos
Uncovering Bugs in P4 Programs with Assertion-based Verification. SOSR (2018)
Miguel C. Neves, Lucas Freire, Alberto E. Schaeffer Filho, Marinho P. Barcellos
Verification of P4 programs in feasible time using assertions. CoNEXT (2018)
Fabrício M. Mazzola, Daniel S. Marcon, Miguel C. Neves, Marinho P. Barcellos
Tá na Hora: analisando a latência de modificação de tabelas de fluxo em arquiteturas de switches SDN. SBRC (2018)
Lucas Freire, Miguel C. Neves, Alberto E. Schaeffer Filho, Marinho P. Barcellos
POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. CCS (2017)
Miguel C. Neves, Kirill Levchenko, Marinho P. Barcellos
Sandboxing Data Plane Programs for Fun and Profit. SIGCOMM Posters and Demos (2017)
Andrés F. Ocampo, Juliver Gil-Herrera, Pedro Heleno Isolani, Miguel C. Neves, Juan Felipe Botero, Steven Latré, Lisandro Zambenedetti Granville, Marinho P. Barcellos, Luciano Paschoal Gaspary
Optimal Service Function Chain Composition in Network Functions Virtualization. AIMS (2017)
Daniel S. Marcon, Miguel C. Neves, Rodrigo Ruas Oliveira, Luciano Paschoal Gaspary, Marinho P. Barcellos
PredCloud: Providing predictable network performance in large-scale OpenFlow-enabled cloud platforms through trust-based allocation of resources. Comput. Commun. (2016)
Daniel S. Marcon, Miguel C. Neves, Rodrigo Ruas Oliveira, Leonardo Richter Bays, Raouf Boutaba, Luciano Paschoal Gaspary, Marinho P. Barcellos
IoNCloud: Exploring application affinity to improve utilization and predictability in datacenters. ICC (2015)
Rodrigo Ruas Oliveira, Daniel S. Marcon, Leonardo Richter Bays, Miguel C. Neves, Luciano Paschoal Gaspary, Deep Medhi, Marinho P. Barcellos
Opportunistic resilience embedding (ORE): Toward cost-efficient resilient virtual networks. Comput. Networks 89 (2015)
Rodrigo Ruas Oliveira, Leonardo Richter Bays, Daniel S. Marcon, Miguel C. Neves, Luciana Salete Buriol, Luciano Paschoal Gaspary, Marinho P. Barcellos
DoS-resilient virtual networks through multipath embedding and opportunistic recovery. SAC (2013)
Daniel S. Marcon, Luiz F. Bittencourt, Ramide Dantas, Miguel C. Neves, Edmundo R. M. Madeira, Stenio Fernandes, Carlos Alberto Kamienski, Marinho P. Barcellos, Luciano Paschoal Gaspary, Nelson L. S. da Fonseca
Workflow specification and scheduling with security constraints in hybrid clouds. LatinCloud (2013)
Rodrigo Ruas Oliveira, Daniel S. Marcon, Leonardo Richter Bays, Miguel C. Neves, Luciana S. Buriol, Luciano Paschoal Gaspary, Marinho P. Barcellos
No more backups: Toward efficient embedding of survivable virtual networks. ICC (2013)