@inproceedings {254380,
	author = {Redha Gouicem and Damien Carver and Jean-Pierre Lozi and Julien Sopena and Baptiste Lepers and Willy Zwaenepoel and Nicolas Palix and Julia Lawall and Gilles Muller},
	title = {Fewer Cores, More Hertz: Leveraging {High-Frequency} Cores in the {OS} Scheduler for Improved Application Performance},
	booktitle = {2020 USENIX Annual Technical Conference (USENIX ATC 20)},
	year = {2020},
	isbn = {978-1-939133-14-4},
	pages = {435--448},
	url = {https://www.usenix.org/conference/atc20/presentation/gouicern},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {254428,
	author = {Lucas Serrano and Van-Anh Nguyen and Ferdian Thung and Lingxiao Jiang and David Lo and Julia Lawall and Gilles Muller},
	title = {{SPINFER}: Inferring Semantic Patches for the Linux Kernel},
	booktitle = {2020 USENIX Annual Technical Conference (USENIX ATC 20)},
	year = {2020},
	isbn = {978-1-939133-14-4},
	pages = {235--248},
	url = {https://www.usenix.org/conference/atc20/presentation/serrano},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {234866,
	author = {Jia-Ju Bai and Julia Lawall and Qiu-Liang Chen and Shi-Min Hu},
	title = {Effective Static Analysis of Concurrency {Use-After-Free} Bugs in Linux Device Drivers},
	booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)},
	year = {2019},
	isbn = {978-1-939133-03-8},
	address = {Renton, WA},
	pages = {255-268},
	url = {https://www.usenix.org/conference/atc19/presentation/bai},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {215951,
	author = {Justinien Bouron and Sebastien Chevalley and Baptiste Lepers and Willy Zwaenepoel and Redha Gouicem and Julia Lawall and Gilles Muller and Julien Sopena},
	title = {The Battle of the Schedulers: {FreeBSD} {ULE} vs. Linux {CFS}},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {978-1-931971-44-7},
	address = {Boston, MA},
	pages = {85--96},
	url = {https://www.usenix.org/conference/atc18/presentation/bouron},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {216013,
	author = {Julia Lawall and Gilles Muller},
	title = {Coccinelle: 10 Years of Automated Evolution in the Linux Kernel},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Boston, MA},
	pages = {601--614},
	url = {https://www.usenix.org/conference/atc18/presentation/lawall},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {215947,
	author = {Jia-Ju Bai and Yu-Ping Wang and Julia Lawall and Shi-Min Hu},
	title = {{DSAC}: Effective Static Analysis of {Sleep-in-Atomic-Context} Bugs in Kernel Modules},
	booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Boston, MA},
	pages = {587--600},
	url = {https://www.usenix.org/conference/atc18/presentation/bai},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {203203,
	author = {Julia Lawall and Derek Palinski and Lukas Gnirke and Gilles Muller},
	title = {Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers},
	booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)},
	year = {2017},
	isbn = {978-1-931971-38-6},
	address = {Santa Clara, CA},
	pages = {15--26},
	url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/lawall},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {180830,
	author = {Jean-Pierre Lozi and Florian David and Ga{\"e}l Thomas and Julia Lawall and Gilles Muller},
	title = {Remote Core Locking: Migrating {Critical-Section} Execution to Improve the Performance of Multithreaded Applications},
	booktitle = {2012 USENIX Annual Technical Conference (USENIX ATC 12)},
	year = {2012},
	isbn = {978-931971-93-5},
	address = {Boston, MA},
	pages = {65--76},
	url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/lozi},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {270681,
	author = {Jean-Philippe Fassino and Jean-Bernard Stefani and Julia Lawall and Gilles Muller},
	title = {Think: A Software Framework for Component-based Operating System Kernels},
	booktitle = {2002 USENIX Annual Technical Conference (USENIX ATC 02)},
	year = {2002},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/2002-usenix-annual-technical-conference/think-software-framework-component-based},
	publisher = {USENIX Association},
	month = jun
}
