Zhoulai Fu

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

Towards Efficient Data-Flow Test Data Generation.
Proceedings of the Theories of Programming and Formal Methods, 2023

2022
Formally verified lifting of C-compiled x86-64 binaries.
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.
Proc. ACM Program. Lang., 2020

The forgotten case of the dependency bugs: on the example of the robot operating system.
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.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Towards Efficient Data-flow Test Data Generation.
CoRR, 2018

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

Achieving high coverage for floating-point code via unconstrained programming.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Mathematical Execution: A Unified Approach for Testing Numerical Code.
CoRR, 2016

XSat: A Fast Floating-Point Satisfiability Solver.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Automated backward error analysis for numerical code.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.
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.
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.
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).
PhD thesis, 2013


  Loading...