MULLER Gilles

Directeur de Recherche
Équipe : REGAL
Date de départ : 31/12/2014
https://lip6.fr/Gilles.Muller

Date de départ : 31/12/2014

12 Docteurs 2011 - 2020

Publications 2009-2021

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)
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)
- V. 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”, Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC '12), Boston, MA, United States, (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)