@inproceedings {265047,
	author = {Yoann Ghigoff and Julien Sopena and Kahina Lazri and Antoine Blin and Gilles Muller},
	title = {{BMC}: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {487--501},
	url = {https://www.usenix.org/conference/nsdi21/presentation/ghigoff},
	publisher = {USENIX Association},
	month = apr
}
@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 {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 {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
}
@inproceedings {271176,
	author = {Fabrice M{\'e}rillon and Laurent R{\'e}veill{\`e}re and Charles Consel and Renaud Marlet and Gilles Muller},
	title = {Devil: An {IDL} for Hardware Programming},
	booktitle = {Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000)},
	year = {2000},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/osdi-2000/devil-idl-hardware-programming},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {260885,
	author = {Gilles Muller and Barbara Moura and Fabrice Bellard and Charles Consel},
	title = {Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code},
	booktitle = {Third USENIX Conference on Object-Oriented Technologies and Systems (COOTS 97)},
	year = {1997},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/coots-97/harissa-flexible-and-efficient-java-environment-mixing-bytecode-and-compiled},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {252242,
	author = {Michel Ban{\^a}tre and Gilles Muller and Pack Heng and Bruno Rochat},
	title = {How to Design Reliable Servers using Fault Tolerant {Micro-Kernel} Mechanisms},
	booktitle = {USENIX Mach Symposium (USENIX Mach Symposium)},
	year = {1991},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/usenix-mach-symposium/how-design-reliable-servers-using-fault-tolerant-micro-kernel},
	publisher = {USENIX Association},
	month = nov
}
