• Sign in
  • Sign up
conf.researchr.org / Qinlin Chen
  • PLDI 2026 profile
  • POPL 2026 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
  • SPLASH/ISSTA 2026 profile
Qinlin Chen

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

2026

SPLASH

  • Author of When FPGA Meets Dataflow Analysis: An Explorative Step within the OOPSLA-track

PLDI

  • Author of Exploiting Sophisticated Static Analysis for Verilog within the PLDI Research Papers-track

POPL

  • Author of ChiSA: Static Analysis for Lightweight Chisel Verification within the POPL-track

2024

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2023

SPLASH

  • Author of The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog within the OOPSLA-track
Share
xSun 9 Aug 13:00
using conf.researchr.org (v1.75.1)
Support page
Sign Up