Yu-Fang Chen

Information

  • Yu-Fang Chen
  • Associate Research Fellow, Institute of Information Science, Academia Sinica
  • Email: yfc@iis.sinica.edu.tw
  • Phone: +886-2-2788-3799 #1514
  • Address: No.128, Section 2, Academia Road, Nankang District, Taipei 115, Taiwan

News

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
DEC 2016 Our paper “A Novel Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees” is accepted by TACAS 2017
AUG 2016 Give an invited talk at the IMS workshop, Singapore
AUG 2016 Give an invited talk at the EC2 workshop at CAV, Toronto

Recent Publications

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Phillipp Rümmer
Learning to Prove Safety over Parameterised Concurrent Systems [preprint]
FMCAD 2017

Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu
Register Automata with Linear Arithmetic [preprint]
LICS 2017

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Phi-Diep Bui, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp Rümmer
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) [preprint]
PLDI 2017

Yong Li, Yu-Fang Chen, Lijun Zhang and Depeng Liu
A Novel Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees [preprint]
TACAS 2017

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation [preprint]
NETYS 2017

Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach [preprint]
CAV 2016

Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
PAC Learning-based Verification and Model Synthesis [preprint]
ICSE 2016

Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
Optimal Sanitization Synthesis for Web Application Vulnerability Repair [preprint]
ISSTA 2016

Full Publication List

Services

Projects