| An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai, DD Yen Proceedings of the ACM on Programming Languages 7 (PLDI), 1218-1243, 2023 | 15 | 2023 |
| A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) YF Chen, P Rümmer, WL Tsai International Conference on Automated Deduction, 170-189, 2023 | 5 | 2023 |
| AutoQ: An Automata-Based Quantum Circuit Verifier YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai International Conference on Computer Aided Verification, 139-153, 2023 | 4 | 2023 |
| Solving Not-Substring Constraint withFlat Abstraction PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, D Hu, WL Tsai, Z Wu, ... Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 4 | 2021 |
| PyCT: A Python Concolic Tester YF Chen, WL Tsai, WC Wu, DD Yen, F Yu Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 3 | 2021 |
| An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report) YF Chen, KM Chung, O Lengál, JA Lin, WL Tsai, DD Yen arXiv preprint arXiv:2301.07747, 2023 | 1 | 2023 |
