Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
تقدم الورقة البحثية DrvHorn، وهي أداة مؤتمتة تختزل التحقق من عدّ المراجع إلى فحص التوكيدات للنجاح في اكتشاف 424 خطأً غير معروف سابقاً في تعريفات نواة لينكس، مما أسفر عن دمج 45 رقعة برمجية.