Publications

CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jianhao Xu, Kunbo Zhang, Mathias Payer, Kangjie Lu, Bing Mao
PDF Cite
Cross-Version Detection for Compiler-Introduced Vulnerabilities (Chinese)
Jianhao Xu, Linke Li, Kunbo Zhang, Chen Tang, Bing Mao
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, Bing Mao
PDF Cite
WarpAttack: Bypassing CFI with Compiler-Introduced double-fetch
Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini, Bing Mao, Mathias Payer
PDF Cite
POMP++: Facilitating Postmortem Program Diagnosis with Value-set Analysis
Dongliang Mu, Yunlan Du, Jianhao Xu, Jun Xu, Xinyu Xing, Bing Mao, Peng Liu
PDF Cite
An example conference paper
Jianhao Xu, Robert Ford
PDF Cite Project Slides