Zhoulai Fu

According to our database1, Zhoulai Fu authored at least 13 papers between 2013 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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