Name:Hongxu Xu

Bio:

Hongxu Xu is a PhD student at the University of Waterloo (since May 2025), advised by Prof. Chengnian Sun, researching compiler optimizations, software testing, and formal verification. Before his PhD, he spent nearly seven years in industry—most recently as a Senior SDE at ByteDance, and previously at Microsoft STC-Asia. He holds a B.Sc. in Computer Science from Beijing Normal University.

Country:Canada

Affiliation:University of Waterloo

Research interests:Compiler, Software Engineering, Programming Language