4 Docteurs 2013 - 2022

Publications 2009-2020

• 2020
  • A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia (2020)
  • N. Volanschi, J. Lawall : “The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel”, ASE 2020 - 35^th IEEE/ACM International Conference on Automated Software Engineering, Melbourne / Virtual, Australia (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)
  • Th. Hoang, H. Kang, D. Lo, J. Lawall : “CC2Vec: Distributed Representations of Code Changes”, ICSE 2020 - 42^nd International Conference on Software Engineering, Seoul / Virtual, Korea, Republic of, pp. 518-529, (Association for Computing Machinery) (2020)
  • J.‑J. Bai, J. Lawall, Sh. Hu : “Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel”, ACM Transactions on Computer Systems, vol. 36 (4), pp. 10, (Association for Computing Machinery) (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
  • Z.‑M. Jiang, J.‑J. Bai, J. Lawall, Sh. Hu : “Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection”, ISSRE 2019 - The 30^th International Symposium on Software Reliability Engineering, Berlin, Germany (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)
  • J.‑J. Bai, J. Lawall, Q.‑L. Chen, Sh. Hu : “Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers”, 2019 USENIX Annual Technical Conference, Renton, Washington, United States (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)
  • Th. Hoang, J. Lawall, Richard J. Oentaryo, Y. Tian, D. Lo : “PatchNet: A Tool for Deep Patch Classification”, ICSE-Companion 2019 - IEEE/ACM 41^st International Conference on Software Engineering, Montreal, Canada, pp. 83-86, (IEEE) (2019)
  • J.‑J. Bai, J. Lawall, W. Tan, Sh. Hu : “DCNS: Automated Detection of Conservative Non-Sleep Defects in the Linux Kernel”, ASPLOS '19 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Providence, Rhode Island, United States, pp. 287-299, (ACM) (2019)
  • Q.‑L. Chen, J.‑J. Bai, Z.‑M. Jiang, J. Lawall, Sh. Hu : “Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers”, SANER 2019 - 26^th IEEE International Conference on Software Analysis, Evolution and Reengineering, Hangzhou, China (2019)
  • H. Kang, F. Thung, J. Lawall, G. Muller, L. Jiang, D. Lo : “Automating Program Transformation for Java Using Semantic Patches”, (2019)
• 2018
  • M. Martone, L. Iapichino, N. Hammer, J. Lawall : “Automating Data Layout Conversion in a Large Cosmological Simulation Code”, CoSaS 2018 - International Symposium on Computational Science at Scale, Erlangen, Germany (2018)
  • K. Narasimhan, Ch. Reichenbach, J. Lawall : “Cleaning up Copy-Paste Clones with Interactive Merging”, Automated Software Engineering, vol. 25 (3), pp. 627-673, (Springer Verlag) (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.‑J. Bai, Y.‑P. Wang, J. Lawall, Sh. Hu : “DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules”, 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)
• 2017
  • P. Singh Kochhar, D. Lo, J. Lawall, N. Nagappan : “Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects”, IEEE Transactions on Reliability, vol. 66 (4), pp. 1213-1228, (Institute of Electrical and Electronics Engineers) (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)
  • K. Narasimhan, Ch. Reichenbach, J. Lawall : “Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation”, PEPM 2017 Workshop on Partial Evaluation and Program Manipulation, Paris, France (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
  • F. Thung, D. Le, D. Lo, J. Lawall : “Recommending Code Changes for Automatic Backporting of Linux Device Drivers”, 32^nd IEEE International Conference on Software Maintenance and Evolution (ICSME), Raleigh, North Carolina, United States (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. Blot, P.‑E. Dagand, J. Lawall : “From Sets to Bits in Coq”, FLOPS 2016, Kochi, Japan (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)
  • Luis R. Rodriguez, J. Lawall : “Increasing Automation in the Backporting of Linux Drivers Using Coccinelle”, 11^th European Dependable Computing Conference - Dependability in Practice, 11^th European Dependable Computing Conference - Dependability in Practice, Paris, 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)
  • ripon k. Saha, J. Lawall, S. Khurshid, Dewayne E. Perry : “Are These Bugs Really "Normal"?”, MSR 2015 - The 12^th Working Conference on Mining Software Repositories, Florence, Italy (2015)
  • N. Palix, J.‑R. Falleri, J. Lawall : “Improving pattern tracking with a language-aware tree differencing algorithm”, SANER 2015 - 22^nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - 22^nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Montreal, Canada, pp. 43-52 (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
  • P. Kochhar, F. Thung, D. Lo, J. Lawall : “An Empirical Study on the Adequacy of Testing in Open Source Projects”, 21^st Asia-Pacific Software Engineering Conference, Jeju, Korea, Republic of, pp. 215-222, (IEEE) (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)
  • Mads Chr. Olesen, R. Hansen, J. Lawall, N. Palix : “Coccinelle: Tool support for automated CERT C Secure Coding Standard certification”, Science of Computer Programming, vol. 91 (B), Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, pp. 141–160, (Elsevier) (2014)
  • Sh. Wang, D. Lo, J. Lawall : “Compositional Vector Space Models for Improved Bug Localization”, 30^th International Conference on Software Maintenance and Evolution, Victoria, Canada, pp. 171-180 (2014)
  • ripon k. Saha, Julia L. Lawall, S. Khurshid, D. Perry : “On the Effectiveness of Information Retrieval Based Bug Localization for C Programs”, ICSME 2014 - 30^th International Conference on Software Maintenance and Evolution, Victoria, Canada, pp. 161-170 (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)
  • Y. Tian, D. Lo, J. Lawall : “SEWordSim: software-specific word similarity database”, ICSE Companion 2014 - Companion Proceedings of the 36^th International Conference on Software Engineering, Hyderabad, India, pp. 568-571, (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)
  • Julia L. Lawall : “Coccinelle: reducing the barriers to modularization in a large C code base”, 13^th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, pp. 5-6 (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)
  • Y. Tian, D. Lo, J. Lawall : “Automated construction of a software-specific word similarity database”, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE, Antwerp, Belgium, pp. 44-53, (IEEE) (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
  • F. Thung, Sh. Wang, D. Lo, J. Lawall : “Automatic recommendation of API methods from feature requests”, ASE 2013 - 28^th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, California, United States, pp. 290-300, (IEEE) (2013)
  • F. Thung, D. Lo, J. Lawall : “Automated library recommendation”, WCRE 2013 - 20^th Working Conference on Reverse Engineering, Koblenz, Germany, pp. 182-191, (IEEE) (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
  • J. Lawall, J. Jongwane : “Le logiciel libre dans la recherche”, Interstices, (INRIA) (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)
  • 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)
  • Y. Tian, J. Lawall, D. Lo : “Identifying Linux bug fixing patches”, ICSE '12 Proceedings of the 34^th International Conference on Software Engineering, Zurich, Switzerland, pp. 386-396, (ACM) (2012)
• 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)
  • 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. Hermenier, J. Lawall, J.‑M. Menaud, G. Muller : “Dynamic Consolidation of Highly Available Web Applications”, 26 pages (2011)
  • D. Cassou, E. Balland, Ch. Consel, J. Lawall : “Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications”, ICSE'11: Proceedings of the 33^rd International Conference on Software Engineering, Honolulu, HI, United States, pp. 431-440, (ACM) (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)
  • 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)
  • 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)
  • 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)
  • 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
  • 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)
  • 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)
  • N. Palix, J. Lawall, G. Muller : “Herodotos: A Tool to Expose Bugs’ Lives”, 16 pages (2009)
  • W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller : “Transaction Activation scheduling Support for Transactional Memory”, 28 pages pages (2009)