Whisper - Статьи в журналах

Computer Science Laboratory

J.‑J. Bai, J. Lawall, Sh. Hu : “Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel”, ACM Transactions on Computer Systems, vol. 36 (4), pp. 10, (Association for Computing Machinery) [Bai 2020]