M. Zhang

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Aquila: a practically usable verification system for production-scale programmable data planes

B. Tian and others (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference

Poseidon: Mitigating Volumetric DDoS Attacks with Programmable Switches

M. Zhang and others (2020) · Internet Society

Robust system design with built-in soft-error resilience

Subhasish Mitra and others (2005) · Computer · IEEE Computer Society