Design of a Certifying Compiler Supporting Proof of Program Safety. - Yiyun Chen; Lin Ge; Baojian Hua; Zhaopeng Li; Cheng Liu (TASE, 2007)

A pointer logic and certifying compiler. - Yiyun Chen; Lin Ge; Baojian Hua; Zhaopeng Li; Cheng Liu; Zhifang Wang (Frontiers Comput. Sci. China, 2007)

Automated verification of pointer programs in pointer logic. - Zhifang Wang; Yiyun Chen; Zhenming Wang; Baojian Hua (Frontiers Comput. Sci. China, 2008)

Static typing for a substructural lambda calculus. - Baojian Hua (Frontiers Comput. Sci. China, 2011)

Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust. - Baojian Hua; Wanrong Ouyang; Chengman Jiang; Qiliang Fan; Zhizhong Pan (ACSAC, 2021)

PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines. - Chengman Jiang; Baojian Hua; Wanrong Ouyang; Qiliang Fan; Zhizhong Pan (ISSRE, 2021)

RusBox: Towards Efficient and Adaptive Sandboxing for Rust. - Wanrong Ouyang; Baojian Hua (ISSRE Workshops, 2021)

$^{ prime} mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust. - Wanrong Ouyang; Baojian Hua (ISSRE Workshops, 2021)

On the Security of Python Virtual Machines: An Empirical Study. - Xinrong Lin; Baojian Hua; Qiliang Fan (ICSME, 2022)

RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization. - Xiangjun Han; Baojian Hua; Yang Wang; Ziyao Zhang (QRS Companion, 2022)

Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security. - Shuang Hu; Baojian Hua; Yang Wang 015 (QRS, 2022)

CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust. - Shuang Hu; Baojian Hua; Lei Xia; Yang Wang 015 (QRS, 2022)

MePof: A Modular and End-to-End Profile-Guided Optimization Framework for Android Kernels. - Keyuan Zong; Baojian Hua; Yang Wang 015; Shuang Hu; Zhizhong Pan (COMPSAC, 2023)

SAFEJ: An Efficient Infrastructure for Securing Julia Programs. - Hao Zhu; Baojian Hua (ICBASE, 2023)

CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection. - Feng Qiu; Pu Ji; Baojian Hua; Yang Wang (QRS Companion, 2023)

An Empirical Study of Lightweight JavaScript Engines. - Meng Wu; Weixin Dong; Qiang Zhao; Zhizhong Pan; Baojian Hua (QRS Companion, 2023)

RUSPATCH: Towards Timely and Effectively Patching Rust Applications. - Yufei Wu 011; Baojian Hua (QRS, 2023)

Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. - Lei Xia; Yufei Wu 011; Baojian Hua (QRS Companion, 2023)

VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach. - Ziyao Zhang; Wenlong Zheng; Baojian Hua; Qiliang Fan; Zhizhong Pan (QRS, 2023)

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. - Wenlong Zheng; Baojian Hua; Zhuochen Jiang (QRS Companion, 2023)

Towards a Large-Scale Empirical Study of Python Static Type Annotations. - Xinrong Lin; Baojian Hua; Yang Wang; Zhizhong Pan (SANER, 2023)

An Empirical Study of Smart Contract Decompilers. - Xia Liu; Baojian Hua; Yang Wang; Zhizhong Pan (SANER, 2023)

ChemGen: Towards Understanding First-Principles Calculation Code Generation Based on Large Language Models. - Peng Gao; Feng Qiu; Baojian Hua (CSAIDE, 2024)

EdgeNAT: Transformer for Efficient Edge Detection. - Jinghuai Jie; Yan Guo; Guixing Wu; Junmin Wu; Baojian Hua (ECAI, 2024)

Efficient Transformer-based Edge Detector. - Jinghuai Jie; Qifan Wang; Junmin Wu; Yan Guo; Baojian Hua (IJCNN, 2024)

WaShadow: Effectively Protecting WebAssembly Memory Through Virtual Machine-Aware Shadow Memory. - Zhuochen Jiang; Baojian Hua (TrustCom, 2024)

JasFree: Grammar-free Program Analysis for JavaScript Bytecode. - Hao Jiang; Haiwei Lai; Si Wu; Baojian Hua (TrustCom, 2024)

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. - Wenlong Zheng; Baojian Hua (SANER, 2024)