Publications
[2025]:
-
Functional Programming Language Compilation.
[pdf]
Baojian Hua.
Chapter 11 of the book Advanced compilers. Draft of 2025.
-
HCTEdge: Optimizing Edge Detection with Augmented
Local Cues and Global Semantics.
[pdf]
Draft. 2025.
-
Are We There Yet? Unraveling the State-of-the-Art
Binary Feedback-directed Optimizations.
[pdf]
Draft. 2025.
-
JasLoad: A Load-Time Instrumentation Approach for
Dynamically Analyzing JavaScript Bytecode.
[pdf]
Draft. 2025.
-
JsDyPa: A Dynamic Program Analysis Framework for
JavaScript Binaries.
[pdf]
Draft. 2025.
-
Shard: Securing GPU Kernels with
Lightweight Formal Methods.
[pdf]
Draft. 2025.
-
Enhancing Formal Method Education Through SAT/SMT Solvers.
[pdf]
Draft. 2025.
[2024]:
-
WaShadow: Effective Wasm Memory Protection
with Virtual Machine-Aware Shadow Memory.
[pdf]
Zhuochen Jiang, and Baojian Hua.
The 23rd IEEE International Conference on Trust, Security and
Privacy in Computing and Communications (TrustCom 2024). 2024.
-
JasFree: A Grammar-free Program Analysis for
JavaScript Bytecode.
[pdf]
Hao Jiang, Haiwei Lai, Si Wu, and Baojian Hua.
The 23rd IEEE International Conference on Trust, Security and
Privacy in Computing and Communications (TrustCom 2024). 2024.
-
WasmChecker: Effectively Detecting
WebAssembly Bugs via Static Program Analysis.
[pdf]
Junjie Zhuang, Hao Jiang, and Baojian Hua.
The 8th International Conference
on Electrical, Mechanical and Computer Engineering (ICEMCE). 2024.
-
EdgeNAT: Transformer for Efficient Edge Detection.
[pdf]
Jinghuai Jie, Yan Guo, Guixing Wu, Junmin Wu, and Baojian Hua.
27th European Conference on Artificial Intelligence (ECAI 2024). 2024.
-
Efficient Transformer-Based Edge Detector.
[pdf]
Jinghuai Jie, Qifan Wang, Junmin Wu, Yan Guo, and Baojian Hua.
The IEEE International Joint Conference on Neural Networks (IJCNN 2024). 2024.
-
ChemGen: Towards Understanding First-Principles
Calculation Code Generation Based on Large Language Models.
[pdf]
Peng Gao, Feng Qiu, and Baojian Hua.
2024 3rd International Conference on Cybersecurity,
Artificial Intelligence and Digital Economy (CSAIDE 2024). 2024.
-
WasmDyPa: Effectively Detecting
WebAssembly Bugs via Dynamic Program Analysis.
[pdf]
Wenlong Zheng, and Baojian Hua.
The 31st IEEE International Conference on
Software Analysis, Evolution and Reengineering (SANER 2024). 2024.
[2023]:
-
A Comprehensive Study of Bugs in Embedded
WebAssembly Virtual Machines.
[pdf]
Wenlong Zheng, and Baojian Hua.
2023 3rd International Conference on
Computer Science, Electronic Information Engineering and Intelligent Control
Technology (CEI 2023). 2023.
-
RusPatch: Towards Timely and Effectively Patching Rust Applications.
[pdf]
Yufei Wu, and Baojian Hua.
The 23rd IEEE International Conference on Software Quality,
Reliability, and Security (QRS 2023). 2023.
-
VMCanary: Effective Memory Protection for WebAssembly
via Virtual Machine-assisted Approach.
[pdf]
Ziyao Zhang, Wenlong Zheng, Baojian Hua, Qiliang Fan, and Zhizhong Pan.
The 23rd IEEE International Conference on Software Quality,
Reliability, and Security (QRS 2023). 2023.
-
WasmDyPa: Effectively Detecting
WebAssembly Bugs via Dynamic Program Analysis.
[pdf]
Wenlong Zheng, Baojian Hua, and Zhuochen Jiang.
23rd IEEE International Conference on Software Quality,
Reliability, and Security. Fast Abstract. (QRS 2023). 2023.
-
RustCheck: Safety Enhancement of Unsafe
Rust via Dynamic Program Analysis.
[pdf]
Lei Xia, Yufei Wu, and Baojian Hua.
23rd IEEE International Conference on Software Quality,
Reliability, and Security. Fast Abstract. (QRS 2023). 2023.
-
An Empirical Study of Lightweight JavaScript
Virtual Machines.
[pdf]
Meng Wu, Weixin Dong, Qiang Zhao, Zhizhong Pan, and Baojian Hua.
23rd IEEE International Conference on Software Quality,
Reliability, and Security. Accompany. (QRS 2023). 2023.
-
ChemFuzz: Large Language Model-assisted
Quantum Chemistry Software Bug Detection.
[pdf]
Feng Qiu, Pu Ji, Baojian Hua, and Yang Wang.
23rd IEEE International Conference on Software Quality,
Reliability, and Security. Accompany. (QRS 2023). 2023.
-
SAFEJ: An Efficient Infrastructure for Securing Julia Programs.
[pdf]
Hao Zhu, and Baojian Hua.
The 4th International Conference on Big Data and
Artificial Intelligence, and Software Engineering (ICBASE 2023). 2023.
-
OpenCL-based programming library for heterogeneous
computing on ReWorks operating system.
[pdf]
Xiaoyan Liu, Baojian Hua, and Junmin Wu.
International Conference on Electronic Information Engineering
and Data Processing (EIEDP 2023). 2023.
-
Simulation of Computer Network Information Security
Assessment Model Based on Data Mining.
[pdf]
Yanjia Liu, Xi Xiong, Baojian Hua, and Jiahua Yang.
The 2nd International Conference on Artificial Intelligence and
Autonomous Robot Systems (AIARS 2023). 2023.
-
A Survey of WebAssembly Security Studies.
[pdf]
Junjie Zhuang, Shuang Hu, Baojian Hua,
Yang Wang, and Zhizhong Pan.
Journal of Computer Research and Development.
To appear. 2023.
-
MePof: A Modular and End-to-End Profile-Guided
Optimization Framework for Android Kernels.
[pdf]
Keyuan Zong, Baojian Hua, Yang Wang, Shuang Hu, and Zhizhong Pan.
The 47th IEEE International Computer Software and Applications
Conference (COMPSAC 2023). 2023
[2022]:
-
An Empirical Study of Smart Contract Decompilers.
[pdf]
Xia Liu, Baojian Hua, Yang Wang, and Zhizhong Pan.
The 30th IEEE International Conference on
Software Analysis, Evolution and Reengineering (SANER 2023). 2023
-
Towards a Large-Scale Empirical Study of
Python Static Type Annotations.
[pdf]
Xinrong Lin, Baojian Hua, Yang Wang, and Zhizhong Pan.
The 30th IEEE International Conference on
Software Analysis, Evolution and Reengineering (SANER 2023). 2023
-
CRust: Towards a Unified Cross-Language Static
Analysis Framework For Rust.
[pdf]
Shuang Hu, Baojian Hua, Yang Wang, and Lei Xia.
The 22nd IEEE International Conference on Software
Quality, Reliability, and Security (QRS 2022). 2022.
-
Comprehensive, Automated, and Lifecycle:
A Perspective on Rust Security.
[pdf]
Shuang Hu, Baojian Hua, and Yang Wang.
The 22nd IEEE International Conference on Software
Quality, Reliability, and Security (QRS 2022). 2022.
-
Code Duplication Removal in C to Rust Conversion
via Unstructured Transfer Specialization.
[pdf]
Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang,
Qiliang Fan, and Zhizhong Pan.
The 22nd IEEE International Conference on Software
Quality, Reliability, and Security (QRS 2022). 2022.
-
On the Security of Python Virtual Machines:
An Empirical Study.
[pdf]
Xinrong Lin, Baojian Hua, and Qiliang Fan.
The 38th IEEE International Conference on
Software Maintenance and Evolution (ICSME 2022). 2022.
-
A Survey of Rust Language Security Research.
[pdf]
Shuang Hu, Baojian Hua, Wanrong Ouyang, and Qiliang Fan.
Journal of CyberSecurity. Accepted. 2022.
-
A Tensorization Algorithm Based On Loop Partitioning.
[pdf]
Jiali Liang, Baojian Hua, and Shaobo Su.
Journal of Computer Science. Accepted. 2022.
[2021]:
-
RUPAIR: Towards Automatic Buffer Overflow
Detection and Rectification for Rust.
[pdf]
Baojian Hua, Wanrong Ouyang, Chengman Jiang,
Qiliang Fan, and Zhizhong Pan.
The 37th Annual Computer Security Applications
Conference (ACSAC 2021). 2021.
-
PyGuard: Finding and Understanding
Vulnerabilities in Python Virtual Machines.
[pdf]
Chengman Jiang, Baojian Hua, Wanrong Ouyang,
Qiliang Fan, and Zhizhong Pan.
The 32nd International Symposium on Software
Reliability Engineering
(ISSRE 2021). 2021.
-
RusBox: Towards Efficient and Adaptive
Sandboxing for Rust.
[pdf]
Wanrong Ouyang, and Baojian Hua.
The 32nd International Symposium on Software
Reliability Engineering, Fast Abstract.
(ISSRE 2021). 2021.
-
`R: Towards Detecting and Understanding
Code-Document Violations in Rust.
[pdf]
Wanrong Ouyang, and Baojian Hua.
The 1st International Workshop on Reliable
System Software (RESS 2021). 2021.
-
A Loop Invariant Code Motion Algorithm For
Deep Learning Operators.
[pdf]
Jiali Liang, Baojian Hua, Yashuai Lv, and Zhenyu Su.
Journal of Frontiers of Computer Science and Technology. 2021.
-
An Empirical Security Study of the Native
Code in Python Virtual Machines.
[pdf]
Chengman Jiang, Baojian Hua, et al.
Journal of Computer Science. 2021.
-
Exploring the Curriculum Design for Formal Methods.
[pdf]
Baojian Hua, Qiliang Fan, and Zhizhong Pan.
Computer Education. 2021.
-
Compiler Innovation and Practice with Bisheng.
[pdf]
Yaoqing Gao, and Baojian Hua.
Communications of Huawei Research. (Invited paper). 2021.
Papers before 2021:
