Yu-Fang Chen

Registered user since Sat 11 Jul 2015

Name:Yu-Fang Chen
Affiliation:Academia Sinica, Taiwan
Research interests:Program verification, automata theory, string constraint solving

Contributions

VMCAI 2022 Committee Member in Program Committee within the VMCAI 2022-track
APLAS 2021 Author of PyCT: A Python Concolic Tester within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track
SPLASH 2021 Author of Efficient Handling of String-Number Conversion within the SIGPLAN Papers-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
APLAS 2020 Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track
PLDI 2020 Author of Efficient Handling of String-Number Conversion within the PLDI Research Papers-track
APLAS 2019 Author of J-ReCoVer: Java Reducer Commutativity Veriļ¬er [Tool Paper] within the Research Papers-track
Ordinary PC member in Program Committee within the Research Papers-track
Author of Simulations in Rank-Based Buchi Automata Complementation within the Research Papers-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track
ETAPS 2019 Author of Ultimate Automizer within the Posters-track
Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track
PLDI 2018 Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
PLDI 2017 Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track