Biblio

Export 11 results:
Filters: Author is Gilles Muller  [Clear All Filters]
2021
Ghigoff Y, Sopena J, Lazri K, Blin A, Muller G.  2021.  BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :487--501.
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.
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.
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).
2000
Mérillon F, Réveillère L, Consel C, Marlet R, Muller G.  2000.  Devil: An IDL for Hardware Programming. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
1997
Muller G, Moura B, Bellard F, Consel C.  1997.  Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. Third USENIX Conference on Object-Oriented Technologies and Systems (COOTS 97).
1991
Banâtre M, Muller G, Heng P, Rochat B.  1991.  How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. USENIX Mach Symposium (USENIX Mach Symposium).