Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- 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]