Baojian Hua

According to our database, Baojian Hua authored at least 28 papers between 2007 and 2024.

Collaborative distances:

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

2024

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis.

Wenlong Zheng, Baojian Hua

Proceedings of the IEEE International Conference on Software Analysis, 2024

JasFree: Grammar-free Program Analysis for JavaScript Bytecode.

Hao Jiang, Haiwei Lai, Si Wu, Baojian Hua

Proceedings of the 23rd IEEE International Conference on Trust, 2024

WaShadow: Effectively Protecting WebAssembly Memory Through Virtual Machine-Aware Shadow Memory.

Zhuochen Jiang, Baojian Hua

Proceedings of the 23rd IEEE International Conference on Trust, 2024

Efficient Transformer-based Edge Detector.

Jinghuai Jie, Qifan Wang, Junmin Wu, Yan Guo, Baojian Hua

Proceedings of the International Joint Conference on Neural Networks, 2024

EdgeNAT: Transformer for Efficient Edge Detection.

Jinghuai Jie, Yan Guo, Guixing Wu, Junmin Wu, Baojian Hua

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

ChemGen: Towards Understanding First-Principles Calculation Code Generation Based on Large Language Models.

Peng Gao, Feng Qiu, Baojian Hua

Proceedings of the 2024 3rd International Conference on Cyber Security, 2024

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