• Sign in
  • Sign up
conf.researchr.org / Qifan Huang
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2026 profile

Registered user since Sun 2 Jun 2024

Name:Qifan Huang
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
X (Twitter): https://x.com/ChesterHQF
GitHub: https://github.com/Chesterhuang1999

Contributions

2026

VMCAI

  • Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track

2025

PLDI

  • Author of Efficient Formal Verification of Quantum Error Correcting Programs within the PLDI Research Papers-track

2024

WQS

  • Author of Efficient Formal Verification of Quantum Error Correcting Programs within the WQS-track
Share
xSun 26 Oct 14:13
using conf.researchr.org (v1.72.1)
Support page
Sign Up