[PLDI’22] Freek Verbeek, Joshua Bockenek, Zhoulai Fu, Binoy Ravindran, “Formally Verified Lifting of C-compiled x86-64 Binaries.” In ACM SIGPLAN Conference on Programming Language Design and Implementation, 2022.

[ICSE-SEIP’20] Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, and Andrzej Wasowski, “The forgotten case of the dependency bugs: on the example of the robot operating system.” In 42nd international Conference on Software Engineering: Software Engineering In Practice, 2020.

[POPL’20]Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, and Zhendong Su, “Detecting Floating-Point Errors via Atomic Conditions.” In 47th ACM SIGPLAN Symposium on Principles of Programming Languages, 2020.

[PLDI’19] Zhoulai Fu and Zhendong Su, “Effective Floating-Point Analysis via Weak-Distance Minimization.” In 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019.

[PLDI’17] Zhoulai Fu and Zhendong Su, “Achieving High Coverage for Floating-Point Code via Unconstrained Programming.” In 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017.

[CAV’16] Zhoulai Fu and Zhendong Su, “XSat: A Fast Floating-Point Satisfiability Solver.” In 28th International Conference on Computer Aided Verification, 2016.

[OOPSLA’15] Zhoulai Fu, Zhaojun Bai, and Zhendong Su. “Automated Backward Error Analysis for Numerical Code.” In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2015.

[ICSE’15] Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, and Zhendong Su. “Combining Symbolic Execution and Model Checking for Data Flow Testing.” In 37th International Conference on Software Engineering, 2015.

[ESOP’14] Zhoulai Fu, “Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and its Application on Static Numeric Analysis.” In 23rd European Symposium On Programming, 2014.

[VMCAI’14] Zhoulai Fu, “Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java.” In 15th International Conference on Verification, Model Checking, and Abstract Interpretation, 2014.