Award Details
A Distinguished Paper Award at PLDI'23
Year: 2023
Level
international
Category
research and development
URL
Persons
Description
The paper "Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." received a Distinguished Paper Award at PLDI'23, a flagship conference in the area of programming languages.