现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- J.‑J. Bai, Y.‑P. Wang, J. Lawall, Sh. Hu : “DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules”, 2018 USENIX Annual Technical Conference, Boston, MA, United States [Bai 2018]
- J. Bouron, S. Chevalley, B. Lepers, W. Zwaenepoel, R. Gouicem, J. Lawall, G. Muller, J. Sopena : “The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS”, 2018 USENIX Annual Technical Conference, Boston, MA, United States [Bouron 2018]
- J. Lawall, G. Muller : “Coccinelle: 10 Years of Automated Evolution in the Linux Kernel”, 2018 USENIX Annual Technical Conference, Boston, MA, United States [Lawall 2018]
- D. Mercadier, P.‑E. Dagand, L. Lacassagne, G. Muller : “Usuba, Optimizing & Trustworthy Bitslicing Compiler”, WPMVP’18 - Workshop on Programming Models for SIMD/Vector Processing, Vienna, Austria, (ACM Press) [Mercadier 2018]