Nairen Zhang(张乃仁)
Institute:
Pascal Research Group, Institute of Computer Software,
Department of Computer Science and Technology, Nanjing University.
Email: nairen@smail.nju.edu.cn
I'm now working on Verilog, the most popular Hardware Design Language despite its poor design, especially on the formalization and implementation of its semantics. And I am particularly interested in exploring whether methodologies coming from the study of software languages would turn out to be useful for the hardware languages like Verilog.
Besides this, I'd claim to be an amateur in linguistics, bird-watching, anime and comics. It's worth mentioning that though anime is trash and so am I, there can be eureka moments buried in the wild ruins of trash -- like birds in the vain wilderness, like the study of any complex system such as a natural or formal language.
OOPSLA'23
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li*
Distinguished Artifact Award