Följ
Zhoulai Fu
Zhoulai Fu
State University of New York (SUNY), Korea
Verifierad e-postadress på sunykorea.ac.kr - Startsida
Titel
Citeras av
Citeras av
År
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
712015
Xsat: A fast floating-point satisfiability solver
Z Fu, Z Su
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
432016
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
352019
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
262015
Effective floating-point analysis via weak-distance minimization
Z Fu, Z Su
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
132019
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
132014
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
122020
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
62022
Mathematical execution: a unified approach for testing numerical code
Z Fu, Z Su
arXiv preprint arXiv:1610.01133, 2016
62016
In defense of pure 16-bit floating-point neural networks
J Yun, B Kang, F Rameau, Z Fu
arXiv preprint arXiv:2305.10947, 2023
52023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–17