Baojian Hua

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 19

Top Topics

Open Architecture

Cloud Computing Environment

Virtual Machine

Top Venues

ISSRE Workshops

Publications

Wenlong Zheng, Baojian Hua
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. SANER (2024)
Peng Gao, Feng Qiu, Baojian Hua
ChemGen: Towards Understanding First-Principles Calculation Code Generation Based on Large Language Models. CSAIDE (2024)
Feng Qiu, Pu Ji, Baojian Hua, Yang Wang
CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection. QRS Companion (2023)
Meng Wu, Weixin Dong, Qiang Zhao, Zhizhong Pan, Baojian Hua
An Empirical Study of Lightweight JavaScript Engines. QRS Companion (2023)
Lei Xia, Yufei Wu, Baojian Hua
Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. QRS Companion (2023)
Xinrong Lin, Baojian Hua, Yang Wang, Zhizhong Pan
Towards a Large-Scale Empirical Study of Python Static Type Annotations. SANER (2023)
Keyuan Zong, Baojian Hua, Yang Wang, Shuang Hu, Zhizhong Pan
MePof: A Modular and End-to-End Profile-Guided Optimization Framework for Android Kernels. COMPSAC (2023)
Yufei Wu, Baojian Hua
RUSPATCH: Towards Timely and Effectively Patching Rust Applications. QRS (2023)
Xia Liu, Baojian Hua, Yang Wang, Zhizhong Pan
An Empirical Study of Smart Contract Decompilers. SANER (2023)
Hao Zhu, Baojian Hua
SAFEJ: An Efficient Infrastructure for Securing Julia Programs. ICBASE (2023)
Ziyao Zhang, Wenlong Zheng, Baojian Hua, Qiliang Fan, Zhizhong Pan
VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach. QRS (2023)
Wenlong Zheng, Baojian Hua, Zhuochen Jiang
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. QRS Companion (2023)
Shuang Hu, Baojian Hua, Lei Xia, Yang Wang
CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust. QRS (2022)
Shuang Hu, Baojian Hua, Yang Wang
Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security. QRS (2022)
Xinrong Lin, Baojian Hua, Qiliang Fan
On the Security of Python Virtual Machines: An Empirical Study. ICSME (2022)
Chengman Jiang, Baojian Hua, Wanrong Ouyang, Qiliang Fan, Zhizhong Pan
PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines. ISSRE (2021)
Wanrong Ouyang, Baojian Hua
$^{\prime}\mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust. ISSRE Workshops (2021)
Wanrong Ouyang, Baojian Hua
RusBox: Towards Efficient and Adaptive Sandboxing for Rust. ISSRE Workshops (2021)
Baojian Hua, Wanrong Ouyang, Chengman Jiang, Qiliang Fan, Zhizhong Pan
Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust. ACSAC (2021)
Baojian Hua
Static typing for a substructural lambda calculus. Frontiers Comput. Sci. China 5 (3) (2011)
Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua
Automated verification of pointer programs in pointer logic. Frontiers Comput. Sci. China 2 (4) (2008)
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang
A pointer logic and certifying compiler. Frontiers Comput. Sci. China 1 (3) (2007)
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu
Design of a Certifying Compiler Supporting Proof of Program Safety. TASE (2007)