Haolong Wang

According to our database, Haolong Wang authored at least 6 papers between 2013 and 2025.

Collaborative distances:

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

2025

Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor.

Louis-Emile Ploix, Alasdair Armstrong, Tom Melham, Ray Lin, Haolong Wang, Anastasia Courtney

CoRR, February, 2025

Block-gram: Mining knowledgeable features for efficiently smart contract vulnerability detection.

Xueshuo Xie, Haolong Wang, Zhaolong Jian, Yaozheng Fang, Zichun Wang, Tao Li

Digit. Commun. Networks, 2025

2022

Block-gram: Mining Knowledgeable Features for Smart Contract Vulnerability Detection.

Tao Li, Haolong Wang, Yaozheng Fang, Zhaolong Jian, Zichun Wang, Xueshuo Xie

Proceedings of the Smart Computing and Communication - 7th International Conference, 2022

2013

K-plane clustering algorithm for analysis dictionary learning.

Ye Zhang, Haolong Wang, Wenwu Wang, Saeid Sanei

Proceedings of the IEEE International Workshop on Machine Learning for Signal Processing, 2013

SDEC: Spectrum-Aware Degree-Ranking-Based Energy-Efficient Clustering Algorithm for Multi-hop CRN.

Lili Kong, Yali Wang, Yifei Wei, Haolong Wang, Yi Man, Xiaojun Wang

Proceedings of the Pervasive Computing and the Networked World, 2013

Subset pursuit for analysis dictionary learning.

Ye Zhang, Haolong Wang, Tenglong Yu, Wenwu Wang

Proceedings of the 21st European Signal Processing Conference, 2013