default search action

combined dblp search
author search
venue search
publication search

ask others

Baojian Hua

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/csaide/GaoQH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csaide/GaoQH24
Peng Gao, Feng Qiu, Baojian Hua:
ChemGen: Towards Understanding First-Principles Calculation Code Generation Based on Large Language Models. CSAIDE 2024: 281-287
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/JieGWWH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/JieGWWH24
Jinghuai Jie, Yan Guo, Guixing Wu, Junmin Wu, Baojian Hua:
EdgeNAT: Transformer for Efficient Edge Detection. ECAI 2024: 435-442
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/JieWWGH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/JieWWGH24
Jinghuai Jie, Qifan Wang, Junmin Wu, Yan Guo, Baojian Hua:
Efficient Transformer-based Edge Detector. IJCNN 2024: 1-7
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ZhengH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ZhengH24
Wenlong Zheng, Baojian Hua:
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. SANER 2024: 296-307
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-10527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-10527
Jinghuai Jie, Yan Guo, Guixing Wu, Junmin Wu, Baojian Hua:
EdgeNAT: Transformer for Efficient Edge Detection. CoRR abs/2408.10527 (2024)
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZongHWHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZongHWHP23
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: 820-829
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icbase/ZhuH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbase/ZhuH23
Hao Zhu, Baojian Hua:
SAFEJ: An Efficient Infrastructure for Securing Julia Programs. ICBASE 2023: 221-224
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/QiuJHW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/QiuJHW23
Feng Qiu, Pu Ji, Baojian Hua, Yang Wang:
CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection. QRS Companion 2023: 103-112
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WuDZPH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WuDZPH23
Meng Wu, Weixin Dong, Qiang Zhao, Zhizhong Pan, Baojian Hua:
An Empirical Study of Lightweight JavaScript Engines. QRS Companion 2023: 413-422
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WuH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WuH23
Yufei Wu, Baojian Hua:
RUSPATCH: Towards Timely and Effectively Patching Rust Applications. QRS 2023: 517-528
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhangZHFP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhangZHFP23
Ziyao Zhang, Wenlong Zheng, Baojian Hua, Qiliang Fan, Zhizhong Pan:
VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach. QRS 2023: 662-671
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhengHJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhengHJ23
Wenlong Zheng, Baojian Hua, Zhuochen Jiang:
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis. QRS Companion 2023: 867-868
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/Xia0H23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/Xia0H23
Lei Xia, Yufei Wu, Baojian Hua:
Rustcheck: Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. QRS Companion 2023: 871-872
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/LiuHWP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/LiuHWP23
Xia Liu, Baojian Hua, Yang Wang, Zhizhong Pan:
An Empirical Study of Smart Contract Decompilers. SANER 2023: 1-12
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/LinHWP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/LinHWP23
Xinrong Lin, Baojian Hua, Yang Wang, Zhizhong Pan:
Towards a Large-Scale Empirical Study of Python Static Type Annotations. SANER 2023: 414-425
2022
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/LinHF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/LinHF22
Xinrong Lin, Baojian Hua, Qiliang Fan:
On the Security of Python Virtual Machines: An Empirical Study. ICSME 2022: 223-234
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/HanHWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/HanHWZ22
Xiangjun Han, Baojian Hua, Yang Wang, Ziyao Zhang:
RUSTY: Effective C to Rust Conversion via Unstructured Control Specialization. QRS Companion 2022: 760-761
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/HuHXW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/HuHXW22
Shuang Hu, Baojian Hua, Lei Xia, Yang Wang:
CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust. QRS 2022: 970-981
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/HuHW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/HuHW22
Shuang Hu, Baojian Hua, Yang Wang:
Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security. QRS 2022: 982-991
2021
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/HuaOJFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/HuaOJFP21
Baojian Hua, Wanrong Ouyang, Chengman Jiang, Qiliang Fan, Zhizhong Pan:
Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust. ACSAC 2021: 812-823
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/OuyangH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/OuyangH21
Wanrong Ouyang, Baojian Hua:
RusBox: Towards Efficient and Adaptive Sandboxing for Rust. ISSRE Workshops 2021: 1-2
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/OuyangH21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/OuyangH21a
Wanrong Ouyang, Baojian Hua:
$^{\prime}\mathbf{R}$: Towards Detecting and Understanding Code-Document Violations in Rust. ISSRE Workshops 2021: 189-197
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/JiangHOFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/JiangHOFP21
Chengman Jiang, Baojian Hua, Wanrong Ouyang, Qiliang Fan, Zhizhong Pan:
PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines. ISSRE 2021: 468-475

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/Hua11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/Hua11
Baojian Hua:
Static typing for a substructural lambda calculus. Frontiers Comput. Sci. China 5(3): 369-380 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/WangCWH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/WangCWH08
Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua:
Automated verification of pointer programs in pointer logic. Frontiers Comput. Sci. China 2(4): 380-397 (2008)
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ChenGHLLW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ChenGHLLW07
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang:
A pointer logic and certifying compiler. Frontiers Comput. Sci. China 1(3): 297-312 (2007)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ChenGHLL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ChenGHLL07
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu:
Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.