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. 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," to appear in Computer Aided Verification (CAV 2015),.
2. Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, and Lijun Zhang, "Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation," to appear in Computer Aided Verification (CAV 2015),.
3. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, and Farn Wang, "CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation," International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
4. Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, and Bow-Yaw Wang, "Commutativity of Reducers," International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), April 2015.
5. Yu-Fang Chen, Bow-Yaw Wang and Kai-Chun Yang, "Learning Summaries of Recursive Functions," Asia-Pacific Software Engineering Conference (APSEC 2014), December 2014.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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