• Sign in
  • Sign up
conf.researchr.org / Kai-Min Chung
  • PLDI 2023 profile
  • POPL 2025 profile
No Photo

Not registered as user

Name:Kai-Min Chung
Affiliation:Academia Sinica

Contributions

2025

PLanQC

  • Author of An Automata-based Framework for Quantum Circuit Verification within the PLanQC 2025-track

2023

PLDI

  • Author of An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits within the PLDI Research Papers-track
Share
xWed 21 May 12:23
using conf.researchr.org (v1.69.0)
Support page
Sign Up