Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

A Verified Session Protocol for Dynamic Service Chaining

Published in IEEE/ACM Transactions on Networking, 2021

Recommended citation: P. Zave, F. B. Carvalho, R. A. Ferreira, J. Rexford, M. Morimoto and X. K. Zou. "A Verified Session Protocol for Dynamic Service Chaining." IEEE/ACM Transactions on Networking.

DWT in P4: Periodicity Detection in the Data Plane

Published in IEEE GLOBECOM, 2022

Recommended citation: B. R. Huaytalla, A. S. Jacobs, M. V. B. Silva, F. B. Carvalho, R. A. Ferreira, W. Willinger, L. Granville. "DWT in P4: Periodicity Detection in the Data Plane." IEEE GLOBECOM 2022 .

talks

Talk 1 on Relevant Topic in Your Field

Published:

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published:

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

teaching

[2015/2016/2020] Algorithms and Data Structures

Computer Engineering (Undergrad), College of Engineering, UFMT, Brazil

[2016] Object-Oriented Programming

Computer Engineering (Undergrad), College of Engineering, UFMT, Brazil

[2016/2017/2020] Computer Networks

Computer Engineering (Undergrad), College of Engineering, UFMT, Brazil

[2017/2020/2021/2022] Mathematical Foundations of Computer Science

Computer Engineering (Undergrad), College of Engineering, UFMT, Brazil

[2020/2021] Project of Computer Engineering - I/II

Computer Engineering (Undergrad), College of Engineering, UFMT, Brazil