According to our database1, Zhoulai Fu authored at least 13 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version).
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
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
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