Yu-Fang Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
18
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Practical Specification Language for Automatic Quantum Program Verification. | Wei-Lun Tsai, Yu-Fang Chen, Ondrej Lengl |
| 2026 | TACAS | Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting. | Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei |
| 2025 | TACAS | AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. | Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengl, Jyun-Ao Lin, Wei-Lun Tsai |
| 2024 | ICCAD | Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. | Tian-Fu Chen, Yu-Fang Chen, Jie-Hong Roland Jiang, Sra Jobranov, Ondrej Lengl |
| 2024 | TACAS | Z3-Noodler: An Automata-based String Solver. | Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc |
| 2023 | CADE | A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). | Yu-Fang Chen, Philipp Rmmer, Wei-Lun Tsai |
| 2023 | CAV | AutoQ: An Automata-Based Quantum Circuit Verifier. | Yu-Fang Chen, Kai-Min Chung, Ondrej Lengl, Jyun-Ao Lin, Wei-Lun Tsai |
| 2023 | FM | Word Equations in Synergy with Regular Constraints. | Frantisek Blahoudek, Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc |
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | APLAS | PyCT: A Python Concolic Tester. | Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu |
| 2020 | APLAS | A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengl, Andrea Turrini |
| 2020 | OSDI | Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. | Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | APLAS | J-ReCoVer: Java Reducer Commutativity Verifier. | Yu-Fang Chen, Chang-Yi Chiang, Luks Holk, Wei-Tsung Kao, Hsin-Hung Lin, Toms Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
| 2019 | APLAS | Simulations in Rank-Based Bchi Automata Complementation. | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengl |
| 2019 | TACAS | ROLL 1.0: \omega -Regular Language Learning Library. | Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu |
| 2018 | FMCAD | Trau: SMT solver for string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2018 | PLDI | Advanced automata-based algorithms for program termination checking. | Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | TACAS | Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski |
| 2017 | FMCAD | Learning to prove safety over parameterised concurrent systems. | Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rmmer |
| 2017 | LICS | Register automata with linear arithmetic. | Yu-Fang Chen, Ondrej Lengl, Tony Tan, Zhilin Wu |
| 2017 | PLDI | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | TACAS | A Novel Learning Algorithm for Bchi Automata Based on Family of DFAs and Classification Trees. | Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu |
| 2016 | CAV | The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. | Yu-Fang Chen, Lei Song, Zhilin Wu |
| 2016 | ICSE | PAC learning-based verification and model synthesis. | Yu-Fang Chen, Chiao Hsieh, Ondrej Lengl, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2016 | ISSTA | Optimal sanitization synthesis for web application vulnerability repair. | Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan |
| 2015 | CAV | Norn: An SMT Solver for String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2015 | CAV | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. | Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang |
| 2015 | TACAS | Commutativity of Reducers. | Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang |
| 2015 | TACAS | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2014 | APSEC | Learning Summaries of Recursive Functions. | Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang |
| 2014 | CAV | String Constraints for Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2014 | CCS | Verifying Curve25519 Software. | Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang |
| 2014 | SAS | Verifying Recursive Programs Using Intraprocedural Analyzers. | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2013 | TACAS | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2013 | TACAS | BULL: A Library for Learning Algorithms of Boolean Functions. | Yu-Fang Chen, Bow-Yaw Wang |
| 2012 | CAV | Learning Boolean Functions Incrementally. | Yu-Fang Chen, Bow-Yaw Wang |
| 2012 | SAS | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | TACAS | Counter-Example Guided Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | CONCUR | Advanced Ramsey-Based Bchi Automata Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2010 | CAV | Simulation Subsumption in Ramsey-Based Bchi Automata Universality and Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2010 | CAV | Automated Assume-Guarantee Reasoning through Implicit Learning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2010 | CONCUR | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2010 | ISoLA | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
| 2010 | TACAS | When Simulation Meets Antichains. | Parosh Aziz Abdulla, Yu-Fang Chen, Luks Holk, Richard Mayr, Toms Vojnar |
| 2009 | TACAS | Learning Minimal Separating DFA's for Compositional Verification. | Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | TACAS | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. | Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | TACAS | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo |
| 2007 | TACAS | GOAL: A Graphical Tool for Manipulating Bchi Automata and Temporal Formulae. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan |