Publications

Recent papers and drafts in 2022:

• An Empirical Study of Smart Contract Decompilers. [pdf]
  Xia Liu, Baojian Hua, Yang Wang, and Zhizhong Pan.
  The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023). 2023
  
  
• Towards a Large-Scale Empirical Study of Python Static Type Annotations. [pdf]
  Xinrong Lin, Baojian Hua, Yang Wang, and Zhizhong Pan.
  The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023). 2023
  
  
• CRust: Towards a Unified Cross-Language Static Analysis Framework For Rust.
  Shuang Hu, Baojian Hua, and Lei Xia.
  The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022). 2022.
  
  
• Comprehensiveness, Automation, and Lifecycle: A New Perspective for Rust Security.
  Shuang Hu, and Baojian Hua.
  The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022). 2022.
  
  
• Rusty: Effective C to Rust Conversion via Unstructured Control Specialization.
  Xiangjun Han, Baojian Hua, Ziyao Zhang, Qiliang Fan, and Zhizhong Pan.
  The 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022). 2022.
  
  
• On the Security of Python Virtual Machines: An Empirical Study.
  Xinrong Lin, Baojian Hua, and Qiliang Fan.
  The 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022). 2022.
  
  
• A Survey of Rust Language Security Research.
  Shuang Hu, Baojian Hua, Wanrong Ouyang, and Qiliang Fan.
  Journal of Cyber Security. Accepted. 2022.
  
  
• A Tensorization Algorithm Based On Loop Partitioning.
  Jiali Liang, Baojian Hua, and Shaobo Su.
  Journal of Computer Science. Accepted. 2022.
  
  
• A Survey of WebAssembly Security Research.
  Junjie Zhuang, Shuang Hu, Baojian Hua, and Zhizhong Pan.
  Submitted. 2022.
  
  
• An Empirical Study of Rust Language Feature Usage at the Ecosystem Scale.
  Baojian Hua, Shuang Hu, Wanrong Ouyang, and Qiliang Fan.
  Submitted. 2022.
  
  
• Efficiency without Tears: Keeping Julia Safe with SAFEJ.
  Hao Zhu, Baojian Hua, Xinrong Lin, Yufei Wu, and Qiliang Fan.
  Submitted. 2022.
  
  
• Towards Bug Detection, Rectification and Evolution in SQL Database Engines.
  Xinrong Lin, Baojian Hua, and Qiliang Fan.
  Submitted. 2022.
  
  

2021:

• RUPAIR: Towards Automatic Buffer Overflow Detection and Rectification for Rust.
  Baojian Hua, Wanrong Ouyang, Chengman Jiang, Qiliang Fan, and Zhizhong Pan.
  The 37th Annual Computer Security Applications Conference (ACSAC 2021). 2021.
  
  
• PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines.
  Chengman Jiang, Baojian Hua, Wanrong Ouyang, Qiliang Fan, and Zhizhong Pan.
  The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). 2021.
  
  
• RusBox: Efficient and Adaptive Sandboxing for Rust.
  Wanrong Ouyang, and Baojian Hua.
  The 32nd International Symposium on Software Reliability Engineering, Fast Abstract. (ISSRE 2021). 2021.
  
  
• `R: Towards Detecting and Understanding Code-Document Violations in Rust.
  Wanrong Ouyang, and Baojian Hua.
  The 1st International Workshop on Reliable System Software (RESS 2021, Affiliated with ISSRE 2021). 2021.
  
  
• A Loop Invariant Code Motion Algorithm For Deep Learning Operators.
  Jiali Liang, Baojian Hua, Yashuai Lv, and Zhenyu Su.
  Journal of Frontiers of Computer Science and Technology. 2021.
  
  
• An Empirical Security Study of the Native Code in Python Virtual Machines.
  Chengman Jiang, Baojian Hua, et al.
  Journal of Computer Science. 2021.
  
  
• Exploring the Curriculum Design for Formal Methods.
  Baojian Hua, Qiliang Fan, and Zhizhong Pan.
  Computer Education. 2021.
  
  
• Compiler Innovation and Practice with Bisheng.
  Yaoqing Gao, and Baojian Hua.
  Communications of Huawei Research. (Invited paper). 2021.
  
  

Papers before 2021:

• Todo.
  Todo.
  Todo.