Muhammad Timarzi

According to our database, Muhammad Timarzi authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

SwitchV: automated SDN switch validation with P4 models.

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022