This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
main [2024/01/31 02:11] yfc [Recent PC Duties] |
main [2024/05/13 06:50] (current) yfc [Research interests] |
||
---|---|---|---|
Line 18: | Line 18: | ||
* Formal Verification | * Formal Verification | ||
+ | * Quantum Programs | ||
* Automata theory | * Automata theory | ||
- | * Satisfibility Modulo Theory | + | * Satisfiability Modulo Theory |
- | * Quantum Algortihms | + | |
=====Recent Publications ===== | =====Recent Publications ===== | ||
+ | Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan\\ | ||
+ | A Decision Procedure for String Constraints with String/Integer Conversion and Flat Regular Constraints.\\ **Acta Informatica 2024**\\ | ||
+ | |||
+ | Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc\\ | ||
+ | Z3-Noodler: An Automata-based String Solver.\\ | ||
+ | **TACAS 2024 (Best paper nomination)**\\ | ||
+ | |||
+ | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini\\ | ||
+ | A symbolic Algorithm for the Case-split Rule in Solving Word Constraints with Extensions.\\ | ||
+ | **Journal System Software 2023**\\ | ||
+ | |||
Yu-Fang Chen, David Chocholaty, Vojtech Havlena, Lukás Holik, Ondrej Lengal, Juraj Síc\\ | Yu-Fang Chen, David Chocholaty, Vojtech Havlena, Lukás Holik, Ondrej Lengal, Juraj Síc\\ | ||
Solving String Constraints with Lengths by Stabilization.\\ | Solving String Constraints with Lengths by Stabilization.\\ | ||
Line 113: | Line 125: | ||
====Recent PC Duties==== | ====Recent PC Duties==== | ||
**2025** | **2025** | ||
- | FoSSaCS | + | FoSSaCS\\ |
**2024** | **2024** | ||
- | CAV, ATVA, CONCUR, NETYS, DATE | + | CAV, ATVA, CONCUR, DATE, NETYS\\ |
**2023** | **2023** | ||
CAV, ATVA, SAS, DATE\\ | CAV, ATVA, SAS, DATE\\ |