Activité de recherche

Quand les écrans deviennent bleus

Acteurs méconnus mais indispensables au bon fonctionnement de nos ordinateurs, les logiciels d'infrastructure sont les piliers de tout système informatique. Quels sont les défis liés au développement et à la maintenance des logiciels d'infrastructure ? Comment peut-on garantir leur fiabilité ? Où en est la recherche dans ce domaine ? Quelles sont les évolutions envisageables à l'avenir ? Une série de questions auxquelles répond Gilles Muller dans le Podcast audio pour interstices, une revue de culture scientifique sur la recherche en informatique, créée et éditée par Inria, animée par des chercheurs, avec le CNRS et les Universités.

3 Doctorants (Direction de recherche / Co-encadrement)

• COURTAUD Cédric : Understanding and Optimizing Memory load in Real-time applications.
• GOUICEM Redha : Gestion coordonnée de ressources CPU et mémoire sur architectures multicoeurs.
• MERCADIER Darius : Certified and optimized bitslicing compiler.

7 Docteurs 2013 - 2017

Publications 2009-2018

• 2018
  • J. Lawall, G. Muller : “Coccinelle: 10 Years of Automated Evolution in the Linux Kernel”, 2018 USENIX Annual Technical Conference, Boston, MA, USA (2018)
  • J. Bouron, S. Chevalley, B. Lepers, W. Zwaenepoel, R. Gouicem, J. Lawall, G. Muller, J. Sopena : “The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS ”, 2018 USENIX Annual Technical Conference, Boston, MA, USA (2018)
  • D. Mercadier, P.‑�. Dagand, L. Lacassagne, G. Muller : “Usuba, Optimizing & Trustworthy Bitslicing Compiler”, WPMVP’18 - Workshop on Programming Models for SIMD/Vector Processing, Vienna, Austria (2018)
• 2017
  • G. Cota, S. Ben Mokhtar, G. Gianini, E. Damiani, J. Lawall, G. Muller, L. Brunie : “Analysing Selfishness Flooding with SEINE”, The 47^th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Denver, Colorado, USA, pp. 603-614 (2017)
  • J. Lawall, D. Palinski, L. Gnirke, G. Muller : “Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers”, 2017 USENIX Annual Technical Conference, Santa Clara, CA, USA, pp. 12 (2017)
  • J. Lawall, G. Muller : “JMake: Dependable Compilation for Kernel Janitors”, The 47^th IEEE/IFIP International Conference on Dependable Systems and Networks, Denver,Colorado, USA (2017)
  • B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix, R. Gouicem, J. Sopena, J. Lawall, G. Muller : “Towards Proving Optimistic Multicore Schedulers”, HotOS 2017 - 16^th Workshop on Hot Topics in Operating Systems, Whistler, British Columbia, Canada, pp. 6 (2017)
• 2016
  • J.‑P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller : “Fast and Portable Locking for Multicore Architectures”, ACM Transactions on Computer Systems, (Association for Computing Machinery) (2016)
  • M. Saied, J. Gustedt, G. Muller : “Automatic Code Generation for Iterative Multi-dimensional Stencil Computations”, High Performance Computing, Data, and Analitics, Hydarabat, India, (IEEE) (2016)
  • A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System”, 28^th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Toulouse, France (2016)
  • A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Understanding the Memory Consumption of the MiBench Embedded Benchmark”, Netys, Marakech, Morocco (2016)
  • A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System”, n°RR-8838, INRIA (2016)
  • J. Lawall, Q. Lambert, G. Muller : “Prequel: A Patch-Like Query Language for Commit History Search”, n°RR-8918, INRIA (2016)
• 2015
  • W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller, E. Riviere : “Supporting Time-Based QoS Requirements in Software Transactional Memory”, ACM Transactions on Parallel Computing, vol. 2 (2), pp. 27, (Association for Computing Machinery) (2015)
  • P. Senna Tschudin, J. Lawall, G. Muller : “3L: Learning Linux Logging”, BElgian-NEtherlands software eVOLution seminar (BENEVOL 2015), Lille, France (2015)
  • G. Lena Cota, S. Ben Mokhtar, J. Lawall, G. Muller, G. Gianini, E. Damiani, L. Brunie : “A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems”, SRDS 2015 - 34^th International Symposium on Reliable Distributed Systems, 34^th International Symposium on Reliable Distributed Systems, Montreal, Canada (2015)
  • K. Attouchi, G. Thomas, G. Muller, J. Lawall, A. Bottaro : “Incinerator - Eliminating stale references in dynamic OSGi applications”, DSN 2015 : 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Rio De Janeiro, Brazil, pp. 545-554, (IEEE) (2015)
  • K. Attouchi, G. Thomas, G. Muller, Julia L. Lawall, A. Bottaro : “Preventing Memory and Information LeakageIncinerator -- Eliminating Stale References in Dynamic OSGi Applications”, Dependable Systems and Networks, 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Rio de Janeiro, Brazil, (IEEE) (2015)
• 2014
  • Tegawendé F. Bissyandé, L. Réveillère, J. Lawall, G. Muller : “Ahead of Time Static Analysis for Automatic Generation of Debugging Interfaces to the Linux Kernel”, Automated Software Engineering, pp. 1-39 (2014)
  • N. Palix, G. Thomas, S. Saha, Ch. Calvès, G. Muller, Julia L. Lawall : “Faults in Linux 2.6”, ACM Transactions on Computer Systems, vol. 32 (2), pp. 1-40 (2014)
  • F. David, G. Thomas, J. Lawall, G. Muller : “Continuously Measuring Critical Section Pressure with the Free-lunch Profiler”, OOPSLA '14 - ACM International Conference on Object Oriented Programming Systems Languages & Applications, Portland, Oregon, USA, pp. 291-307, (ACM), (ISBN: 978-1-4503-2585-1) (2014)
  • A. Blin, J. Sopena, G. Muller, Y. Laarouchi : “Contrôle de la bande passante mémoire dans les systèmes à criticité mixte par sous-réservation”, ComPAS 2014 - Conférence d'informatique en Parallélisme, Architecture et Systeme, Neuchâtel, Switzerland (2014)
  • K. Attouchi, G. Thomas, A. Bottaro, G. Muller : “Memory Monitoring in a Multi-tenant OSGi Execution Environment”, CBSE '14 -17^th international ACM Sigsoft symposium on Component-based software engineering , Marcq-en-Baroeul, France, (ACM) (2014)
  • L. Guo, J. Lawall, G. Muller : “Oops! Where did that code snippet come from?”, MSR 2014 - 11^th Working Conference on Mining Software Repositories, Hyderabad, India, pp. 52-61, (ISBN: 978-1-4503-2863-0) (2014)
  • J.‑P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller : “Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications”, ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Neuchâtel, Switzerland (2014)
  • F. David, G. Thomas, Julia L. Lawall, G. Muller : “Continuously Measuring Critical Section Pressure with the Free Lunch Profiler”, n°RR-8486, 24 pages, INRIA (2014)
  • K. Attouchi, G. Thomas, A. Bottaro, Julia L. Lawall, G. Muller : “Incinerator - Eliminating Stale References in Dynamic OSGi Applications”, n°RR-8485, 22 pages, INRIA (2014)
• 2013
  • F. Hermenier, Julia L. Lawall, G. Muller : “BtrPlace: A Flexible Consolidation Manager for Highly Available Applications”, IEEE Transactions on Dependable and Secure Computing, vol. 10 (5), pp. 273-286 (2013)
  • Tegawendé F. Bissyandé, L. Réveillère, J. Lawall, Y.‑D. Bromberg, G. Muller : “Implementing an Embedded Compiler using Program Transformation Rules”, Software: Practice and Experience, pp. 1..20, (ISBN: 0038-0644) (2013)
  • G. Muller, J. Jongwane : “Quand les écrans deviennent bleus”, Interstices, (INRIA) (2013)
  • Julia L. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, G. Muller : “WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process”, Software: Practice and Experience, vol. 43 (1), pp. 67-92, (ISBN: 0038-0644) (2013)
  • S. Saha, J.‑P. Lozi, G. Thomas, Julia L. Lawall, G. Muller : “Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software”, DSN 2013 - 43^rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, pp. 1-12, (IEEE Computer Society) (2013)
  • P. Senna, L. Réveillère, L. Jiang, D. Lo, J. Lawall, G. Muller : “Understanding the genetic makeup of Linux device drivers”, PLOS'13 - 7^th Workshop on Programming Languages and Operating Systems, Nemacolin Woodlands Resort, Pennsylvania, USA, (ACM) (2013)
  • L. Guo, P. Senna Tschudin, K. Kono, G. Muller, J. Lawall : “Oops! What about a Million Kernel Oopses?”, n°RT-0436, 27 pages, INRIA (2013)
• 2012
  • S. Legtchenko, S. Monnet, P. Sens, G. Muller : “RelaxDHT : A Churn Resilient for Peer-to-Peer Distributed Hash-Tables”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7 (2), pp. 28, (ISBN: 1556-4665) (2012)
  • Tegawendé F. Bissyandé, L. Réveillère, J. Lawall, G. Muller : “Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel”, 27^th IEEE/ACM International Conference on Automated Software Engineering, Essen, Germany, pp. 60-69, (ACM) (2012)
  • Jons T. Wamhoff, Ch. Fetzer, P. Felber, E. Riviere, G. Muller : “Fastlane: Streamlining transactions for low thread counts”, TRANSACT 2012 - 7^th ACM SIGPLAN Workshop on Transactional Computing, New Orleans, LA, USA, pp. 1-8, (ACM) (2012)
  • J.‑P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller : “Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications”, Usenix Annual Technical Conference 2012, Boston, USA, pp. 65-76, (USENIX) (2012)
• 2011
  • E. Eide, G. Muller, W. Schröder‑Preikschat, O. Spinczyk : “Summary of PLOS 2011: the sixth workshop on programming languages and operating systems”, Operating Systems Review, vol. 45 (3), pp. 1-4, (ISBN: 0163-5980) (2011)
  • L. Burgy, L. Réveillère, Julia L. Lawall, G. Muller : “Zebu: A Language-Based Approach for Network Protocol Message Processing”, IEEE Transactions on Software Engineering, vol. 37 (4), pp. 575-591 (2011)
  • S. Saha, Julia L. Lawall, G. Muller : “An approach to improving the structure of error-handling code in the Linux kernel”, ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, Chicago, IL, USA, pp. 41-50, (ACM) (2011)
  • F. Hermenier, J. Lawall, J.‑M. Menaud, G. Muller : “Consolidation dynamique d’applications Web haute-disponibilité”, CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, St Malo, France (2011)
  • W. Maldonado, P. Marlier, P. Felber, Julia L. Lawall, G. Muller, E. Riviere : “Deadline-Aware Scheduling for Software Transactional Memory”, Proceedings of the International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, Hong Kong SAR China, pp. 257-268, (IEEE) (2011)
  • N. Palix, G. Thomas, S. Saha, Ch. Calvès, Julia L. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, ASPLOS 2011 - 16^th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, California, USA, pp. 305-318, (ACM) (2011)
  • S. Saha, Julia L. Lawall, G. Muller : “Finding Resource-Release Omission Faults in Linux”, 6^th Workshop on Programming Languages and Operating Systems, Cascais, Portugal, (ACM) (2011)
  • W. Maldonado, P. Marlier, P. Felber, Julia L. Lawall, G. Muller, E. Riviere : “Kernel-Assisted Scheduling and Deadline Support for Software Transactional Memory”, Proceedings of the Conférence Française en Systèmes d'Exploitation (CFSE), Saint-Malo, France (2011)
  • F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma : “Optimisations applicatives pour multi-cœurs NUMA : un cas d’étude avec le serveur web Apache”, CFSE'8 - Conférence Française en Systèmes d'Exploitation, Saint-Malo, France (2011)
  • F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma : “Application-Level Optimizations on NUMA Multicore Architectures: the Apache Case Study”, n°RR-LIG-011, INRIA (2011)
  • F. Hermenier, J. Lawall, J.‑M. Menaud, G. Muller : “Dynamic Consolidation of Highly Available Web Applications”, n°RR-7545, 26 pages, INRIA (2011)
  • J.‑P. Lozi, G. Thomas, J. Lawall, G. Muller : “Efficient locking for multicore architectures”, n°7779, INRIA (Ed.), LIP6/INRIA (2011)
  • T. Bissyandé, L. Réveillère, Julia L. Lawall, G. Muller : “Generation of Debugging Interfaces for Linux Kernel Services”, n°RR-7800, 28 pages, INRIA (2011)
• 2010
  • J. Lawall, R. Hansen, N. Palix, G. Muller : “Improving the security of infrastructure software using Coccinelle”, Ercim News n°83, pp. 54 (2010)
  • E. Eide, G. Muller, O. Spinczyk : “Report on 5^th workshop on programming languages and operating systems (PLOS)”, Operating Systems Review, vol. 43 (4), pp. 31-34, (ISBN: 0163-5980) (2010)
  • Tegawendé F. Bissyandé, L. Réveillère, Y.‑D. Bromberg, Julia L. Lawall, G. Muller : “Bridging the Gap between Legacy Services and Web Services”, Middleware 2010 - ACM/IFIP/USENIX 11^th International Middleware Conference, vol. 6452, Lecture Notes in Computer Science, Bangalore, India, pp. 273-292, (Springer) (2010)
  • F. Gaud, S. Geneves, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma : “Efficient Workstealing for Multicore Event-Driven Systems”, ICDCS 2010 - IEEE 30^th International Conference on Distributed Computing Systems, Genova, Italy, pp. 516-525, (IEEE) (2010)
  • Julia L. Lawall, B. Laurie, R. Hansen, N. Palix, G. Muller : “Finding Error Handling Bugs in OpenSSL Using Coccinelle”, European Dependable Computing Conference, Valencia, Spain, pp. 191-196, (IEEE) (2010)
  • N. Palix, Julia L. Lawall, G. Thomas, G. Muller : “How Often do Experts Make Mistakes?”, Proceedings of 9^th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes et Saint Malo, France, pp. 9-16 (2010)
  • W. Maldonado, P. Marlier, P. Felber, A. Suissa, D. Hendler, A. Fedorova, Julia L. Lawall, G. Muller : “Scheduling support for transactional memory contention management”, Proceedings of the 15^th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10, Bangalore, India, pp. 79-90, (ACM) (2010)
  • N. Palix, Julia L. Lawall, G. Muller : “Tracking code patterns over multiple software versions with Herodotos”, AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Rennes and Saint Malo, France, pp. 169-180, (ACM) (2010)
  • N. Geoffray, G. Thomas, Julia L. Lawall, G. Muller, B. Folliot : “VMKit: a Substrate for Managed Runtime Environments”, VEE '10 - 6^th International Conference on Virtual Execution Environments, Pittsburgh, Pennsylvania, USA, pp. 51-62, (ACM) (2010)
  • “European Conference on Computer Systems, Proceedings of the 5^th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010”, Ch. Morin, G. Muller (Eds.), (ACM), (ISBN: 978-1-60558-577-2) (2010)
  • N. Palix, S. Saha, G. Thomas, Ch. Calvès, Julia L. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, n°RR-7357, 21 pages, INRIA (2010)
  • F. Gaud, S. Geneves, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma : “Mely: Efficient Workstealing for Multicore Event-Driven Systems”, n°RR-7169, 23 pages, INRIA (2010)
• 2009
  • J. Brunel, D. Doligez, R. Hansen, Julia L. Lawall, G. Muller : “A foundation for flow-based program matching: using temporal logic and model checking”, The 36^th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'09, Savannah, Georgia, USA, pp. 114-126, (ACM) (2009)
  • Y.‑D. Bromberg, L. Réveillère, Julia L. Lawall, G. Muller : “Automatic Generation of Network Protocol Gateways”, Middleware 2009 - 10^th International Middleware Conference ACM/IFIP/USENIX, vol. 5896, Lecture Notes in Computer Science, Urbana Champaign, Illinois, USA, pp. 21-41 (2009)
  • S. Legtchenko, S. Monnet, P. Sens, G. Muller : “Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables”, The 11^th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS~2009), vol. 5873, Lecture Notes in Computer Science, Lyon, France, pp. 485-499, (Springer) (2009)
  • F. Hermenier, X. Lorca, J.‑M. Menaud, G. Muller, J. Lawall : “Entropy: a Consolidation Manager for Clusters”, VEE 2009 - 5^th International Conference on Virtual Execution Environments, Washington, DC, USA, pp. 41-50, (ACM) (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, 39^th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2009), Estoril, Portugal, pp. 544-553, (IEEE Computer Society) (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: une machine virtuelle Java pour l’isolation de composants dans OSGi”, 7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Toulouse, France, pp. 1-12 (2009)
  • Julia L. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, G. Muller : “WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code”, DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Lisbon, Portugal, pp. 43-52, (IEEE) (2009)
  • S. Legtchenko, S. Monnet, P. Sens, G. Muller : “Churn-resilient replication strategy for peer-to-peer distributed hash-tables”, n°RR-6897, 21 pages, INRIA (2009)
  • N. Palix, J. Lawall, G. Muller : “Herodotos: A Tool to Expose Bugs’ Lives”, n°RR-6984, 16 pages, INRIA (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, n°RR-6801, 21 pages (2009)
  • W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller : “Transaction Activation scheduling Support for Transactional Memory”, n°RR-6807, 28 pages pages (2009)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot, G. Muller : “VMKit: a Substrate for Virtual Machines”, n°RR-6799, 25 pages, INRIA (2009)