default search action

combined dblp search
author search
venue search
publication search

ask others

Gilles Muller

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/NgocTTMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/NgocTTMH23
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: 104733 (2023)
2022
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/HaryonoTLJLKSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/HaryonoTLJLKSM22
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): 73 (2022)
2019
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/KangTLMJ019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/KangTLMJ019
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): 10:1-10:3 (2019)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/CotaMGDLMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/CotaMGDLMB19
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): 635-650 (2019)
2016
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BissyandeRLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BissyandeRLM16
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): 3-41 (2016)
[j26]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - journals/tocs/LoziD0LM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/LoziD0LM16
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): 13:1-13:62 (2016)
2015
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BissyandeRLBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BissyandeRLBM15
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): 177-196 (2015)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/topc/MaldonadoMFLMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topc/MaldonadoMFLMR15
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): 10:1-10:30 (2015)
2014
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/PalixTSCML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/PalixTSCML14
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): 4:1-4:40 (2014)
2013
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/LawallBPHSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/LawallBPHSM13
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): 67-92 (2013)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/HermenierLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/HermenierLM13
Fabien Hermenier, Julia Lawall, Gilles Muller:
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. IEEE Trans. Dependable Secur. Comput. 10(5): 273-286 (2013)
2012
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/LegtchenkoMSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/LegtchenkoMSM12
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): 28:1-28:18 (2012)
2011
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/EideMSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/EideMSS11
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): 1-4 (2011)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/SahaLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/SahaLM11
Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. ACM SIGOPS Oper. Syst. Rev. 45(3): 5-9 (2011)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BurgyRLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BurgyRLM11
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): 575-591 (2011)
2009
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/EideMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/EideMS09
Eric Eide, Gilles Muller, Olaf Spinczyk:
PLOS 2009: fifth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 43(4): 31-34 (2009)
2006
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/MullerPLH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/MullerPLH06
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen:
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40(3): 90-92 (2006)
2004
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/CointeNDLMMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/CointeNDLMMS04
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): 119-143 (2004)
2003
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/MullerLTJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/MullerLTJ03
Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen:
A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C 33(3): 370-381 (2003)
2001
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/GulwaniTGSBMC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/GulwaniTGSBMC01
Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel:
WebCaL - a domain specific language for web caching. Comput. Commun. 24(2): 191-201 (2001)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/McNameeWPCKGWCMM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/McNameeWPCKGWCMM01
Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet:
Specialization tools and techniques for systematic optimization of system software. ACM Trans. Comput. Syst. 19(2): 217-251 (2001)
2000
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ThibaultCLMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ThibaultCLMM00
Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. 13(3): 161-178 (2000)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MullerMV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MullerMV00
Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi:
Accurate program analyses for successful specialization of legacy system software. Theor. Comput. Sci. 248(1-2): 201-210 (2000)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ClausenSCM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ClausenSCM00
Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller:
Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000)
1999
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/software/MullerS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/MullerS99
Gilles Muller, Ulrik Pagh Schultz:
Harissa: A Hybrid Approach to Java Execution. IEEE Softw. 16(2): 44-51 (1999)
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/ConselHMMTV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/ConselHMMTV98
Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Tempo: Specializing Systems applications and Beyond. ACM Comput. Surv. 30(3es): 19 (1998)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/ConselHMMTV98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/ConselHMMTV98a
Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Partial Evaluation for Software Engineering. ACM Comput. Surv. 30(3es): 20 (1998)
1996
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/MullerBPR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/MullerBPR96
Gilles Muller, Michel Banâtre, Nadine Peyrouze, Bruno Rochat:
Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. IEEE Trans. Reliab. 45(2): 332-339 (1996)
1993
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/BryceHJMMR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/BryceHJMMR93
Ciarán Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat:
Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. ACM SIGOPS Oper. Syst. Rev. 27(2): 56-60 (1993)
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/MullerRS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/MullerRS91
Gilles Muller, Bruno Rochat, Patrick Sanchez:
A stable transactional memory for building robust object oriented programs. Microprocessing and Microprogramming 32(1-5): 359-363 (1991)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/BanatreJMMRS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/BanatreJMMRS91
Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Stable Transactional Memories and Fault Tolerant Architectures. ACM SIGOPS Oper. Syst. Rev. 25(1): 68-72 (1991)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/LawallCLLZM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/LawallCLLZM22
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: 368-383
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LawallM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LawallM22
Julia Lawall, Gilles Muller:
Automating Program Transformation with Coccinelle. NFM 2022: 71-87
2021
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/MvondoBTM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/MvondoBTM21
Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller:
Tell me when you are sleepy and what may wake you up! SoCC 2021: 562-569
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/NgocTTMH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/NgocTTMH21
Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont:
Mitigating vulnerability windows with hypervisor transplant. EuroSys 2021: 162-177
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HaryonoT0JLKSM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HaryonoT0JLKSM21
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: 1-4
[c103]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nsdi/GhigoffSLBM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/GhigoffSLBM21
Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller:
BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. NSDI 2021: 487-501
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/AmalouPM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/AmalouPM21
Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller:
WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA 2021: 31-40
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/TeabeYTHHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/TeabeYTHHM21
Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller:
(No)Compromis: paging virtualization is not a fatality. VEE 2021: 43-56
2020
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/LepersGCLPAZSLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/LepersGCLPAZSLM20
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: 3:1-3:16
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/HaryonoTKSML0J20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/HaryonoTKSML0J20
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: 401-405
[c98]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/SerranoNTJ0LM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/SerranoNTJ0LM20
Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller:
SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX ATC 2020: 235-248
[c97]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/GouicemCLSLZPLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/GouicemCLSLZPLM20
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 ATC 2020: 435-448
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ThungHSML0J20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ThungHSML0J20
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: 602-611
2019
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/KangTLMJ019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KangTLMJ019
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo:
Semantic Patches for Java Program Transformation (Experience Report). ECOOP 2019: 22:1-22:27
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/BuiMTJWT0HMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/BuiMTJWT0HMP19
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: 7:1-7:15
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/CourtaudSMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/CourtaudSMP19
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez:
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS 2019: 246-259
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/CarverGLSLZPLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/CarverGLSLZPLM19
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: 53-59
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/LazriBSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/LazriBSM19
Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller:
Toward an in-Kernel High Performance Key-Value Store Implementation. SRDS 2019: 268
2018
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/MercadierDLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/MercadierDLM18
Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller:
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP 2018: 4:1-4:8
[c89]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/BouronCLZGLMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/BouronCLZGLMS18
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 ATC 2018: 85-96
[c88]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/LawallM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/LawallM18
Julia Lawall, Gilles Muller:
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX ATC 2018: 601-614
2017
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/LawallM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/LawallM17
Julia Lawall, Gilles Muller:
JMake: Dependable Compilation for Kernel Janitors. DSN 2017: 357-366
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/CotaMGDLMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/CotaMGDLMB17
Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie:
Analysing Selfishness Flooding with SEINE. DSN 2017: 603-614
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/LepersZLPGSLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/LepersZLPGSLM17
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller:
Towards Proving Optimistic Multicore Schedulers. HotOS 2017: 18-23
[c84]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/LawallPGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/LawallPGM17
Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller:
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX ATC 2017: 15-26
2016
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/BlinCSLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/BlinCSLM16
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. ECRTS 2016: 109-119
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/hipc/SaiedGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipc/SaiedGM16
Mariem Saied, Jens Gustedt, Gilles Muller:
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. HiPC 2016: 280-289
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/BlinCSLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/BlinCSLM16
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Understanding the Memory Consumption of the MiBench Embedded Benchmark. NETYS 2016: 71-86
2015
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/Attouchi0MLB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/Attouchi0MLB15
Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro:
Incinerator - Eliminating Stale References in Dynamic OSGi Applications. DSN 2015: 545-554
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CotaMLMGDB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CotaMLMGDB15
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: 276-285
2014
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/Attouchi0BM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/Attouchi0BM14
Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller:
Memory monitoring in a multi-tenant OSGi execution environment. CBSE 2014: 107-116
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/GuoLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/GuoLM14
Lisong Guo, Julia Lawall, Gilles Muller:
Oops! where did that code snippet come from? MSR 2014: 52-61
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DavidTLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DavidTLM14
Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Continuously measuring critical section pressure with the free-lunch profiler. OOPSLA 2014: 291-307
[c75]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/WamhoffRMFF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/WamhoffRMFF14
Jons-Tobias Wamhoff, Etienne Rivière, Gilles Muller, Christof Fetzer, Pascal Felber:
FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. Software Engineering 2014: 35-36
2013
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/SahaL0LM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/SahaL0LM13
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: 1-12
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/WamhoffFFRM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/WamhoffFFRM13
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: 113-122
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/TschudinRJLLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/TschudinRJLLM13
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: 10:1-10:6
2012
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BissyandeRLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BissyandeRLM12
Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller:
Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE 2012: 60-69
[c70]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/LoziD0LM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/LoziD0LM12
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 ATC 2012: 65-76
2011
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/PalixTSCLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/PalixTSCLM11
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller:
Faults in linux: ten years later. ASPLOS 2011: 305-318
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MaldonadoMFLMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MaldonadoMFLMR11
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière:
Deadline-aware scheduling for Software Transactional Memory. DSN 2011: 257-268
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/SahaLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/SahaLM11
Suman Saha, Julia Lawall, Gilles Muller:
An approach to improving the structure of error-handling code in the linux kernel. LCTES 2011: 41-50
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/SahaLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/SahaLM11
Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. PLOS@SOSP 2011: 1:1-1:5
2010
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/PalixLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/PalixLM10
Nicolas Palix, Julia Lawall, Gilles Muller:
Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/LawallLHPM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/LawallLHPM10
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/GaudGLLMMQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/GaudGLLMMQ10
Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma:
Efficient Workstealing for Multicore Event-Driven Systems. ICDCS 2010: 516-525
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/middleware/BissyandeRBLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/BissyandeRBLM10
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: 273-292
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/MaldonadoMFSHFLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/MaldonadoMFSHFLM10
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: 79-90
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/GeoffrayTLMF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/GeoffrayTLMF10
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot:
VMKit: a substrate for managed runtime environments. VEE 2010: 51-62
2009
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/LawallMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/LawallMP09
Julia L. Lawall, Gilles Muller, Nicolas Palix:
Enforcing the use of API functions in linux code. ACP4IS@AOSD 2009: 7-12
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/LawallBPHSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/LawallBPHSM09
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: 43-52
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/GeoffrayTMPFF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/GeoffrayTMPFF09
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: 544-553
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/middleware/BrombergRLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/BrombergRLM09
Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Automatic Generation of Network Protocol Gateways. Middleware 2009: 21-41
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BrunelDHLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BrunelDHLM09
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: 114-126
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/LegtchenkoMSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/LegtchenkoMSM09
Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller:
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. SSS 2009: 485-499
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/HermenierLMML09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/HermenierLMML09
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall:
Entropy: a consolidation manager for clusters. VEE 2009: 41-50
2008
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/PadioleauLHM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/PadioleauLHM08
Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller:
Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260
2007
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/StuartHLAPM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/StuartHLAPM07
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: 2:1-2:5
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/BurgyRLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/BurgyRLM07
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: 149-160
2006
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/PadioleauHLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/PadioleauHLM06
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller:
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/UrunuelaML06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/UrunuelaML06
Richard Urunuela, Gilles Muller, Julia L. Lawall:
Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/PadioleauLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/PadioleauLM06
Yoann Padioleau, Julia L. Lawall, Gilles Muller:
Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71
[c46]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/evol/PadioleauLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evol/PadioleauLM06
Yoann Padioleau, Julia Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL 2006: 147-154
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeveixFLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeveixFLM07
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. AVoCS 2006: 17-32
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PadioleauLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PadioleauLM07
Yoann Padioleau, Julia L. Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (Selected Papers) 2006: 47-62
2005
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/LawallDMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/LawallDMM05
Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur:
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE 2005: 78-93
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MullerLD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MullerLD05
Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BodeveixFLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BodeveixFLM05
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/words/MullerLD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/MullerLD05
Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230
2004
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/LawallMM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/LawallMM04
Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller:
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE 2004: 436-455
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LawallMD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LawallMD04
Julia L. Lawall, Gilles Muller, Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/MullerLMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/MullerLMS04
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: 15
2003
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/Segura-DevillechaiseMML03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/Segura-DevillechaiseMML03
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: 110-119
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AbergLSMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AbergLSMM03
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: 196-204
2002
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/HeML02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/HeML02
Dan He, Gilles Muller, Julia L. Lawall:
Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/LawallMB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/LawallMB02
Julia L. Lawall, Gilles Muller, Luciano Porto Barreto:
Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop 2002: 54-61
[c32]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/FassinoSLM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/FassinoSLM02
Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller:
Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track 2002: 73-86
2001
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ReveillereM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ReveillereM01
Laurent Réveillère, Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach. DSN 2001: 131-140
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/BarretoM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/BarretoM01
Luciano Porto Barreto, Gilles Muller:
Bossa: A DSL Framework for Application-Specific Scheduling Policies. HotOS 2001: 161
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/MerillonM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/MerillonM01
Fabrice Mérillon, Gilles Muller:
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. LCTES/OM 2001: 121-127
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MerillonM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MerillonM01
Fabrice Mérillon, Gilles Muller:
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. OM@PLDI 2001: 121-127
2000
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/LawallM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/LawallM00
Julia L. Lawall, Gilles Muller:
Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ReveillereMCMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ReveillereMCMM00
Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller:
A DSL Approach to Improve Productivity and Safety in Device Drivers Development. ASE 2000: 101-110
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BoinotMNMC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BoinotMNMC00
Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components. ASE 2000: 111-
[c24]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/osdi/MerillonRCMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/MerillonRCMM00
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller:
Devil: An IDL for Hardware Programming. OSDI 2000: 17-30
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/saig/Muller00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/Muller00
Gilles Muller:
Specialization of Systems Programs: Lessons and Perspectives. SAIG 2000: 7-8
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/MullerCMBMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/MullerCMBMR00
Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère:
Towards robust OSes for appliances: a new approach based on domain-specific languages. ACM SIGOPS European Workshop 2000: 19-24
1999
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SchultzLCM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SchultzLCM99
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller:
Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/ThibaultMM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/ThibaultMM99
Scott Thibault, Jerôme Marant, Gilles Muller:
Adapting Distributed Applications Using Extensible Networks. ICDCS 1999: 234-243
1998
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/MullerMVCPG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/MullerMVCPG98
Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel:
Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS 1998: 240-249
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/ThibaultCM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/ThibaultCM98
Scott Thibault, Charles Consel, Gilles Muller:
Safe and Efficient Active Network Programming. SRDS 1998: 135-143
1997
[c17]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/coots/MullerMBC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coots/MullerMBC97
Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel:
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. COOTS 1997: 1-20
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/VolanschiCMC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/VolanschiCMC97
Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan:
Declarative Specialization of Object-Oriented Programs. OOPSLA 1997: 286-300
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/MullerVM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/MullerVM97
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. PEPM 1997: 116-126
1996
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/PeyrouzeM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/PeyrouzeM96
Nadine Peyrouze, Gilles Muller:
FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. FTCS 1996: 64-73
1995
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/BryceM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/BryceM95
Ciarán Bryce, Gilles Muller:
Matching micro-kernels to modern applications using fine-grained memory protection. SPDP 1995: 272-279
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/CabillicMP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/CabillicMP95
Gilbert Cabillic, Gilles Muller, Isabelle Puaut:
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS 1995: 96-105
1994
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/MullerHP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/MullerHP94
Gilles Muller, Mireille Hue, Nadine Peyrouze:
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. EDCC 1994: 491-508
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/BryceIMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/BryceIMP94
Ciarán Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut:
Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop 1994: 57-61
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/IssarnyMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/IssarnyMP94
Valérie Issarny, Gilles Muller, Isabelle Puaut:
Efficient Treatment of Failures in RPC Systems. SRDS 1994: 170-180
1993
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/hsaft/Muller93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsaft/Muller93
Gilles Muller:
A Reliable Client-Server Model on Top of a Micro-Kernel. Hardware and Software Architectures for Fault Tolerance 1993: 191-198
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pdis/BanatreHMPR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdis/BanatreHMPR93
Michel Banâtre, Pack Heng, Gilles Muller, Nadine Peyrouze, Bruno Rochat:
An Experience in the Design of a Reliable Object Based System (Synopsis). PDIS 1993: 187-190
1992
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/BanatreJMMR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/BanatreJMMR92
Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat:
Using dynamic atomic actions to build fault tolerant systems. ACM SIGOPS European Workshop 1992
1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/BanatreMRS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BanatreMRS91
Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. FTCS 1991: 71-78
[c4]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mach/BanatreMHR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mach/BanatreMHR91
Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat:
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. USENIX MACH Symposium 1991: 223-232
1990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/BanatreJMMRS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/BanatreJMMRS90
Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Stable transactional memories and fault tolerant architectures. ACM SIGOPS European Workshop 1990
1989
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/BanatreBM89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/BanatreBM89
Jean-Pierre Banâtre, Michel Banâtre, Gilles Muller:
Architecture of fault-tolerant multiprocessor workstations. WWOS 1989: 20-24
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/BanatreMB88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/BanatreMB88
Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre:
Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2010
[e3]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/eurosys/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/2010
Christine Morin, Gilles Muller:
European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010. ACM 2010, ISBN 978-1-60558-577-2 [contents]
2009
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/2009plos
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/2009plos
Gilles Muller:
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009. ACM 2009, ISBN 978-1-60558-844-5 [contents]
2002
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/2002
Gilles Muller, Eric Jul:
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. ACM 2002 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2022
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/LawallCLLZM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LawallCLLZM22
Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller:
Artifact for the paper "OS Scheduling with Nest: Keeping Threads Close Together on Warm Cores". Zenodo, 2022

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13220
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13220
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 abs/2005.13220 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-00380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-00380
Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller:
Memory virtualization in virtualized systems: segmentation is better than paging. CoRR abs/2006.00380 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-05020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-05020
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 abs/2011.05020 (2020)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-07259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-07259
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 abs/2012.07259 (2020)
2014
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Palix0SCML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Palix0SCML14
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall:
Faults in Linux 2.6. CoRR abs/1407.4346 (2014)
2010
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/LawallHPM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/LawallHPM10
Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
2007
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/UrunuelaML07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/UrunuelaML07
Richard Urunuela, Gilles Muller, Julia L. Lawall:
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0704-1373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0704-1373
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. CoRR abs/0704.1373 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.