Gilles Muller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
74
Venues
31
Active years
1988–2022
Best venue rank
A*
Where they publish
- ADSN9 papers
- AUSENIX7 papers
- AEuroSys6 papers
- BSRDS6 papers
- A*SOSP4 papers
- AICDCS4 papers
- BVEE3 papers
- BPPoPP3 papers
- AHotOS3 papers
- AECOOP2 papers
- AOOPSLA2 papers
- A*ASPLOS2 papers
- UnrankedEDCC2 papers
- AMiddleware2 papers
- BGPCE2 papers
- CPEPM2 papers
- BCLOUD1 paper
- A*ICSE1 paper
- NationalNSDI1 paper
- BRTCSA1 paper
- ARTSS1 paper
- BECRTS1 paper
- NationalHiPC1 paper
- AMSR1 paper
- A*POPL1 paper
- CSSS1 paper
- Journal PublishedEMSOFT1 paper
- BIFM1 paper
- A*PLDI1 paper
- A*OSDI1 paper
- A*ICDE1 paper
Papers
74 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | EuroSys | 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 |
| 2021 | CLOUD | Tell me when you are sleepy and what may wake you up! | Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller |
| 2021 | EuroSys | Mitigating vulnerability windows with hypervisor transplant. | Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont |
| 2021 | ICSE | AndroEvolve: Automated Update for Android Deprecated-API Usages. | Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller |
| 2021 | NSDI | BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. | Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller |
| 2021 | RTCSA | WE-HML: hybrid WCET estimation using machine learning for architectures with caches. | Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller |
| 2021 | VEE | (No)Compromis: paging virtualization is not a fatality. | Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller |
| 2020 | EuroSys | 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 |
| 2020 | USENIX | 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 |
| 2020 | USENIX | SPINFER: Inferring Semantic Patches for the Linux Kernel. | Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller |
| 2019 | ECOOP | Semantic Patches for Java Program Transformation (Experience Report). | Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo |
| 2019 | EuroSys | When eXtended Para - Virtualization (XPV) Meets NUMA. | Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Patrick Lavoisier Wapet, Alain Tchana, Gal Thomas, Daniel Hagimont, Gilles Muller, Noel De Palma |
| 2019 | RTSS | Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. | Cdric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Prez |
| 2019 | SOSP | 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 |
| 2019 | SRDS | Toward an in-Kernel High Performance Key-Value Store Implementation. | Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller |
| 2018 | PPoPP | Usuba: Optimizing & Trustworthy Bitslicing Compiler. | Darius Mercadier, Pierre-variste Dagand, Lionel Lacassagne, Gilles Muller |
| 2018 | USENIX | 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 |
| 2018 | USENIX | Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. | Julia Lawall, Gilles Muller |
| 2017 | DSN | Analysing Selfishness Flooding with SEINE. | Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie |
| 2017 | DSN | JMake: Dependable Compilation for Kernel Janitors. | Julia Lawall, Gilles Muller |
| 2017 | HotOS | Towards Proving Optimistic Multicore Schedulers. | Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller |
| 2017 | USENIX | Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. | Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller |
| 2016 | ECRTS | Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. | Antoine Blin, Cdric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller |
| 2016 | HiPC | Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. | Mariem Saied, Jens Gustedt, Gilles Muller |
| 2015 | DSN | Incinerator - Eliminating Stale References in Dynamic OSGi Applications. | Koutheir Attouchi, Gal Thomas, Gilles Muller, Julia Lawall, Andr Bottaro |
| 2015 | SRDS | 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 |
| 2014 | MSR | Oops! where did that code snippet come from? | Lisong Guo, Julia Lawall, Gilles Muller |
| 2014 | OOPSLA | Continuously measuring critical section pressure with the free-lunch profiler. | Florian David, Gal Thomas, Julia Lawall, Gilles Muller |
| 2013 | DSN | Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. | Suman Saha, Jean-Pierre Lozi, Gal Thomas, Julia L. Lawall, Gilles Muller |
| 2013 | PPoPP | FastLane: improving performance of software transactional memory for low thread counts. | Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivire, Gilles Muller |
| 2013 | SOSP | Understanding the genetic makeup of Linux device drivers. | Peter Senna Tschudin, Laurent Rveillre, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller |
| 2012 | USENIX | Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. | Jean-Pierre Lozi, Florian David, Gal Thomas, Julia Lawall, Gilles Muller |
| 2011 | ASPLOS | Faults in linux: ten years later. | Nicolas Palix, Gal Thomas, Suman Saha, Christophe Calvs, Julia Lawall, Gilles Muller |
| 2011 | DSN | Deadline-aware scheduling for Software Transactional Memory. | Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivire |
| 2011 | SOSP | Finding resource-release omission faults in Linux. | Suman Saha, Julia Lawall, Gilles Muller |
| 2010 | EDCC | Finding Error Handling Bugs in OpenSSL Using Coccinelle. | Julia Lawall, Ben Laurie, Ren Rydhof Hansen, Nicolas Palix, Gilles Muller |
| 2010 | ICDCS | Efficient Workstealing for Multicore Event-Driven Systems. | Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quma |
| 2010 | Middleware | Bridging the Gap between Legacy Services and Web Services. | Tegawend F. Bissyand, Laurent Rveillre, Yrom-David Bromberg, Julia L. Lawall, Gilles Muller |
| 2010 | PPoPP | Scheduling support for transactional memory contention management. | Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller |
| 2010 | VEE | VMKit: a substrate for managed runtime environments. | Nicolas Geoffray, Gal Thomas, Julia Lawall, Gilles Muller, Bertil Folliot |
| 2009 | DSN | I-JVM: a Java Virtual Machine for component isolation in OSGi. | Nicolas Geoffray, Gal Thomas, Gilles Muller, Pierre Parrend, Stphane Frnot, Bertil Folliot |
| 2009 | DSN | 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 |
| 2009 | Middleware | Automatic Generation of Network Protocol Gateways. | Yrom-David Bromberg, Laurent Rveillre, Julia L. Lawall, Gilles Muller |
| 2009 | POPL | 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 |
| 2009 | SSS | Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. | Sergey Legtchenko, Sbastien Monnet, Pierre Sens, Gilles Muller |
| 2009 | VEE | Entropy: a consolidation manager for clusters. | Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall |
| 2008 | EuroSys | Documenting and automating collateral evolutions in linux device drivers. | Yoann Padioleau, Julia Lawall, Ren Rydhof Hansen, Gilles Muller |
| 2007 | SOSP | Towards easing the diagnosis of bugs in OS code. | Henrik Stuart, Ren Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller |
| 2007 | SRDS | A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. | Laurent Burgy, Laurent Rveillre, Julia L. Lawall, Gilles Muller |
| 2006 | ASPLOS | Semantic patches for documenting and automating collateral evolutions in Linux device drivers. | Yoann Padioleau, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2006 | EMSOFT | Energy adaptation for multimedia information kiosks. | Richard Urunuela, Gilles Muller, Julia L. Lawall |
| 2006 | EuroSys | Understanding collateral evolution in Linux device drivers. | Yoann Padioleau, Julia L. Lawall, Gilles Muller |
| 2005 | GPCE | Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. | Julia L. Lawall, Herv Duchesne, Gilles Muller, Anne-Franoise Le Meur |
| 2005 | IFM | Formal Methods Meet Domain Specific Languages. | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
| 2004 | GPCE | On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. | Julia L. Lawall, Anne-Franoise Le Meur, Gilles Muller |
| 2004 | PEPM | Invited application paper: language design for implementing process scheduling hierarchies. | Julia L. Lawall, Gilles Muller, Herv Duchesne |
| 2002 | ICDCS | Distributing MPEG Movies Over the Internet using Programmable Networks. | Dan He, Gilles Muller, Julia L. Lawall |
| 2002 | USENIX | Think: A Software Framework for Component-based Operating System Kernels. | Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller |
| 2001 | DSN | Improving Driver Robustness: An Evaluation of the Devil Approach. | Laurent Rveillre, Gilles Muller |
| 2001 | HotOS | Bossa: A DSL Framework for Application-Specific Scheduling Policies. | Luciano Porto Barreto, Gilles Muller |
| 2001 | PLDI | Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. | Fabrice Mrillon, Gilles Muller |
| 2000 | DSN | Efficient Incremental Checkpointing of Java Programs. | Julia L. Lawall, Gilles Muller |
| 2000 | OSDI | Devil: An IDL for Hardware Programming. | Fabrice Mrillon, Laurent Rveillre, Charles Consel, Renaud Marlet, Gilles Muller |
| 1999 | ECOOP | Towards Automatic Specialization of Java Programs. | Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller |
| 1999 | ICDCS | Adapting Distributed Applications Using Extensible Networks. | Scott Thibault, Jerme Marant, Gilles Muller |
| 1998 | ICDCS | Fast, Optimized Sun RPC Using Automatic Program Specialization. | Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel |
| 1998 | SRDS | Safe and Efficient Active Network Programming. | Scott Thibault, Charles Consel, Gilles Muller |
| 1997 | OOPSLA | Declarative Specialization of Object-Oriented Programs. | Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan |
| 1997 | PEPM | Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet |
| 1995 | SRDS | The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. | Gilbert Cabillic, Gilles Muller, Isabelle Puaut |
| 1994 | EDCC | Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. | Gilles Muller, Mireille Hue, Nadine Peyrouze |
| 1994 | SRDS | Efficient Treatment of Failures in RPC Systems. | Valrie Issarny, Gilles Muller, Isabelle Puaut |
| 1989 | HotOS | Architecture of fault-tolerant multiprocessor workstations. | Jean-Pierre Bantre, Michel Bantre, Gilles Muller |
| 1988 | ICDE | Ensuring Data Security and Integrity with a Fast Stable Storage. | Michel Bantre, Gilles Muller, Jean-Pierre Bantre |