Research activity

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.

12 PhD graduated 2011 - 2020

2009-2022 Publications

• 2022
  • J. Lawall, H. Chhaya‑Shailesh, J.‑P. Lozi, B. Lepers, W. Zwaenepoel, G. Muller : “OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores”, EuroSys 2022 - Seventeenth European Conference on Computer Systems, Rennes, France (2022)
• 2021
  • D. Mvondo, A. Barbalace, A. Tchana, G. Muller : “Tell me when you are sleepy and what may wake you up!”, SoCC 2021 - ACM Symposium on Cloud Computing, Seattle WA USA, United States, pp. 562-569, (ACM) (2021)
  • A. Amalou, I. Puaut, G. Muller : “WE-HML: hybrid WCET estimation using machine learning for architectures with caches”, RTCSA 2021 - 27^th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Online Virtual Conference, France, pp. 1-10, (IEEE) (2021)
  • S. Haryono, F. Thung, D. Lo, L. Jiang, J. Lawall, H. Jin Kang, L. Serrano, G. Muller : “AndroEvolve: Automated Update for Android Deprecated-API Usages”, 2021 IEEE/ACM 43^rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Madrid / Virtual, Spain, pp. 1-4, (IEEE) (2021)
  • B. Teabe Djomgwe, P. Yuhala, A. Tchana, F. Hermenier, D. Hagimont, G. Muller : “(No)Compromis: Paging Virtualization Is Not a Fatality”, à paraître, Détroit, Michigan / Virtual, United States, pp. 1-12 (2021)
  • Y. Ghigoff, J. Sopena, K. Lazri, A. Blin, G. Muller : “BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing”, NSDI'21 - 18^th USENIX Symposium on Networked Systems Design and Implementation, Virtual event, United States, pp. 487-501, (USENIX Association) (2021)
  • D. Tu, B. Teabe Djomgwe, A. Tchana, G. Muller, D. Hagimont : “Mitigating vulnerability windows with hypervisor transplant”, EuroSys '21: Proceedings of the Sixteenth European Conference on Computer Systems, Edinburgh / Virtual, United Kingdom, pp. 1-14, (Association for Computing Machinery) (2021)
• 2020
  • R. Gouicem, D. Carver, J.‑P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. Lawall, G. Muller : “Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance”, 2020 USENIX Annual Technical Conference, Boston / Virtual, United States (2020)
  • L. Serrano, V.‑A. Nguyen, F. Thung, L. Jiang, D. Lo, J. Lawall, G. Muller : “SPINFER: Inferring Semantic Patches for the Linux Kernel”, USENIX Annual Technical Conference, Boston / Virtual, United States (2020)
  • S. Haryono, F. Thung, H. Kang, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example”, ICPC 2020 - 28^th IEEE/ACM International Conference on Program Comprehension - ERA track, Seoul / Virtual, Korea, Republic of (2020)
  • B. Lepers, R. Gouicem, D. Carver, J.‑P. Lozi, N. Palix, M.‑V. Aponte, W. Zwaenepoel, J. Sopena, J. Lawall, G. Muller : “Provable Multicore Schedulers with Ipanema: Application to Work Conservation”, Eurosys 2020 - European Conference on Computer Systems, Heraklion / Virtual, Greece (2020)
  • F. Thung, S. Haryono, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automated Deprecated-API Usage Update for Android Apps: How Far Are We?”, SANER 2020 - 27^th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), London, Ontario, Canada, pp. 602-611, (IEEE) (2020)
• 2019
  • C. Courtaud, J. Sopena, G. Muller, D. Gracia : “Improving Prediction Accuracy of Memory Interferences for Multicore Platforms”, RTSS 2019 - 40^th IEEE Real-Time Systems Symposium, Hong-Kong, China, (IEEE) (2019)
  • D. Carver, R. Gouicem, J.‑P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. Lawall, G. Muller : “Fork/Wait and Multicore Frequency Scaling: a Generational Clash”, 10^th Workshop on Programming Languages and Operating Systems, Huntsville, Canada, pp. 53-59, (ACM Press) (2019)
  • H. Kang, F. Thung, J. Lawall, G. Muller, L. Jiang, D. Lo : “Semantic Patches for Java Program Transformation”, 33^rd European Conference on Object-Oriented Programming (ECOOP 2019), vol. 134, Leibniz International Proceedings in Informatics (LIPIcs), London, United Kingdom, pp. 22:1-22:27, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2019)
  • G. Lena Cota, S. Ben Mokhtar, G. Gianini, E. Damiani, J. Lawall, G. Muller, L. Brunie : “RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems”, IEEE Transactions on Dependable and Secure Computing, vol. 16 (4), pp. 635-650, (Institute of Electrical and Electronics Engineers) (2019)
  • R. Gouicem, J. Sopena, J. Lawall, G. Muller, B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix : “Understanding scheduler performance : a feature-based approach”, Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Anglet, France (2019)
  • H. Kang, F. Thung, J. Lawall, G. Muller, L. Jiang, D. Lo : “Automating Program Transformation for Java Using Semantic Patches”, (2019)
  • B. Bui, D. Mvondo, B. Teabe, K. Jiokeng, L. Wapet, A. Tchana, G. Thomas, D. Hagimont, G. Muller, N. Depalma : “When eXtended Para-Virtualization (XPV) meets NUMA”, EuroSys '19 Proceedings of the Fourteenth EuroSys Conference 2019, Dresde, Germany, pp. 7, (ACM Press) (2019)
• 2018
  • J. Lawall, G. Muller : “Coccinelle: 10 Years of Automated Evolution in the Linux Kernel”, 2018 USENIX Annual Technical Conference, Boston, MA, United States (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, United States (2018)
  • D. Mercadier, P.‑E. Dagand, L. Lacassagne, G. Muller : “Usuba, Optimizing & Trustworthy Bitslicing Compiler”, WPMVP’18 - Workshop on Programming Models for SIMD/Vector Processing, Vienna, Austria, (ACM Press) (2018)
• 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, United States, pp. 12 (2017)
  • R. Gouicem, J. Sopena, J. Lawall, G. Muller, B. Lepers, W. Zwaenepoel, J.‑P. Lozi, N. Palix : “Ipanema : un langage dédié pour le développement d’ordonnanceurs multi-coeur sûrs”, Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Sophia Antipolis, France (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, United States (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)
  • G. Lena 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, United States, pp. 603-614 (2017)
• 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)
  • J. Lawall, Q. Lambert, G. Muller : “Prequel: A Patch-Like Query Language for Commit History Search”, (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”, (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)
• 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, Julia L. Lawall, A. Bottaro : “Preventing Memory and Information LeakageIncinerator – Eliminating Stale References in Dynamic OSGi Applications”, 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Rio de Janeiro, Brazil, (IEEE) (2015)
  • W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller, É. Rivière : “Supporting Time-Based QoS Requirements in Software Transactional Memory”, ACM Transactions on Parallel Computing, vol. 2 (2), pp. 27, (Association for Computing Machinery) (2015)
  • K. Attouchi, G. Thomas, G. Muller, J. Lawall, A. Bottaro : “Incinerator - Eliminating stale references in dynamic OSGi applications”, Proceedings DSN 2015 : 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Rio De Janeiro, Brazil, pp. 545-554, (IEEE) (2015)
• 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, United States, pp. 291-307, (ACM) (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)
  • N. Palix, G. Thomas, S. Saha, Ch. Calvès, G. Muller, J. Lawall : “Faults in Linux 2.6”, ACM Transactions on Computer Systems, vol. 32 (2), pp. 1-40, (Association for Computing Machinery) (2014)
  • L. Guo, J. Lawall, G. Muller : “Oops! Where Did That Code Snippet Come From?”, MSR 2014 Proceedings of the 11^th Working Conference on Mining Software Repositories, Hyderabad, India, pp. 52-61, (ACM) (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, (Springer Verlag) (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)
  • F. David, G. Thomas, J. Lawall, G. Muller : “Continuously Measuring Critical Section Pressure with the Free Lunch Profiler”, 24 pages (2014)
  • K. Attouchi, G. Thomas, A. Bottaro, Julia L. Lawall, G. Muller : “Incinerator - Eliminating Stale References in Dynamic OSGi Applications”, 22 pages (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)
• 2013
  • G. Muller, J. Jongwane : “Quand les écrans deviennent bleus”, Interstices, (INRIA) (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, (Wiley) (2013)
  • L. Guo, P. Senna Tschudin, K. Kono, G. Muller, J. Lawall : “Oops! What about a Million Kernel Oopses?”, 27 pages (2013)
  • S. Saha, J.‑P. Lozi, G. Thomas, J. 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)
  • J. 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, (Wiley) (2013)
  • P. Senna Tschudin, 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, United States, (ACM) (2013)
  • F. Hermenier, J. 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, (Institute of Electrical and Electronics Engineers) (2013)
• 2012
  • Tegawendé F. Bissyandé, L. Réveillère, Julia L. 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)
  • 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, (Association for Computing Machinery (ACM)) (2012)
  • J.‑P. Lozi, F. David, G. Thomas, Julia L. Lawall, G. Muller : “Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications”, Usenix Annual Technical Conference 2012, Boston, United States, pp. 65-76, (ACM) (2012)
  • J. Wamhoff, Ch. Fetzer, P. Felber, É. Rivière, G. Muller : “Fastlane: Streamlining transactions for low thread counts”, TRANSACT 2012 - 7^th ACM SIGPLAN Workshop on Transactional Computing, New Orleans, LA, United States, pp. 1-8, (ACM) (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, (Association for Computing Machinery) (2011)
  • J.‑P. Lozi, G. Thomas, Julia L. Lawall, G. Muller : “Efficient locking for multicore architectures”, 30 pages (2011)
  • T. Bissyandé, L. Réveillère, Julia L. Lawall, G. Muller : “Generation of Debugging Interfaces for Linux Kernel Services”, 28 pages (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, É. Rivière : “Deadline-Aware Scheduling for Software Transactional Memory”, Proceedings of the International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, Hong Kong, pp. 257-268, (IEEE) (2011)
  • F. Hermenier, Julia L. Lawall, J.‑M. Menaud, G. Muller : “Consolidation dynamique d’applications Web haute-disponibilité”, CFSE - 8^e Conférence Francophone sur les Systèmes d'Exploitation, St 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)
  • W. Maldonado, P. Marlier, P. Felber, Julia L. Lawall, G. Muller, É. Rivière : “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)
  • 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, United States, pp. 41-50, (ACM) (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, United States, pp. 305-318, (ACM) (2011)
  • F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma : “Application-Level Optimizations on NUMA Multicore Architectures: the Apache Case Study”, (2011)
  • F. Hermenier, J. Lawall, J.‑M. Menaud, G. Muller : “Dynamic Consolidation of Highly Available Web Applications”, 26 pages (2011)
  • L. Burgy, L. Réveillère, J. Lawall, G. Muller : “Zebu: A Language-Based Approach for Network Protocol Message Processing”, IEEE Transactions on Software Engineering, vol. 37 (4), pp. 575-591, (Institute of Electrical and Electronics Engineers) (2011)
• 2010
  • J. Lawall, R. Hansen, N. Palix, G. Muller : “Improving the Security of Infrastructure Software using Coccinelle.”, ERCIM News n°83, pp. 54, (ERCIM) (2010)
  • N. Palix, S. Saha, G. Thomas, Ch. Calvès, J. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, 21 pages (2010)
  • F. Gaud, S. Genevès, 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)
  • J. Lawall, B. Laurie, R. Hansen, N. Palix, G. Muller : “Finding Error Handling Bugs in OpenSSL Using Coccinelle”, Proceeding of the 8^th European Dependable Computing Conference, EDCC 2010, Valencia, Spain, pp. 191-196 (2010)
  • N. Palix, J. 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 (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)
  • F. Gaud, S. Genevès, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma : “Mely: Efficient Workstealing for Multicore Event-Driven Systems”, 23 pages (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)
  • 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, (Association for Computing Machinery) (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)
  • Ch. Morin, G. Muller : “European Conference on Computer Systems, Proceedings of the 5^th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010”, EuroSys '10, Paris, France, (ACM), (ISBN: 978-1-60558-577-2) (2010)
  • N. Geoffray, G. Thomas, J. Lawall, G. Muller, B. Folliot : “VMKit: a substrate for managed runtime environments”, VEE '10 - 6^th International Conference on Virtual Execution Environments, Pittsburgh, Pennsylvania, United States, pp. 51-62, (ACM) (2010)
• 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)
  • 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”, Actes de la 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)
  • J. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, G. Muller : “WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code”, Proceedings of the International Conference on Dependable Systems and Networks, Lisbon, Portugal, pp. 43-52, (IEEE) (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) (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, United States, pp. 114-126, (ACM) (2009)
  • Y.‑D. Bromberg, L. Réveillère, J. 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, United States, pp. 21-41, (Springer) (2009)
  • F. Hermenier, X. Lorca, J.‑M. Menaud, G. Muller, Julia L. Lawall : “Entropy: a Consolidation Manager for Clusters”, ACM SIGPLAN/SIGOPS, Washington, DC, United States, pp. 41-50, (ACM) (2009)
  • S. Legtchenko, S. Monnet, P. Sens, G. Muller : “Churn-resilient replication strategy for peer-to-peer distributed hash-tables”, 21 pages (2009)
  • N. Palix, J. Lawall, G. Muller : “Herodotos: A Tool to Expose Bugs’ Lives”, 16 pages (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”, 21 pages (2009)
  • W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller : “Transaction Activation scheduling Support for Transactional Memory”, 28 pages pages (2009)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot, G. Muller : “VMKit: a Substrate for Virtual Machines”, 25 pages (2009)