Ensuring Data Security and Integrity with a Fast Stable Storage. - Michel Banâtre; Gilles Muller; Jean-Pierre Banâtre (ICDE, 1988)

Architecture of fault-tolerant multiprocessor workstations. - Jean-Pierre Banâtre; Michel Banâtre; Gilles Muller (WWOS, 1989)

Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. - Michel Banâtre; Gilles Muller; Bruno Rochat; Patrick Sanchez (FTCS, 1991)

How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. - Michel Banâtre; Gilles Muller; Pack Heng; Bruno Rochat (USENIX MACH Symposium, 1991)

A stable transactional memory for building robust object oriented programs. - Gilles Muller; Bruno Rochat; Patrick Sanchez (Microprocessing and Microprogramming, 1991)

Stable Transactional Memories and Fault Tolerant Architectures. - Michel Banâtre; Philippe Joubert; Christine Morin; Gilles Muller; Bruno Rochat; Patrick Sanchez (ACM SIGOPS Oper. Syst. Rev., 1991)

Using dynamic atomic actions to build fault tolerant systems. - Michel Banâtre; Philippe Joubert; Christine Morin; Gilles Muller; Bruno Rochat (ACM SIGOPS European Workshop, 1992)

A Reliable Client-Server Model on Top of a Micro-Kernel. - Gilles Muller (Hardware and Software Architectures for Fault Tolerance, 1993)

An Experience in the Design of a Reliable Object Based System (Synopsis). - Michel Banâtre; Pack Heng; Gilles Muller; Nadine Peyrouze; Bruno Rochat (PDIS, 1993)

Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. - Ciarán Bryce; Daniel Hagimont; Philippe Joubert; Christine Morin; Gilles Muller; Bruno Rochat (ACM SIGOPS Oper. Syst. Rev., 1993)

Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. - Gilles Muller; Mireille Hue; Nadine Peyrouze (EDCC, 1994)

Towards Safe and Efficient Customization in Distributed Systems. - Ciarán Bryce; Valérie Issarny; Gilles Muller; Isabelle Puaut (ACM SIGOPS European Workshop, 1994)

Efficient Treatment of Failures in RPC Systems. - Valérie Issarny; Gilles Muller; Isabelle Puaut (SRDS, 1994)

Matching micro-kernels to modern applications using fine-grained memory protection. - Ciarán Bryce; Gilles Muller (SPDP, 1995)

The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. - Gilbert Cabillic; Gilles Muller; Isabelle Puaut (SRDS, 1995)

FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. - Nadine Peyrouze; Gilles Muller (FTCS, 1996)

Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. - Gilles Muller; Michel Banâtre; Nadine Peyrouze; Bruno Rochat (IEEE Trans. Reliab., 1996)

Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. - Gilles Muller; Bárbara Moura; Fabrice Bellard; Charles Consel (COOTS, 1997)

Declarative Specialization of Object-Oriented Programs. - Eugen-Nicolae Volanschi; Charles Consel; Gilles Muller; Crispin Cowan (OOPSLA, 1997)

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. - Gilles Muller; Eugen-Nicolae Volanschi; Renaud Marlet (PEPM, 1997)

Fast, Optimized Sun RPC Using Automatic Program Specialization. - Gilles Muller; Renaud Marlet; Eugen-Nicolae Volanschi; Charles Consel; Calton Pu; Ashvin Goel (ICDCS, 1998)

Safe and Efficient Active Network Programming. - Scott Thibault; Charles Consel; Gilles Muller (SRDS, 1998)

Tempo: Specializing Systems applications and Beyond. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Partial Evaluation for Software Engineering. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Towards Automatic Specialization of Java Programs. - Ulrik Pagh Schultz; Julia L. Lawall; Charles Consel; Gilles Muller (ECOOP, 1999)

Adapting Distributed Applications Using Extensible Networks. - Scott Thibault; Jerôme Marant; Gilles Muller (ICDCS, 1999)

Harissa: A Hybrid Approach to Java Execution. - Gilles Muller; Ulrik Pagh Schultz (IEEE Softw., 1999)

Efficient Incremental Checkpointing of Java Programs. - Julia L. Lawall; Gilles Muller (DSN, 2000)

A Declarative Approach for Designing and Developing Adaptive Components. - Philippe Boinot; Renaud Marlet; Jacques Noyé; Gilles Muller; Charles Consel (ASE, 2000)

A DSL Approach to Improve Productivity and Safety in Device Drivers Development. - Laurent Réveillère; Fabrice Mérillon; Charles Consel; Renaud Marlet; Gilles Muller (ASE, 2000)

Devil: An IDL for Hardware Programming. - Fabrice Mérillon; Laurent Réveillère; Charles Consel; Renaud Marlet; Gilles Muller (OSDI, 2000)

Specialization of Systems Programs: Lessons and Perspectives. - Gilles Muller (SAIG, 2000)

Towards robust OSes for appliances: a new approach based on domain-specific languages. - Gilles Muller; Charles Consel; Renaud Marlet; Luciano Porto Barreto; Fabrice Mérillon; Laurent Réveillère (ACM SIGOPS European Workshop, 2000)

Static and Dynamic Program Compilation by Interpreter Specialization. - Scott Thibault; Charles Consel; Julia L. Lawall; Renaud Marlet; Gilles Muller (High. Order Symb. Comput., 2000)

Accurate program analyses for successful specialization of legacy system software. - Gilles Muller; Renaud Marlet; Eugen-Nicolae Volanschi (Theor. Comput. Sci., 2000)

Java bytecode compression for low-end embedded systems. - Lars Ræder Clausen; Ulrik Pagh Schultz; Charles Consel; Gilles Muller (ACM Trans. Program. Lang. Syst., 2000)

Improving Driver Robustness: An Evaluation of the Devil Approach. - Laurent Réveillère; Gilles Muller (DSN, 2001)

Bossa: A DSL Framework for Application-Specific Scheduling Policies. - Luciano Porto Barreto; Gilles Muller (HotOS, 2001)

Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. - Fabrice Mérillon; Gilles Muller (OM@PLDI, 2001)

WebCaL - a domain specific language for web caching. - Sumit Gulwani; A. Tarachandani; Deepak Gupta 001; Dheeraj Sanghi; Luciano Porto Barreto; Gilles Muller; Charles Consel (Comput. Commun., 2001)

Specialization tools and techniques for systematic optimization of system software. - Dylan McNamee; Jonathan Walpole; Calton Pu; Crispin Cowan; Charles Krasic; Ashvin Goel; Perry Wagle; Charles Consel; Gilles Muller; Renaud Marlet (ACM Trans. Comput. Syst., 2001)

Distributing MPEG Movies Over the Internet using Programmable Networks. - Dan He; Gilles Muller; Julia L. Lawall (ICDCS, 2002)

Capturing OS expertise in an event type system: the Bossa experience. - Julia L. Lawall; Gilles Muller; Luciano Porto Barreto (ACM SIGOPS European Workshop, 2002)

Think: A Software Framework for Component-based Operating System Kernels. - Jean-Philippe Fassino; Jean-Bernard Stefani; Julia L. Lawall; Gilles Muller (USENIX ATC, General Track, 2002)

Web cache prefetching as an aspect: towards a dynamic-weaving based solution. - Marc Ségura-Devillechaise; Jean-Marc Menaud; Gilles Muller; Julia L. Lawall (AOSD, 2003)

On the automatic evolution of an OS kernel using temporal logic and AOP. - Rickard A. Åberg; Julia L. Lawall; Mario Südholt; Gilles Muller; Anne-Françoise Le Meur (ASE, 2003)

A domain-specific language approach to programmable networks. - Gilles Muller; Julia L. Lawall; Scott Thibault; R. E. Voel Jensen (IEEE Trans. Syst. Man Cybern. Part C, 2003)

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. - Julia L. Lawall; Anne-Françoise Le Meur; Gilles Muller (GPCE, 2004)

Invited application paper: language design for implementing process scheduling hierarchies. - Julia L. Lawall; Gilles Muller; Hervé Duchesne (PEPM, 2004)

Constructing component-based extension interfaces in legacy systems code. - Gilles Muller; Julia L. Lawall; Jean-Marc Menaud; Mario Südholt (ACM SIGOPS European Workshop, 2004)

Programmation post-objets. Des langages d'aspects aux langages de composants. - Pierre Cointe; Jacques Noyé; Rémi Douence; Thomas Ledoux; Jean-Marc Menaud; Gilles Muller; Mario Südholt (Obj. Logiciel Base données Réseaux, 2004)

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. - Julia L. Lawall; Hervé Duchesne; Gilles Muller; Anne-Françoise Le Meur (GPCE, 2005)

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. - Gilles Muller; Julia L. Lawall; Hervé Duchesne (HASE, 2005)

Formal Methods Meet Domain Specific Languages. - Jean-Paul Bodeveix; Mamoun Filali; Julia Lawall; Gilles Muller (IFM, 2005)

Semantic patches for documenting and automating collateral evolutions in Linux device drivers. - Yoann Padioleau; René Rydhof Hansen; Julia L. Lawall; Gilles Muller (PLOS, 2006)

Energy adaptation for multimedia information kiosks. - Richard Urunuela; Gilles Muller; Julia L. Lawall (EMSOFT, 2006)

Understanding collateral evolution in Linux device drivers. - Yoann Padioleau; Julia L. Lawall; Gilles Muller (EuroSys, 2006)

Automatic Verification of Bossa Scheduler Properties. - Jean-Paul Bodeveix; Mamoun Filali; Julia L. Lawall; Gilles Muller (AVoCS, 2006)

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. - Yoann Padioleau; Julia L. Lawall; Gilles Muller (EVOL (Selected Papers), 2006)

Semantic patches considered helpful. - Gilles Muller; Yoann Padioleau; Julia L. Lawall; René Rydhof Hansen (ACM SIGOPS Oper. Syst. Rev., 2006)

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. - Richard Urunuela; Gilles Muller; Julia L. Lawall (Power-aware Computing Systems, 2007)

Towards easing the diagnosis of bugs in OS code. - Henrik Stuart; René Rydhof Hansen; Julia L. Lawall; Jesper Andersen; Yoann Padioleau; Gilles Muller (PLOS@SOSP, 2007)

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. - Laurent Burgy; Laurent Réveillère; Julia L. Lawall; Gilles Muller (SRDS, 2007)

Documenting and automating collateral evolutions in linux device drivers. - Yoann Padioleau; Julia Lawall; René Rydhof Hansen; Gilles Muller (EuroSys, 2008)

Enforcing the use of API functions in linux code. - Julia L. Lawall; Gilles Muller; Nicolas Palix (ACP4IS@AOSD, 2009)

I-JVM: a Java Virtual Machine for component isolation in OSGi. - Nicolas Geoffray; Gaël Thomas 001; Gilles Muller; Pierre Parrend; Stéphane Frénot; Bertil Folliot (DSN, 2009)

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (DSN, 2009)

Automatic Generation of Network Protocol Gateways. - Yérom-David Bromberg; Laurent Réveillère; Julia L. Lawall; Gilles Muller (Middleware, 2009)

A foundation for flow-based program matching: using temporal logic and model checking. - Julien Brunel; Damien Doligez; René Rydhof Hansen; Julia L. Lawall; Gilles Muller (POPL, 2009)

Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. - Sergey Legtchenko; Sébastien Monnet; Pierre Sens 001; Gilles Muller (SSS, 2009)

Entropy: a consolidation manager for clusters. - Fabien Hermenier; Xavier Lorca; Jean-Marc Menaud; Gilles Muller; Julia Lawall (VEE, 2009)

PLOS 2009: fifth workshop on programming languages and operating systems. - Eric Eide; Gilles Muller; Olaf Spinczyk (ACM SIGOPS Oper. Syst. Rev., 2009)

Tracking code patterns over multiple software versions with Herodotos. - Nicolas Palix; Julia Lawall; Gilles Muller (AOSD, 2010)

Finding Error Handling Bugs in OpenSSL Using Coccinelle. - Julia Lawall; Ben Laurie; René Rydhof Hansen; Nicolas Palix; Gilles Muller (EDCC, 2010)

Efficient Workstealing for Multicore Event-Driven Systems. - Fabien Gaud; Sylvain Geneves; Renaud Lachaize; Baptiste Lepers; Fabien Mottet; Gilles Muller; Vivien Quéma (ICDCS, 2010)

Bridging the Gap between Legacy Services and Web Services. - Tegawendé F. Bissyandé; Laurent Réveillère; Yérom-David Bromberg; Julia L. Lawall; Gilles Muller (Middleware, 2010)

Scheduling support for transactional memory contention management. - Walther Maldonado; Patrick Marlier; Pascal Felber; Adi Suissa; Danny Hendler; Alexandra Fedorova; Julia L. Lawall; Gilles Muller (PPoPP, 2010)

VMKit: a substrate for managed runtime environments. - Nicolas Geoffray; Gaël Thomas 001; Julia Lawall; Gilles Muller; Bertil Folliot (VEE, 2010)

Improving the Security of Infrastructure Software using Coccinelle. - Julia Lawall; René Rydhof Hansen; Nicolas Palix; Gilles Muller (ERCIM News, 2010)

Faults in linux: ten years later. - Nicolas Palix; Gaël Thomas 001; Suman Saha 002; Christophe Calvès; Julia Lawall; Gilles Muller (ASPLOS, 2011)

Deadline-aware scheduling for Software Transactional Memory. - Walther Maldonado; Patrick Marlier; Pascal Felber; Julia Lawall; Gilles Muller; Etienne Rivière (DSN, 2011)

An approach to improving the structure of error-handling code in the linux kernel. - Suman Saha 002; Julia Lawall; Gilles Muller (LCTES, 2011)

Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. - Eric Eide; Gilles Muller; Wolfgang Schröder-Preikschat; Olaf Spinczyk (ACM SIGOPS Oper. Syst. Rev., 2011)

Finding resource-release omission faults in Linux. - Suman Saha 002; Julia Lawall; Gilles Muller (ACM SIGOPS Oper. Syst. Rev., 2011)

Zebu: A Language-Based Approach for Network Protocol Message Processing. - Laurent Burgy; Laurent Réveillère; Julia Lawall; Gilles Muller (IEEE Trans. Software Eng., 2011)

Diagnosys: automatic generation of a debugging interface to the Linux kernel. - Tegawendé F. Bissyandé; Laurent Réveillère; Julia Lawall; Gilles Muller (ASE, 2012)

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. - Jean-Pierre Lozi; Florian David; Gaël Thomas 001; Julia Lawall; Gilles Muller (USENIX ATC, 2012)

RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables. - Sergey Legtchenko; Sébastien Monnet; Pierre Sens 001; Gilles Muller (ACM Trans. Auton. Adapt. Syst., 2012)

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. - Suman Saha 002; Jean-Pierre Lozi; Gaël Thomas 001; Julia L. Lawall; Gilles Muller (DSN, 2013)

FastLane: improving performance of software transactional memory for low thread counts. - Jons-Tobias Wamhoff; Christof Fetzer; Pascal Felber; Etienne Rivière; Gilles Muller (PPoPP, 2013)

Understanding the genetic makeup of Linux device drivers. - Peter Senna Tschudin; Laurent Réveillère; Lingxiao Jiang; David Lo 001; Julia Lawall; Gilles Muller (PLOS@SOSP, 2013)

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (Softw. Pract. Exp., 2013)

BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. - Fabien Hermenier; Julia Lawall; Gilles Muller (IEEE Trans. Dependable Secur. Comput., 2013)

Memory monitoring in a multi-tenant OSGi execution environment. - Koutheir Attouchi; Gaël Thomas 001; André Bottaro; Gilles Muller (CBSE, 2014)

Oops! where did that code snippet come from? - Lisong Guo; Julia Lawall; Gilles Muller (MSR, 2014)

Continuously measuring critical section pressure with the free-lunch profiler. - Florian David; Gaël Thomas 001; Julia Lawall; Gilles Muller (OOPSLA, 2014)

FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. - Jons-Tobias Wamhoff; Etienne Rivière; Gilles Muller; Christof Fetzer; Pascal Felber (Software Engineering, 2014)

Faults in Linux 2.6. - Nicolas Palix; Gaël Thomas 001; Suman Saha 002; Christophe Calvès; Gilles Muller; Julia Lawall (ACM Trans. Comput. Syst., 2014)

Incinerator - Eliminating Stale References in Dynamic OSGi Applications. - Koutheir Attouchi; Gaël Thomas 001; Gilles Muller; Julia Lawall; André Bottaro (DSN, 2015)

A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. - Guido Lena Cota; Sonia Ben Mokhtar; Julia Lawall; Gilles Muller; Gabriele Gianini; Ernesto Damiani; Lionel Brunie (SRDS, 2015)

Implementing an embedded compiler using program transformation rules. - Tegawendé F. Bissyandé; Laurent Réveillère; Julia L. Lawall; Yérom-David Bromberg; Gilles Muller (Softw. Pract. Exp., 2015)

Supporting Time-Based QoS Requirements in Software Transactional Memory. - Walther Maldonado; Patrick Marlier; Pascal Felber; Julia Lawall; Gilles Muller; Etienne Rivière (ACM Trans. Parallel Comput., 2015)

Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. - Antoine Blin; Cédric Courtaud; Julien Sopena; Julia Lawall; Gilles Muller (ECRTS, 2016)

Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. - Mariem Saied; Jens Gustedt; Gilles Muller (HiPC, 2016)

Understanding the Memory Consumption of the MiBench Embedded Benchmark. - Antoine Blin; Cédric Courtaud; Julien Sopena; Julia Lawall; Gilles Muller (NETYS, 2016)

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. - Tegawendé F. Bissyandé; Laurent Réveillère; Julia L. Lawall; Gilles Muller (Autom. Softw. Eng., 2016)

Fast and Portable Locking for Multicore Architectures. - Jean-Pierre Lozi; Florian David; Gaël Thomas 001; Julia Lawall; Gilles Muller (ACM Trans. Comput. Syst., 2016)

Analysing Selfishness Flooding with SEINE. - Guido Lena Cota; Sonia Ben Mokhtar; Gabriele Gianini; Ernesto Damiani; Julia Lawall; Gilles Muller; Lionel Brunie (DSN, 2017)

JMake: Dependable Compilation for Kernel Janitors. - Julia Lawall; Gilles Muller (DSN, 2017)

Towards Proving Optimistic Multicore Schedulers. - Baptiste Lepers; Willy Zwaenepoel; Jean-Pierre Lozi; Nicolas Palix; Redha Gouicem; Julien Sopena; Julia Lawall; Gilles Muller (HotOS, 2017)

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. - Julia Lawall; Derek Palinski; Lukas Gnirke; Gilles Muller (USENIX ATC, 2017)

Usuba: Optimizing & Trustworthy Bitslicing Compiler. - Darius Mercadier; Pierre-Évariste Dagand; Lionel Lacassagne; Gilles Muller (WPMVP@PPoPP, 2018)

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. - Justinien Bouron; Sebastien Chevalley; Baptiste Lepers; Willy Zwaenepoel; Redha Gouicem; Julia Lawall; Gilles Muller; Julien Sopena (USENIX ATC, 2018)

Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. - Julia Lawall; Gilles Muller (USENIX ATC, 2018)

Semantic Patches for Java Program Transformation (Experience Report). - Hong Jin Kang; Ferdian Thung; Julia Lawall; Gilles Muller; Lingxiao Jiang; David Lo 001 (ECOOP, 2019)

When eXtended Para - Virtualization (XPV) Meets NUMA. - Vo Quoc Bao Bui; Djob Mvondo; Boris Teabe; Kevin Jiokeng; Patrick Lavoisier Wapet; Alain Tchana; Gaël Thomas 001; Daniel Hagimont; Gilles Muller; Noel De Palma (EuroSys, 2019)

Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. - Cédric Courtaud; Julien Sopena; Gilles Muller; Daniel Gracia Pérez (RTSS, 2019)

Fork/Wait and Multicore Frequency Scaling: a Generational Clash. - Damien Carver; Redha Gouicem; Jean-Pierre Lozi; Julien Sopena; Baptiste Lepers; Willy Zwaenepoel; Nicolas Palix; Julia Lawall; Gilles Muller (PLOS@SOSP, 2019)

Toward an in-Kernel High Performance Key-Value Store Implementation. - Kahina Lazri; Antoine Blin; Julien Sopena; Gilles Muller (SRDS, 2019)

Semantic Patches for Java Program Transformation (Artifact). - Hong Jin Kang; Ferdian Thung; Julia Lawall; Gilles Muller; Lingxiao Jiang; David Lo 001 (Dagstuhl Artifacts Ser., 2019)

RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. - Guido Lena Cota; Sonia Ben Mokhtar; Gabriele Gianini; Ernesto Damiani; Julia Lawall; Gilles Muller; Lionel Brunie (IEEE Trans. Dependable Secur. Comput., 2019)

Provable multicore schedulers with Ipanema: application to work conservation. - Baptiste Lepers; Redha Gouicem; Damien Carver; Jean-Pierre Lozi; Nicolas Palix; Maria-Virginia Aponte; Willy Zwaenepoel; Julien Sopena; Julia Lawall; Gilles Muller (EuroSys, 2020)

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. - Stefanus A. Haryono; Ferdian Thung; Hong Jin Kang; Lucas Serrano; Gilles Muller; Julia Lawall; David Lo 001; Lingxiao Jiang (ICPC, 2020)

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. - Redha Gouicem; Damien Carver; Jean-Pierre Lozi; Julien Sopena; Baptiste Lepers; Willy Zwaenepoel; Nicolas Palix; Julia Lawall; Gilles Muller (USENIX ATC, 2020)

SPINFER: Inferring Semantic Patches for the Linux Kernel. - Lucas Serrano; Van-Anh Nguyen; Ferdian Thung; Lingxiao Jiang; David Lo 001; Julia Lawall; Gilles Muller (USENIX ATC, 2020)

Automated Deprecated-API Usage Update for Android Apps: How Far are We? - Ferdian Thung; Stefanus A. Haryono; Lucas Serrano; Gilles Muller; Julia Lawall; David Lo 001; Lingxiao Jiang (SANER, 2020)

Memory virtualization in virtualized systems: segmentation is better than paging. - Boris Teabe; Peterson Yuhala; Alain Tchana; Fabien Hermenier; Daniel Hagimont; Gilles Muller (CoRR, 2020)

Tell me when you are sleepy and what may wake you up! - Djob Mvondo; Antonio Barbalace; Alain Tchana; Gilles Muller (SoCC, 2021)

Mitigating vulnerability windows with hypervisor transplant. - Tu Dinh Ngoc; Boris Teabe; Alain Tchana; Gilles Muller; Daniel Hagimont (EuroSys, 2021)

AndroEvolve: Automated Update for Android Deprecated-API Usages. - Stefanus A. Haryono; Ferdian Thung; David Lo 001; Lingxiao Jiang; Julia Lawall; Hong Jin Kang; Lucas Serrano; Gilles Muller (ICSE (Companion Volume), 2021)

BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. - Yoann Ghigoff; Julien Sopena; Kahina Lazri; Antoine Blin; Gilles Muller (NSDI, 2021)

WE-HML: hybrid WCET estimation using machine learning for architectures with caches. - Abderaouf N. Amalou; Isabelle Puaut; Gilles Muller (RTCSA, 2021)

(No)Compromis: paging virtualization is not a fatality. - Boris Teabe; Peterson Yuhala; Alain Tchana; Fabien Hermenier; Daniel Hagimont; Gilles Muller (VEE, 2021)

OS scheduling with nest: keeping tasks close together on warm cores. - Julia Lawall; Himadri Chhaya-Shailesh; Jean-Pierre Lozi; Baptiste Lepers; Willy Zwaenepoel; Gilles Muller (EuroSys, 2022)

Automating Program Transformation with Coccinelle. - Julia Lawall; Gilles Muller (NFM, 2022)

AndroEvolve: automated Android API update with data flow analysis and variable denormalization. - Stefanus A. Haryono; Ferdian Thung; David Lo 001; Lingxiao Jiang; Julia Lawall; Hong Jin Kang; Lucas Serrano; Gilles Muller (Empir. Softw. Eng., 2022)

Artifact for the paper "OS Scheduling with Nest: Keeping Threads Close Together on Warm Cores". - Julia Lawall; Himadri Chhaya-Shailesh; Jean-Pierre Lozi; Baptiste Lepers; Willy Zwaenepoel; Gilles Muller (Zenodo, 2022)

HyperTP: A unified approach for live hypervisor replacement in datacenters. - Tu Dinh Ngoc; Boris Teabe; Alain Tchana; Gilles Muller; Daniel Hagimont (J. Parallel Distributed Comput., 2023)