JAN 2020 One postdoc position is available.
DEC 2019 Attend APLAS 2019
NOV 2019 Gave an invited tutorial “String Constraint Solving — an Enabling Technique for Web Program Analysis” at SETTA 2019
SEP 2019 Visit Institute of Software Chinese Academy of Sciences, Beijing
MAY 2019 Visit Brno university of technology and attend MOSCA 2019.
JAN 2019 Please consider to submit your work to ATVA 2019, APLAS 2019, SETTA 2019, and SAS 2019.
SEP 2018 Attend CONFESTA, a joint event comprising the conferences CONCUR, FORMATS, QEST, and SETTA, and deliver an invited tutorial on string constraint solving and MapReduce program verification
JUN 2018 Visit Princeton University and attend PLDI
APR 2018 Visit Brno University of Technology in Czech Republic and attend ETAPS
FEB 2018 Our paper “Advanced Automata-based Algorithms for Program Termination Checking” is accepted by PLDI 2018
DEC 2017 Attend the 2nd formal verification winter school in Israel.
NOV 2017 Consider to submit your best work to CONCUR 2018
OCT 2017 Give an invited keynote speech as a guest at the FMAC 2017 workshop, the biggest yearly gathering of formal methods researchers in mainland China.
AUG 2017 Our paper “Learning to Prove Safety over Parameterised Concurrent Systems” is accepted by FMCAD 2017
MAY 2017 Visit Uppsala University and Linköping University in Sweden
MAY 2017 Consider to submit your best work to APLAS 2017
APR 2017 Give an invited talk at the GaM workshop, Uppsala
MAR 2017 Our paper “Register automata with linear arithmetic” is accepted by LICS 2017
FEB 2017 Our paper “Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)” is accepted by PLDI 2017
FEB 2017 Visit Institute of Software Chinese Academy of Sciences, Beijing
Yu-Fang Chen is a research fellow at the Institute of Information Science, Academia Sinica. He has more than ten years of experience in the field of formal verification and has served on the program committees of ATVA, CONCUR, TACAS, APLAS, FASE, SAS, and FM. His research interest is the development of principled methods to ensure the correctness and security of computer programs. He is best known for his works in the application of algorithmic learning algorithms to automate formal verification (TACAS 2008, 2009, 2013, 2017, 2019, CAV 2010, 2012, APSEC 2014, ICSE 2016, FMCAD 2017, NETYS 2019) and the design of efficient algorithms for finite state automata operations (FSTTCS 2009, TACAS 2010, CAV 2010, CONCUR 2011,LICS 2017, PLDI 2018). His paper titled “When simulation meets antichains (for checking language inclusion of NFA's)” won the best theory paper award at ETAPS 2010.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi-Diep Bui, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukas Holik, Wei-Cheng Wu
Efficient Handling of String-Number Conversion [preprint]
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál
Simulations in Rank-Based Büchi Automata Complementation. [preprint]
Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu
J-ReCoVer: Java Reducer Commutativity Verifier. [preprint]
Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Synthesize Models for Quantitative Analysis Using Automata Learning. [preprint]
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: Omega-Regular Language Learning Library [preprint]
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Trau: SMT solver for string constraints [preprint]
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced Automata-based Algorithms for Program Termination Checking [preprint]
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus,
Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling,
Tanja Schindler, and Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) [preprint]
LICS 2021, FASE 2021, VMCAI 2021, APSEC 2020,
ICTAC 2020, ICFEM 2020, ICECCS 2020, SETTA 2020, NETYS 2020, ATVA 2020, FASE 2020, CONCUR 2020, HVCS 2020, SETTA 2019, SAS 2019, NETYS 2019, ATVA 2019, TACAS 2019, ICECCS 2019,
ICTAC 2016, FM 2014, APLAS 2013, Infinity 2012, FM 2012, Infinity 2011
Organizers: VECoS 2020 (co-chair), ATVA 2019 (co-chair), Infinity 2010 (co-chair)