Baojian Hua

According to our database, Baojian Hua authored at least 22 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

An Empirical Study of Smart Contract Decompilers.

Xia Liu, Baojian Hua, Yang Wang, Zhizhong Pan

Proceedings of the IEEE International Conference on Software Analysis, 2023

Towards a Large-Scale Empirical Study of Python Static Type Annotations.

Xinrong Lin, Baojian Hua, Yang Wang, Zhizhong Pan

Proceedings of the IEEE International Conference on Software Analysis, 2023

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis.

Wenlong Zheng, Baojian Hua, Zhuochen Jiang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach.

Ziyao Zhang, Wenlong Zheng, Baojian Hua, Qiliang Fan, Zhizhong Pan

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis.

Lei Xia, Yufei Wu, Baojian Hua

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

RUSPATCH: Towards Timely and Effectively Patching Rust Applications.

Yufei Wu, Baojian Hua

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

An Empirical Study of Lightweight JavaScript Engines.

Meng Wu, Weixin Dong, Qiang Zhao, Zhizhong Pan, Baojian Hua

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection.

Feng Qiu, Pu Ji, Baojian Hua, Yang Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SAFEJ: An Efficient Infrastructure for Securing Julia Programs.

Hao Zhu, Baojian Hua

Proceedings of the 4th International Conference on Big Data & Artificial Intelligence & Software Engineering, 2023

MePof: A Modular and End-to-End Profile-Guided Optimization Framework for Android Kernels.

Keyuan Zong, Baojian Hua, Yang Wang, Shuang Hu, Zhizhong Pan

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust.

Shuang Hu, Baojian Hua, Lei Xia, Yang Wang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security.

Shuang Hu, Baojian Hua, Yang Wang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization.

Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

On the Security of Python Virtual Machines: An Empirical Study.

Xinrong Lin, Baojian Hua, Qiliang Fan

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

$^{\prime}\mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust.

Wanrong Ouyang, Baojian Hua

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

RusBox: Towards Efficient and Adaptive Sandboxing for Rust.

Wanrong Ouyang, Baojian Hua

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines.

Chengman Jiang, Baojian Hua, Wanrong Ouyang, Qiliang Fan, Zhizhong Pan

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust.

Baojian Hua, Wanrong Ouyang, Chengman Jiang, Qiliang Fan, Zhizhong Pan

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2011

Static typing for a substructural lambda calculus.

Baojian Hua

Frontiers Comput. Sci. China, 2011

2008

Automated verification of pointer programs in pointer logic.

Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua

Frontiers Comput. Sci. China, 2008

2007

A pointer logic and certifying compiler.

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang

Frontiers Comput. Sci. China, 2007

Design of a Certifying Compiler Supporting Proof of Program Safety.

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007