Nairen Zhang

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 1

Top Topics

Hardware Description Language

Activity Diagrams

Operational Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shuai Mu, Xinya Zhang, Nairen Zhang, Jiaxin Lu, Yangdong Steve Deng, Shu Zhang
IP routing processing with graphic processors. DATE (2010)