Baojian Hua - RankMe

41 papers A 7B 10C 7Misc 1Journal 4Unranked 12

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