Zhoulai Fu

SUNY Korea — South Korea

Computer Science · Physical Sciences

9h-index209citations27works0.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(9), Formal Methods in Verification(8), Parallel Computing and Optimization Techniques(7), Numerical Methods and Algorithms(6), Logic, programming, and type systems(5)

Publications27 total

Revisiting 16-Bit Neural Network Training: A Practical Approach for Resource-Limited Learning
Lecture notes in computer science·2025
Large Language Model-Powered Agent for C to Rust Code Translation
arXiv (Cornell University)·2025Open Access
Augmented Weak Distance for Fast and Accurate Bounds Checking
arXiv (Cornell University)·2025Open Access
On Extending Incorrectness Logic with Backwards Reasoning
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication
2024
Revisiting 16-bit Neural Network Training: A Practical Approach for Resource-Limited Learning
arXiv (Cornell University)·2023· 1 citedOpen Access
The Hidden Power of Pure 16-bit Floating-Point Neural Networks
arXiv (Cornell University)·2023· 1 citedOpen Access
Towards Efficient Data-Flow Test Data Generation
Lecture notes in computer science·2023· 3 citedOpen Access
Formally verified lifting of C-compiled x86-64 binaries
2022· 13 citedOpen Access
The forgotten case of the dependency bugs
2020· 11 citedOpen Access
Detecting floating-point errors via atomic conditions
Proceedings of the ACM on Programming Languages·2019· 38 citedOpen Access
Effective floating-point analysis via weak-distance minimization
2019· 15 citedOpen Access
ROSIN Quality Assurance Initiatives for ROS
2018Open Access
ROSIN Quality Assurance Initiatives for ROS
2018Open Access
Achieving high coverage for floating-point code via unconstrained programming
ACM SIGPLAN Notices·2017· 7 citedOpen Access
Achieving high coverage for floating-point code via unconstrained programming
2017· 21 citedOpen Access
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
arXiv (Cornell University)·2017Open Access
Mathematical Execution: A Unified Approach for Testing Numerical Code
arXiv (Cornell University)·2016· 4 citedOpen Access
XSat: A Fast Floating-Point Satisfiability Solver
Lecture notes in computer science·2016· 36 cited
Automated backward error analysis for numerical code
ACM SIGPLAN Notices·2015· 4 cited
page 1 of 2Next →

Frequent Co-authors

Zhendong Su(10), Binoy Ravindran(4), Ting Su(3), Freek Verbeek(3), Ju‐Young Yun(3), Byungkon Kang(3), Geguang Pu(2), Zhaojun Bai(2), François Rameau(2), Adam Alami(2), Daming Zou(1), Muhan Zeng(1), Yingfei Xiong(1), Lu Zhang(1), Jifeng He(1), Joshua A. Bockenek(1), Anders Fischer-Nielsen(1), Andrzej Wąsowski(1), Chengyu Zhang(1), Yichen Yan(1)