Scalable Floating-Point Satisfiability via Staged Optimization. Yuanzhuo Zhang, Zhoulai Fu, and Binoy Ravindran, PLDI, 2026 (conditional acceptance)
Scalable Floating-Point Satisfiability via Staged Optimization. Yuanzhuo Zhang, Zhoulai Fu, and Binoy Ravindran, arxiv, January 2026.
Augmented Weak Distance for Fast and Accurate Bounds Checking. Zhoulai Fu, Freek Verbeek, and Binoy Ravindran, arxiv, May 2025.
Detecting Floating-Point Errors via Atomic Conditions. Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, and Zhendong Su, ACM Program. Lang. 4, POPL, Article 60 (January 2020), 27 pages.
Effective Floating-Point Analysis via Weak-Distance Minimization. Zhoulai Fu and Zhendong Su, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019), 439–452.
Achieving High Coverage for Floating-point Code via Unconstrained Programming. Zhoulai Fu and Zhendong Su, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), 306–319.
XSat: A Fast Floating-Point Satisfiability Solver. Zhoulai Fu and Zhendong SuFu, Computer Aided Verification. CAV 2016. Lecture Notes in Computer Science, vol 9780. Springer, Cham.
Mathematical Execution: A Unified Approach for Testing Numerical Code, Zhoulai Fu and Zhendong Su, arxiv, October 2016.