[POPL’25] Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, and Binoy Ravindran, “On Extending Incorrectness Logic with Backwards Reasoning.” Conditionally accepted in the 52nd  ACM SIGPLAN Symposium on Principles of Programming Languages, 2025.

[PRDC’24] Joonkyu Han, Dennis Wong, Zhoulai Fu, and Byungkon Kang, “AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication”. To appear in the 29th IEEE Pacific Rim International Symposium on Dependable Computing, 2024.

[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.