Qinlin Chen - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Fri 30 Jun 2023

Name:Qinlin Chen

Country:China

Affiliation:Nanjing University

Personal website: https://qinlinchen.github.io/

Research interests:Programming Languages, Static Analysis

Contributions

2023

SPLASH

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

Show activities from other conferences

SPLASH 2023-profile
View general profile