academic

This page collects publications, awards, and community service.

Publications

For a complete and updated bibliography, see DBLP.

P. A. Abdulla, Y.-C. Chen, M. Hecko, L. Holik, L. Lengal, J.-A. Lin, R. T. Srinivasan, Parameterized Verification of Quantum Circuits, POPL 2026, Technical Report.
Y.-F. Chen, K.-M. Chung, O. Lengal, J.-A. Lin, W.-L. Tsai, Di-De Yen, An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, Communications of the ACM 68(6), June 2025, DOI.
Y. F. Chen, K.-M. Chung, M.-H. Hsieh, W.-J. Huang, O. Lengal, J.-A. Lin, W.-L. Tsai, AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs, TACAS 2025, Technical Report.
P. A. Abdulla, Y.-C. Chen, Y.-F. Cheng, L. Holik, O. Lengal, J.-A. Lin, F.-Y. Lo, W.-L. Tsai, Verifying Quantum Circuits with Level-Synchronized Tree Automata, POPL 2025, Technical Report.
Y.-F. Chen, K.-M. Chung, O. Lengal, J.-A. Lin, W.-L. Tsai, AutoQ: An Automata-based Quantum Circuit Verifier, CAV 2023, Paper.
Y.-F. Chen, K.-M. Chung, O. Lengal, J.-A. Lin, W.-L. Tsai, D.-D. Yen, An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits, Distinguished Paper Award, PLDI 2023, DOI, Technical Report.

Jyun-Ao Lin, Yu-Fang Chen, Ondrej Lengal, Fang-Yi Lo, Wei-Lun Tsai, Verifying Repeat-Until-Success Circuits with AutoQ, PLanQC 2026.
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukas Holik, Ondrej Lengal, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai, Di-De Yen, Analysing Quantum Programs using Automata, VQC 2025.
Y.-F. Chen, K.-M. Chung, O. Lengal, J.-A. Lin, W.-L. Tsai, D.-D. Yen, An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits, QPL 2023.

J.-A. Lin, Spherical Hall algebra of a weighted projective curve, International Mathematics Research Notices, 2020(15), DOI.
J.-A. Lin, A new involution for quantum loop algebras, Journal of Algebra 480 (2017), 368-384.