USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 9 results:
Filters: Author is Julia Lawall [Clear All Filters]
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.
.
2020. SPINFER: Inferring Semantic Patches for the Linux Kernel. 2020 USENIX Annual Technical Conference (USENIX ATC 20). :235--248.
.
2020. Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :255-268.
.
2019. The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :85--96.
.
2018. Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :601--614.
.
2018. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :587--600.
.
2018. Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :15--26.
.
2017. Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. 2012 USENIX Annual Technical Conference (USENIX ATC 12). :65--76.
.
2012. Think: A Software Framework for Component-based Operating System Kernels. 2002 USENIX Annual Technical Conference (USENIX ATC 02).
.
2002.