Yu-Fang Chen


  • 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


AUG 2016 Give an invited talk at the IMS workshop, Singapore
AUG 2016 Give an invited talk at the EC2 workshop at CAV, Toronto
JUN 2016 Visit Institute of Software Chinese Academy of Sciences, Beijing

Recent Publications

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


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