Zhaogui Xu

Papers

Total Citations

H-Index

About

Zhaogui Xu is a leading researcher in software engineering, with a primary focus on program analysis, type systems, and the validation of cyber-physical systems. His most impactful work introduces **Phys**, a probabilistic framework for inferring and checking physical unit types in robotic and embedded software. This contribution is critical because program variables in these systems often carry implicit physical units (e.g., meters, seconds) that standard type systems cannot capture, leading to subtle, hard-to-detect bugs. By automatically assigning abstract physical unit types and detecting inconsistencies, Xu's approach provides a powerful, automated method for improving the safety and reliability of autonomous systems. His 2018 paper on Phys has garnered 20 citations, reflecting its influence on the field of program verification. Beyond this flagship work, Xu's research continues to advance the state of the art in static analysis and type inference, helping developers build more robust software for the physical world.