Zhoulai Fu

According to our database, Zhoulai Fu authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

In Defense of Pure 16-bit Floating-Point Neural Networks.

Juyoung Yun, Byungkon Kang, François Rameau, Zhoulai Fu

CoRR, 2023

The Hidden Power of Pure 16-bit Floating-Point Neural Networks.

Juyoung Yun, Byungkon Kang, Zhoulai Fu

CoRR, 2023

Towards Efficient Data-Flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Formally verified lifting of C-compiled x86-64 binaries.

Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020

Detecting floating-point errors via atomic conditions.

Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

The forgotten case of the dependency bugs: on the example of the robot operating system.

Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Effective floating-point analysis via weak-distance minimization.

Zhoulai Fu, Zhendong Su

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Towards Efficient Data-flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su

CoRR, 2018

2017

Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version).

Zhoulai Fu, Zhendong Su

CoRR, 2017

Achieving high coverage for floating-point code via unconstrained programming.

Zhoulai Fu, Zhendong Su

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Mathematical Execution: A Unified Approach for Testing Numerical Code.

Zhoulai Fu, Zhendong Su

CoRR, 2016

XSat: A Fast Floating-Point Satisfiability Solver.

Zhoulai Fu, Zhendong Su

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Automated backward error analysis for numerical code.

Zhoulai Fu, Zhaojun Bai, Zhendong Su

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.

Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java.

Zhoulai Fu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis.

Zhoulai Fu

Proceedings of the Programming Languages and Systems, 2014

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

PhD thesis, 2013