Detail ocenění
A Distinguished Paper Award at PLDI'23
Rok: 2023
Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Popis
Článek "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." získal ocenění Distinguished Paper na PLDI'23, flagship konferenci v oblasti programovacích jazyků.