Chinese
English
Associate Research Fellow  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
others
Personal (New window)
 
 
 
 
 
Publications
 
1. Yu-Fang Chen, Chih-Duo Hong, Philipp Rümmer, Anthony Lin, "Learning to prove safety over parameterised concurrent systems," to appear in Formal Methods in Computer-Aided Design (FMCAD 2017),.
2. Yu-Fang Chen, Ondrej Lengál, Tony Tan, Zhilin Wu, "Register automata with linear arithmetic," Logic in Computer Science (LICS 2017), June 2017.
3. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer, "Flatten and conquer: a framework for efficient analysis of string constraints," Programming Language Design and Implementation (PLDI 2017), June 2017.
4. Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang, "An Executable Sequential Specification for Spark Aggregation," Networked Systems (NETYS 2017), May 2017.
5. Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu, "A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), April 2017.
6. Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang and Tevfik Bultan, "Optimal Sanitization Synthesis for Web Application Vulnerability Repair," Software Testing and Analysis (ISSTA 2016), Andreas Zeller and Abhik Roychoudhury, editors, ACM, pages 189-200, July 2016.
7. Yu-Fang Chen, Lei Song, Zhilin Wu, "The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach," Computer Aided Verification (CAV 2016), July 2016.
8. 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," International Conference on Software Engineering (ICSE 2016), May 2016.
9. Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, and Lijun Zhang, "Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation," Computer Aided Verification (CAV 2015), July 2015.
10. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman, "Norn: a solver for string constraints," Computer Aided Verification (CAV 2015), July 2015.
11. Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, and Bow-Yaw Wang, "Commutativity of Reducers," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
12. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn Wang, "CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation," Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
13. Yu-Fang Chen, Bow-Yaw Wang and Kai-Chun Yang, "Learning Summaries of Recursive Functions," Asia-Pacific Software Engineering Conference (APSEC 2014), December 2014.
14. Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, and Shang-Yi Yang, "Verifying Curve25519 Software," ACM Conference on Computer and Communications Security (CCS 2014), November 2014.
15. Y.-F. Chen, C. Hsieh, M.-H. Tsai, B.-Y. Wang, and F. Wang, "Verifying Recursive Programs using Intraprocedural Analyzers," Proceedings of the 21st International Static Analysis Symposium (SAS), Lecture Notes in Computer Science, 8723, Springer, pages 118-133, September 2014.
16. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Reummer and Jari Stenman, "String Constraints for Verification," International Conference on Computer Aided Verification (CAV 2014), August 2014.
17. Parosh Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine, "Memorax: Fence Inference under the TSO Memory Model," The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, March 2013.
18. Yu-Fang Chen and Bow-Yaw Wang, "BULL: a Library for Learning Algorithms of Boolean Functions," The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Lecture Notes in Computer Science, March 2013.
 
 
bg