Collaborated with:Jia-Ju Bai J.Lawall Wende Tan
Talks about:conserv (1) kernel (1) detect (1) defect (1) sleep (1) linux (1) autom (1) dcns (1) non (1)
Person: Shi-Min Hu 0001
DBLP: 0001:Shi=Min_Hu
Contributed to:
2019Wrote 1 papers:
- ASPLOS-2019-BaiLTH #automation #detection #fault #kernel #linux #named
- DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel (JJB, JL, WT, SMH0), pp. 287–299.