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

FEB 201y 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

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)
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
TACAS 2017

Yu-Fang Chen, Lei Song, Zhilin Wu
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach
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
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
ISSTA 2016

Full Publication List

Services

PC Duties: ICTAC 2016, FM 2014, APLAS 2013, Infinity 2012, FM 2012, Infinity 2011
Organizers: Infinity 2010 (co-chair)

Projects