Login / Signup
Qiu-Liang Chen
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Data Objects
Hybrid Genetic Algorithm
Dynamic Analysis
Symbolic Execution
Top Venues
SANER
USENIX Annual Technical Conference
FCST
IEEE Trans. Software Eng.
</>
Publications
</>
Jia-Ju Bai
,
Qiu-Liang Chen
,
Zu-Ming Jiang
,
Julia Lawall
,
Shi-Min Hu
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers.
IEEE Trans. Software Eng.
48 (12) (2022)
Jia-Ju Bai
,
Julia Lawall
,
Qiu-Liang Chen
,
Shi-Min Hu
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.
USENIX Annual Technical Conference
(2019)
Qiu-Liang Chen
,
Jia-Ju Bai
,
Zu-Ming Jiang
,
Julia Lawall
,
Shi-Min Hu
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.
SANER
(2019)
Juan Zha
,
Chang-Dong Wang
,
Qiu-Liang Chen
,
Xiao-Yan Lu
,
Jian-Huang Lai
Server Consolidation Based on Hybrid Genetic Algorithm.
FCST
(2015)