M. Liu
4 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.
Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems
Z. Yu and others (2025) · IEEE
Meissa: scalable network testing for programmable data planes
N. Zheng and others (2022) · Proceedings of the ACM SIGCOMM 2022 Conference
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
China’s road to power: what does it really want?: A Chinese perspective on a rising China
M. Liu (2020) · Atlantisch Perspectief