| 2025 | ICA3PP | Are We There Yet? Unraveling the State-of-the-Art Binary Feedback-Directed Optimizations. | Mingliang Liu, Shanlin Deng, Baojian Hua |
| 2025 | ICICS | RustGuard: Detecting Rust Data Leak Issues with Context-Sensitive Static Taint Analysis. | Shanlin Deng, Mingliang Liu, Si Wu, Baojian Hua |
| 2025 | ICICS | PowerPoly: Analyzing Multilingual Programs with the Aid of WebAssembly. | Zhuochen Jiang, Baojian Hua |
| 2025 | QRS | WasmSepa: Effectively Protecting WebAssembly Through Privilege Separation. | Zhuochen Jiang, Baojian Hua |
| 2025 | QRS | JasLoad: Dynamically Analyzing Javascript Bytecode via a Load-Time Instrumentation Approach. | Hao Jiang, Baojian Hua |
| 2025 | QRS | Shard: Securing GPU Kernels with Lightweight Formal Methods. | Jiacheng Zhao, Baojian Hua |
| 2025 | TrustCom | RuDyna: Towards A Dynamic Analysis Framework for Rust. | Shanlin Deng, Baojian Hua |
| 2025 | TrustCom | DFAFuzz: Fuzzing for Embedded JavaScript Virtual Machines with Type-Directed DFA. | Haiwei Lai, Baojian Hua |
| 2025 | TrustCom | Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis. | Mingliang Liu, Baojian Hua |
| 2025 | TrustCom | DeepLancet: Effectively Detecting Deep Learning Library Bugs via LLM-assisted Testcase Generation. | Zihao Luo, Baojian Hua |
| 2025 | TrustCom | Security Risks of Transpiling C Programs to Rust. | Si Wu, Huyao Yang, Baojian Hua |
| 2025 | TrustCom | ORThrus: Detecting Deep Learning Compiler Bugs via Optimization Resistance Transformations. | Tongwei Zhang, Baojian Hua |
| 2024 | ECAI | EdgeNAT: Transformer for Efficient Edge Detection. | Jinghuai Jie, Yan Guo, Guixing Wu, Junmin Wu, Baojian Hua |
| 2024 | IJCNN | Efficient Transformer-based Edge Detector. | Jinghuai Jie, Qifan Wang, Junmin Wu, Yan Guo, Baojian Hua |
| 2024 | TrustCom | WaShadow: Effectively Protecting WebAssembly Memory Through Virtual Machine-Aware Shadow Memory. | Zhuochen Jiang, Baojian Hua |
| 2024 | TrustCom | JasFree: Grammar-free Program Analysis for JavaScript Bytecode. | Hao Jiang, Haiwei Lai, Si Wu, Baojian Hua |
| 2023 | COMPSAC | MePof: A Modular and End-to-End Profile-Guided Optimization Framework for Android Kernels. | Keyuan Zong, Baojian Hua, Yang Wang, Shuang Hu, Zhizhong Pan |
| 2023 | QRS | CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection. | Feng Qiu, Pu Ji, Baojian Hua, Yang Wang |
| 2023 | QRS | An Empirical Study of Lightweight JavaScript Engines. | Meng Wu, Weixin Dong, Qiang Zhao, Zhizhong Pan, Baojian Hua |
| 2023 | QRS | RUSPATCH: Towards Timely and Effectively Patching Rust Applications. | Yufei Wu, Baojian Hua |
| 2023 | QRS | Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. | Lei Xia, Yufei Wu, Baojian Hua |
| 2023 | QRS | VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach. | Ziyao Zhang, Wenlong Zheng, Baojian Hua, Qiliang Fan, Zhizhong Pan |
| 2023 | QRS | WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. | Wenlong Zheng, Baojian Hua, Zhuochen Jiang |
| 2022 | QRS | RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization. | Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang |
| 2022 | QRS | Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security. | Shuang Hu, Baojian Hua, Yang Wang |
| 2022 | QRS | CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust. | Shuang Hu, Baojian Hua, Lei Xia, Yang Wang |
| 2021 | ACSAC | Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust. | Baojian Hua, Wanrong Ouyang, Chengman Jiang, Qiliang Fan, Zhizhong Pan |
| 2021 | ISSRE | PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines. | Chengman Jiang, Baojian Hua, Wanrong Ouyang, Qiliang Fan, Zhizhong Pan |
| 2021 | ISSRE | RusBox: Towards Efficient and Adaptive Sandboxing for Rust. | Wanrong Ouyang, Baojian Hua |
| 2021 | ISSRE | $^{\prime}\mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust. | Wanrong Ouyang, Baojian Hua |
| 2007 | TASE | Design of a Certifying Compiler Supporting Proof of Program Safety. | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu |