Biography
Hi! I am Jianhao Xu (徐坚皓), a Research Associate in the school of Cyber Science and Engineering at Southeast University. My research lies at the intersection of security, software engineering and compilers. I earned my Ph.D. in Computer Science from Nanjing University in 2023, and was fortunately advised by Professor Bing Mao. From April 2022 to April 2023, I had the privilege of visiting HexHive and being supervised by Professor Mathias Payer.
I'm looking for master students at Southeast University. If you are interested in systems and security, please feel free to contact me!Interests
- Compiler Security
- OS Security
- Program Analysis
Education
Visiting PhD student at HexHive, 2022 - 2023
EPFL
PhD in Computer Science and Technology, 2017 - 2023
Nanjing University
BSc in Computer Science and Technology, 2013 - 2017
Nanjing University of Science and Technology
Publications
(2026).
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses.
The 27th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26) (CCF A).
(2026).
Cross-Version Detection for Compiler-Introduced Vulnerabilities (Chinese).
Journal of Computer Research and Development (CCF Chinese A).
(2023).
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs.
The 32nd USENIX Security Symposium (Security'23) (CCF A).
(2023).
WarpAttack: Bypassing CFI with Compiler-Introduced double-fetch.
The 44th IEEE Symposium on Security and Privacy (Oakland'23) (CCF A).
(2019).
POMP++: Facilitating Postmortem Program Diagnosis with Value-set Analysis.
IEEE Transactions on Software Engineering (CCF A).