Zhi-Gang Wang

Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language

Michael D. McCool, Zhaohui Du, Peng Guo, 2011, International Symposium on Code Generation and Optimization (CGO 2011).

PN-based Formal Modeling and Verification for ASIP Architecture

Yun Zhu, Xi Li, Yuchang Gong, 2004, ICESS.