Zhoulai Fu

23 papers A* 3A 2B 1C 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Scalable Floating-Point Satisfiability via Staged Optimization.
CoRR
Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran
2025 J jnl
Augmented Weak Distance for Fast and Accurate Bounds Checking.
CoRR
Zhoulai Fu, Freek Verbeek, Binoy Ravindran
2025 J jnl
Large Language Model-Powered Agent for C to Rust Code Translation.
CoRR
HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go, Zhoulai Fu, Ali Shokri, Binoy Ravindran
2025 J jnl
On Extending Incorrectness Logic with Backwards Reasoning.
Proc. ACM Program. Lang.
Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, Binoy Ravindran
2025 — conf
Revisiting 16-Bit Neural Network Training: A Practical Approach for Resource-Limited Learning.
ICONIP (1)
Juyoung Yun, Sol Choi, François Rameau, Byungkon Kang, Zhoulai Fu
2024 C conf
AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication.
PRDC
Joon Kuy Han, Dennis Wong, Zhoulai Fu, Byungkon Kang
2023 J jnl
In Defense of Pure 16-bit Floating-Point Neural Networks.
CoRR
Juyoung Yun, Byungkon Kang, François Rameau, Zhoulai Fu
2023 J jnl
The Hidden Power of Pure 16-bit Floating-Point Neural Networks.
CoRR
Juyoung Yun, Byungkon Kang, Zhoulai Fu
2023 — conf
Towards Efficient Data-Flow Test Data Generation.
Theories of Programming and Formal Methods
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
2022 A* conf
Formally verified lifting of C-compiled x86-64 binaries.
PLDI
Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
2020 J jnl
Detecting floating-point errors via atomic conditions.
Proc. ACM Program. Lang.
Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
2020 — conf
The forgotten case of the dependency bugs: on the example of the robot operating system.
ICSE (SEIP)
Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski
2019 A* conf
Effective floating-point analysis via weak-distance minimization.
PLDI
Zhoulai Fu, Zhendong Su
2018 J jnl
Towards Efficient Data-flow Test Data Generation.
CoRR
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
2017 J jnl
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version).
CoRR
Zhoulai Fu, Zhendong Su
2017 A* conf
Achieving high coverage for floating-point code via unconstrained programming.
PLDI
Zhoulai Fu, Zhendong Su
2016 J jnl
Mathematical Execution: A Unified Approach for Testing Numerical Code.
CoRR
Zhoulai Fu, Zhendong Su
2016 — conf
XSat: A Fast Floating-Point Satisfiability Solver.
CAV (2)
Zhoulai Fu, Zhendong Su
2015 A conf
Automated backward error analysis for numerical code.
OOPSLA
Zhoulai Fu, Zhaojun Bai, Zhendong Su
2015 — conf
Combining Symbolic Execution and Model Checking for Data Flow Testing.
ICSE (1)
Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
2014 B conf
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java.
VMCAI
Zhoulai Fu
2014 A conf
Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis.
ESOP
Zhoulai Fu
2013 — —
Static analysis of numerical properties in the presence of pointers. (Analyse statique de propriétés numériques en présence de pointeurs).
Zhoulai Fu