Gilles Muller

ORCID

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 38

Top Venues

USENIX Annual Technical Conference

CoRR

DSN

EuroSys

Publications

Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
HyperTP: A unified approach for live hypervisor replacement in datacenters. J. Parallel Distributed Comput. 181 (2023)
Julia Lawall, Gilles Muller
Automating Program Transformation with Coccinelle. NFM (2022)
Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller
OS scheduling with nest: keeping tasks close together on warm cores. EuroSys (2022)
Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
AndroEvolve: automated Android API update with data flow analysis and variable denormalization. Empir. Softw. Eng. 27 (3) (2022)
Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller
Tell me when you are sleepy and what may wake you up! SoCC (2021)
Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
AndroEvolve: Automated Update for Android Deprecated-API Usages. ICSE (Companion Volume) (2021)
Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller
BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. NSDI (2021)
Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller
(No)Compromis: paging virtualization is not a fatality. VEE (2021)
Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
Mitigating vulnerability windows with hypervisor transplant. EuroSys (2021)
Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller
WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA (2021)
Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. ICPC (2020)
Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
AndroEvolve: Automated Android API Update with Data Flow Analysis and Variable Denormalization. CoRR (2020)
Ferdian Thung, Stefanus A. Haryono, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
Automated Deprecated-API Usage Update for Android Apps: How Far are We? SANER (2020)
Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller
Memory virtualization in virtualized systems: segmentation is better than paging. CoRR (2020)
Stefanus Agus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
AndroEvolve: Automated Update for Android Deprecated-API Usages. CoRR (2020)
Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX Annual Technical Conference (2020)
Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
Provable multicore schedulers with Ipanema: application to work conservation. EuroSys (2020)
Stefanus Agus Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. CoRR (2020)
Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX Annual Technical Conference (2020)
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS (2019)
Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. IEEE Trans. Dependable Secur. Comput. 16 (4) (2019)
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
Semantic Patches for Java Program Transformation (Experience Report). ECOOP (2019)
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
Semantic Patches for Java Program Transformation (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS@SOSP (2019)
Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Patrick Lavoisier Wapet, Alain Tchana, Gaël Thomas, Daniel Hagimont, Gilles Muller, Noel De Palma
When eXtended Para - Virtualization (XPV) Meets NUMA. EuroSys (2019)
Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller
Toward an in-Kernel High Performance Key-Value Store Implementation. SRDS (2019)
Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP (2018)
Justinien Bouron, Sebastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. USENIX Annual Technical Conference (2018)
Julia Lawall, Gilles Muller
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX Annual Technical Conference (2018)
Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
Analysing Selfishness Flooding with SEINE. DSN (2017)
Julia Lawall, Gilles Muller
JMake: Dependable Compilation for Kernel Janitors. DSN (2017)
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
Towards Proving Optimistic Multicore Schedulers. HotOS (2017)
Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX Annual Technical Conference (2017)
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
Understanding the Memory Consumption of the MiBench Embedded Benchmark. NETYS (2016)
Mariem Saied, Jens Gustedt, Gilles Muller
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. HiPC (2016)
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
Fast and Portable Locking for Multicore Architectures. ACM Trans. Comput. Syst. 33 (4) (2016)
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. ECRTS (2016)
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. 23 (1) (2016)
Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller, Gabriele Gianini, Ernesto Damiani, Lionel Brunie
A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. SRDS (2015)
Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro
Incinerator - Eliminating Stale References in Dynamic OSGi Applications. DSN (2015)
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière
Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Trans. Parallel Comput. 2 (2) (2015)
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller
Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. 45 (2) (2015)
Lisong Guo, Julia Lawall, Gilles Muller
Oops! where did that code snippet come from? MSR (2014)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall
Faults in Linux 2.6. ACM Trans. Comput. Syst. 32 (2) (2014)
Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
Continuously measuring critical section pressure with the free-lunch profiler. OOPSLA (2014)
Jons-Tobias Wamhoff, Etienne Riviere, Gilles Muller, Christof Fetzer, Pascal Felber
FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. Software Engineering (2014)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall
Faults in Linux 2.6. CoRR (2014)
Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller
Memory monitoring in a multi-tenant OSGi execution environment. CBSE (2014)
Fabien Hermenier, Julia Lawall, Gilles Muller
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. IEEE Trans. Dependable Secur. Comput. 10 (5) (2013)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43 (1) (2013)
Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN (2013)
Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivière, Gilles Muller
FastLane: improving performance of software transactional memory for low thread counts. PPOPP (2013)
Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
Understanding the genetic makeup of Linux device drivers. PLOS@SOSP (2013)
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. USENIX Annual Technical Conference (2012)
Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables. ACM Trans. Auton. Adapt. Syst. 7 (2) (2012)
Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller
Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE (2012)
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Riviere
Deadline-aware scheduling for Software Transactional Memory. DSN (2011)
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller
Zebu: A Language-Based Approach for Network Protocol Message Processing. IEEE Trans. Software Eng. 37 (4) (2011)
Suman Saha, Julia Lawall, Gilles Muller
Finding resource-release omission faults in Linux. ACM SIGOPS Oper. Syst. Rev. 45 (3) (2011)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller
Faults in linux: ten years later. ASPLOS (2011)
Suman Saha, Julia Lawall, Gilles Muller
An approach to improving the structure of error-handling code in the linux kernel. LCTES (2011)
Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 45 (3) (2011)
Suman Saha, Julia Lawall, Gilles Muller
Finding resource-release omission faults in Linux. PLOS@SOSP (2011)
Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
Scheduling support for transactional memory contention management. PPOPP (2010)
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot
VMKit: a substrate for managed runtime environments. VEE (2010)
Nicolas Palix, Julia Lawall, Gilles Muller
Tracking code patterns over multiple software versions with Herodotos. AOSD (2010)
Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma
Efficient Workstealing for Multicore Event-Driven Systems. ICDCS (2010)
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC (2010)
Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010 (83) (2010)
Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller
Bridging the Gap between Legacy Services and Web Services. Middleware (2010)
Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot
I-JVM: a Java Virtual Machine for component isolation in OSGi. DSN (2009)
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
A foundation for flow-based program matching: using temporal logic and model checking. POPL (2009)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN (2009)
Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller
Automatic Generation of Network Protocol Gateways. Middleware (2009)
Julia L. Lawall, Gilles Muller, Nicolas Palix
Enforcing the use of API functions in linux code. ACP4IS@AOSD (2009)
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall
Entropy: a consolidation manager for clusters. VEE (2009)
Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. SSS (2009)
Eric Eide, Gilles Muller, Olaf Spinczyk
PLOS 2009: fifth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller
Documenting and automating collateral evolutions in linux device drivers. EuroSys (2008)
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations CoRR (2007)
Richard Urunuela, Gilles Muller, Julia L. Lawall
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems (2007)
Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. SRDS (2007)
Yoann Padioleau, Julia L. Lawall, Gilles Muller
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. Electron. Notes Theor. Comput. Sci. 166 (2007)
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties. Electron. Notes Theor. Comput. Sci. 185 (2007)
Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
Towards easing the diagnosis of bugs in OS code. PLOS@SOSP (2007)
Yoann Padioleau, Julia Lawall, Gilles Muller
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (2006)
Richard Urunuela, Gilles Muller, Julia L. Lawall
Energy adaptation for multimedia information kiosks. EMSOFT (2006)
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS (2006)
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40 (3) (2006)
Yoann Padioleau, Julia L. Lawall, Gilles Muller
Understanding collateral evolution in Linux device drivers. EuroSys (2006)
Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE (2005)
Gilles Muller, Julia L. Lawall, Hervé Duchesne
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE (2005)
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal Methods Meet Domain Specific Languages. IFM (2005)
Gilles Muller, Julia L. Lawall, Hervé Duchesne
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS (2005)
Julia L. Lawall, Gilles Muller, Hervé Duchesne
Invited application paper: language design for implementing process scheduling hierarchies. PEPM (2004)
Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt
Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop (2004)
Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt
Programmation post-objets. Des langages d'aspects aux langages de composants. Obj. Logiciel Base données Réseaux 10 (4) (2004)
Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE (2004)
Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
Web cache prefetching as an aspect: towards a dynamic-weaving based solution. AOSD (2003)
Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur
On the automatic evolution of an OS kernel using temporal logic and AOP. ASE (2003)

Gilles Muller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gilles Muller