Follow
Zhoulai Fu
Zhoulai Fu
State University of New York (SUNY), Korea
Verified email at sunykorea.ac.kr - Homepage
Title
Cited by
Cited by
Year
Combining symbolic execution and model checking for data flow testing
T Su, Z Fu, G Pu, J He, Z Su
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
682015
Xsat: A fast floating-point satisfiability solver
Z Fu, Z Su
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
422016
Detecting floating-point errors via atomic conditions
D Zou, M Zeng, Y Xiong, Z Fu, L Zhang, Z Su
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
312019
Achieving High Coverage for Floating-point Code via Unconstrained Programming
Z Fu, Z Su
The 38th ACM SIGPLAN Conference on Programming Language Design and …, 2017
302017
Automated backward error analysis for numerical code
Z Fu, Z Bai, Z Su
ACM SIGPLAN Notices 50 (10), 639-654, 2015
252015
Effective floating-point analysis via weak-distance minimization
Z Fu, Z Su
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
122019
Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java
Z Fu
International Conference on Verification, Model Checking, and Abstract …, 2014
122014
The forgotten case of the dependency bugs: on the example of the robot operating system
A Fischer-Nielsen, Z Fu, T Su, A Wąsowski
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
112020
Mathematical execution: a unified approach for testing numerical code
Z Fu, Z Su
arXiv preprint arXiv:1610.01133, 2016
62016
Formally verified lifting of c-compiled x86-64 binaries
F Verbeek, J Bockenek, Z Fu, B Ravindran
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
52022
In defense of pure 16-bit floating-point neural networks
J Yun, B Kang, F Rameau, Z Fu
arXiv preprint arXiv:2305.10947, 2023
42023
Static analysis of numerical properties in the presence of pointers
Z Fu
Université de Rennes; Université européenne de Bretagne (2007-2016), 2013
22013
The hidden power of pure 16-bit floating-point neural networks
J Yun, B Kang, Z Fu
arXiv preprint arXiv:2301.12809, 2023
12023
Towards Efficient Data-flow Test Data Generation
T Su, C Zhang, Y Yan, L Fan, G Pu, Y Liu, Z Fu, Z Su
arXiv preprint arXiv:1803.10431, 2018
12018
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
Z Fu, Z Su
arXiv preprint arXiv:1704.03394, 2017
12017
Targeted update–Aggressive memory abstraction beyond common sense and its application on static numeric analysis
Z Fu
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
12014
Formally Verified Lifting of C-compiled x86-64 Binaries
BR Freek Verbeek, Joshua Bockenek, Zhoulai Fu
In ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2022
2022
Lifting Numerical Abstract Domains to Heap-manipulating Programs
Z Fu, T Jensen, D Pichardie
The system can't perform the operation now. Try again later.
Articles 1–18