Fang-Yi Lo

According to our database, Fang-Yi Lo authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Quantum Circuits with Level-Synchronized Tree Automata.

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai

Proc. ACM Program. Lang., 2025

On the Verification of Quantum Circuits (Research Challenges and Opportunities).

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report).

Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai

CoRR, 2024

2020

Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Genetic algorithms as shrinkers in property-based testing.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019