Weiqiang Kong

Compiler Testing: A Systematic Literature Analysis

2018 · arXiv (Cornell University)

Compilers are widely-used infrastructures in accelerating the software development, and expected to be trustworthy. In the literature, various testing technologies have been proposed to guarantee the quality of compilers. However, there remains an obstacle to …

SDLV: Verification of Steering Angle Safety for Self-Driving Cars

2021 · Formal Aspects of Computing

Abstract Self-driving cars over the last decade have achieved significant progress like driving millions of miles without any human intervention. However, behavioral safety in applying deep-neural-network-based (DNN based) systems for self-driving cars could not be …