Biblio

Export 9 results:
Filters: Author is Julia Lawall  [Clear All Filters]
2020
Gouicem R, Carver D, Lozi J-P, Sopena J, Lepers B, Zwaenepoel W, Palix N, Lawall J, Muller G.  2020.  Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. 2020 USENIX Annual Technical Conference (USENIX ATC 20). :435--448.
Serrano L, Nguyen V-A, Thung F, Jiang L, Lo D, Lawall J, Muller G.  2020.  SPINFER: Inferring Semantic Patches for the Linux Kernel. 2020 USENIX Annual Technical Conference (USENIX ATC 20). :235--248.
2019
Bai J-J, Lawall J, Chen Q-L, Hu S-M.  2019.  Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :255-268.
2018
Bouron J, Chevalley S, Lepers B, Zwaenepoel W, Gouicem R, Lawall J, Muller G, Sopena J.  2018.  The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :85--96.
Lawall J, Muller G.  2018.  Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :601--614.
Bai J-J, Wang Y-P, Lawall J, Hu S-M.  2018.  DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :587--600.
2017
Lawall J, Palinski D, Gnirke L, Muller G.  2017.  Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :15--26.
2012
Lozi J-P, David F, Thomas G, Lawall J, Muller G.  2012.  Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. 2012 USENIX Annual Technical Conference (USENIX ATC 12). :65--76.
2002
Fassino J-P, Stefani J-B, Lawall J, Muller G.  2002.  Think: A Software Framework for Component-based Operating System Kernels. 2002 USENIX Annual Technical Conference (USENIX ATC 02).