"Verifying Quantum Circuits with Level-Synchronized Tree Automata", Proceedings of the ACM on Programming Languages, 9, POPL, 923 - 953, 2025/01, SCI&EI
研討會論文
"AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs", 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, 2025/05/03
"An Automata-based Framework for Quantum Circuit Verification", The Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), Denver, Colorado, 2025/01/25
"Verifying Quantum Circuits with Level-Synchronized Tree Automata", 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), Denver, Colorado, 2025/01/19
"AutoQ: An Automata-Based Quantum Circuit Verifier", ACM 35th International Conference on Computer Aided Verification, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Extended Abstract)", 20th International Conference on Quantum Physics and Logic, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits", 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, Florida, 2023/06/17
