Collaborated with:J.Lawall Wende Tan Shi-Min Hu 0001
Talks about:conserv (1) kernel (1) detect (1) defect (1) sleep (1) linux (1) autom (1) dcns (1) non (1)
Person: Jia-Ju Bai
DBLP: Bai:Jia=Ju
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.