Login / Signup
Hao Yun
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Memory Usage
Protection Mechanisms
Buffer Overflow
Computationally Efficient
Top Venues
ESEC/SIGSOFT FSE
ASE
IEEE Access
</>
Publications
</>
Yan Cai
,
Hao Yun
,
Jinqiu Wang
,
Lei Qiao
,
Jens Palsberg
Sound and efficient concurrency bug prediction.
ESEC/SIGSOFT FSE
(2021)
Zerui Song
,
Wei Ji
,
Rui Yin
,
Jingyao Li
,
Zisu Gong
,
Hao Yun
Highly Reliable Metro-Access Network Based on a Dual-Fiber Ring Architecture and Optimized Protection Mechanisms.
IEEE Access
9 (2021)
Ruijie Meng
,
Biyun Zhu
,
Hao Yun
,
Haicheng Li
,
Yan Cai
,
Zijiang Yang
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.
ASE
(2019)
Yan Cai
,
Biyun Zhu
,
Ruijie Meng
,
Hao Yun
,
Liang He
,
Purui Su
,
Bin Liang
Detecting concurrency memory corruption vulnerabilities.
ESEC/SIGSOFT FSE
(2019)