Zhoulai Fu

Registered user since Fri 21 Aug 2015

Name:Zhoulai Fu
Bio:

Zhoulai Fu’s current research focuses on formal methods for scientific computing. Application domains include robotics, machine learning, medical imaging, and most safety-critical engineering fields where heavy numerical calculations are involved.

Research collaborations of any form will be highly welcomed. Interested students for postdoc, Ph.D., Master’s, or undergraduate -level research study should contact me: .

Affiliation:State University of New York, Korea
Personal website:http://zhoulaifu.com
Research interests:Programming Languages Theory and Applications; Scientific Computing; Software Engineering; Security; Machine Learning

Contributions

NSAD 2020 Committee Member in Program Committee within the NSAD-track
POPL 2020 Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track
PLDI 2019 Author of Effective Floating-Point Analysis via Weak-Distance Minimization within the PLDI Research Papers-track
ICSE 2020 Author of The Forgotten Case of the Dependency Bugs: On the Example of the Robot Operating System within the Software Engineering in Practice-track
ISSTA 2017 Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2017 Committee Member in Artifact Evaluation Committee
Author of Achieving High Coverage for Floating-point Code via Unconstrained Programming within the PLDI Research Papers-track
SPLASH 2015 Author of Automated Backward Error Analysis for Numerical Code within the OOPSLA-track