Anne-Françoise Le Meur

Member of the ADAM INRIA project-team / Goal group

Address :	INRIA Lille - Nord Europe ADAM Project-Team - Bureau 201 Parc Scientifique de la Haute Borne 40 Avenue Halley- Bât A, park Plaza          59650 Villeneuve d'Ascq - France	Université des Sciences et Technologies de Lille  - LIFL Bâtiment Annexe M3  - Bureau 204 59655 Villeneuve d'Ascq Cédex FRANCE
Tel :	+33 (0) 3 59 57 78 70	+33 (0) 3 28 77 85 82
Fax :	+33 (0) 3 59 57 78 50	+33 (0) 3 28 77 85 37
Email :	Anne-Francoise.Le_Meur[at]inria.fr	Anne-Francoise.Le-Meur[at]lifl.fr

Who I am

Currently	Maître de Conférences (Associate Professor) at LIFL (University of Lille 1), France
Formerly	Postdoc research fellow at DIKU, Copenhagen, Denmark
	ATER (Research and teaching assistant) at ENSEIRB , Bordeaux, France
	Ph.D. student in the Compose Group of IRISA (University of Rennes 1 ) and LaBRI (University of Bordeaux 1 ), France
	Masters student at OGI , Portland, USA

Research Interests

• Domain-Specific Languages
• Component-Based Software Architectures
• Adaptative and Configurable Software Components
• Program Specialization
• Operating Systems
• Aspect Oriented Programming

Activities and Events

Program Committees and other activities

4th International MCETECH Conference on eTechnologies, 4-6 May 2009, Ottawa, Canada

4th Domain-Specific Aspect Languages Workshop (at AOSD 2009)

7th International Conference on Generative Programming and Component Engineering, Nashville, Tennessee, October 19-23, 2008 (GPCE 2008)

3rd Domain-Specific Aspect Languages Workshop (at AOSD 2008)

Workshop on Partial Evaluation and Program Manipulation (PEPM’08), January 7-8, 2008 San Francisco, USA, co-located with POPL'08

Workshop on Automatic Program Generation for Embedded Systems in association with GPCE 07

6th International Conference on Generative Programming and Component Engineering, Salzburg, Austria, October 1 - 3, 2007 (GPCE 2007)

2nd Domain-Specific Aspect Languages Workshop (at AOSD 2007)

1st Domain-Specific Aspect Languages Workshop (at GPCE 2006)

IFIP Working Conference on Software Engineering Techniques (SET 2006)

4th International Conference on Generative Programming and Component Engineering (GPCE'05)    

Research contracts

RNTL FAROS (2006-09) : Contracts composition for the reliability of service-based architectures

Publications

• From a Domain Analysis to the Specification and Detection of Code and Design Smells

Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien, and Alban Tiberghien

In Formal Aspects of Computing, 2009, special issue dedicated to FASE'08. Springer. DOI: 10.1007/s00165-009-0115-x

• DECOR: A Method for the Specification and Detection of Code and Design Smells

Naouel Moha, Yann-Gaël Guéhéneuc, Laurence Duchien, and Anne-Françoise Le Meur

In IEEE Transactions on Software Engineering (to appear)

• A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems

Guillaume Waignier, Anne-Françoise Le Meur and Laurence Duchien

In Proceedings of the 5th International Conference on the Quality of Software-Architectures (QoSA 2009), Pennsylvania, USA, jun 2009 (to appear)

• Architectural Specification and Static Analyses of Contractual Application Properties

G. Waignier, A.-F. Le Meur, L. Duchien

In Proceedings of the 4th International Conference on the Quality of Software-Architectures (QoSA 2008), pages 152-170, Karlsruhe (TH), Germany, oct 2008

• A Model-Based Framework for Statically and Dynamically Checking Component Interactions

G. Waignier, P. Sriplakich , A.-F. Le Meur, L. Duchien

In Proceedings of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS’08), pages 371-385, Toulouse, France, 28 sept - 3 oct 2008

• A Framework for Bridging the Gap Between Design and Runtime Debugging of Component-Based Applications

Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur and Laurence Duchien.

In Proceedings of the 3rd International Workshop on Models@runtime 2008, pages 87-96, Toulouse, France, 30 sept 2008

• Enabling Dynamic Co-Evolution of Models and Runtime Applications

P. Sriplakich, G. Waignier, A.-F. Le Meur

In Proceedings of the 1st IEEE International Workshop on Model-Driven Development of Autonomic Systems (MDDAS 2008), Turku, Finland, jul 2008

• A domain Analysis to Specify Design Defects and Generate Detection Algorithms
  N. Moha, Y.-G. Guéhéneuc, A.-F. Le Meur, L. Duchien
  In the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), pages 276-291, Budapest, 29 March - 6 April 2008

• Génération automatique d’algorithmes de détection des défauts de conception

N. Moha, F. Khomh, Y.-G. Guéhéneuc, L. Duchien, A.-F. Le Meur

In Mireille Blay-Fornarino, editor, Actes du 14^ème colloque Langages et Modèles à Objets, mars 2008. Éditions Cépaduès

• Software Architecture Evolution

O. Barais, A.-F. Le Meur, J. Lawall, L. Duchien

In Software Evolution, Tom Mens and Serge Demeyer (Eds.), pages 233-262, Springer Verlag, 2007

• FIESTA : A Generic Framework for Integrating New Functionalities into Software Architectures

G. Waignier, A.-F. Le Meur, L. Duchien

In International Journal of Cooperative Information Systems (IJCIS), Vol. 16, pages 367-391, 2007.

(Extended version of FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (ECSA’07))

• DSAL '07: Proceedings of the 2nd workshop on Domain-Specific Aspect Languages

Johan Fabry, Damijan Rebernak, Thomas Cleenewerck, Anne-Françoise Le Meur, Jacques Noyé, and Éric Tanter, editors

Vancouver, British Columbia, Canada, 2007. ACM Press

• FIESTA : A Generic Framework for Integrating New Functionalities into Software Architectures

G. Waignier, A.-F. Le Meur, L. Duchien
In the 1st European Conference on Software Architecture (ECSA'07), pages 76-91, Aranjuez (Madrid), Spain, September 2007

• Discussion on the Results of the Detection of Design Defects

N. Moha, Y.-G. Guéhéneuc, L. Duchien, A.-F. Le Meur
In the 10th ECOOP Workshop on Object-Oriented Reengineering (WOOR’07), Berlin, Germany, July 2007.

• DSAL '06: Proceedings of the first workshop on Domain-Specific Aspect Languages

Éric Tanter, Eric Cleenewerck, Fabry Thomas, Anne-Françoise Le Meur, and Jacques Noyé, editors

Portland, Oregon, USA, 2006. 2006. Vrije Universiteit Brussel. Note: VUB-PROG-TR-06-33

• A Generic Framework for Integrating New Functionalities into Software Architectures

G. Waignier, A.-F. Le Meur, L. Duchien
In the 2nd International ECOOP Workshop on Architecture Centric Evolution (ACE'06), Nantes, France, 3rd July 2006

• Safe Integration of New Concerns in a Software Architecture: Overview of the Implementation

H.-M. Tran, O. Barais, A.-F. Le Meur, L. Duchien
In the 2nd International ECOOP Workshop on Architecture Centric Evolution (ACE'06), Nantes, France, 3rd July 2006

• Safe Integration of New Concerns in a Software Architecture

O. Barais, J. Lawall, A.-F. Le Meur, L. Duchien
In the 13th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS 2006), pages 52-61, Potsdam, Germany, 27th-30th March 2006

• Providing Support for Safe Software Architecture Transformations

O. Barais, J. Lawall, A.-F. Le Meur, L. Duchien
In Working Session of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA 2005), 2 pages, Pittsburg, PA, USA, November 2005

• Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language

J. L. Lawall, H. Duchesne, G. Muller, A.-F. Le Meur
In the ACM SIGPLAN and SIGSOFT Fourth International Conference on Generative Programming and Component Engineering (GPCE'05), pages 78-93, Tallinn, Estonia, September 29th - October 1st, 2005

• A Framework to Specify Incremental Software Architecture Transformations

O. Barais, L. Duchien, A.-F. Le Meur
In 31th Euromicro Conference, Component-Based Software Engineering Track, pages 62-69, Porto, Portugal, August 30st - September 3rd, 2005

• Automatic Specialization of Protocol Stacks in Operating System Kernels

S. Bhatia, C. Consel, A.-F. Le Meur, C. Pu
In 29th IEEE Conference on Local Computer Networks (LCN'04), pages 152-159, Tampa, Florida, USA, November 16-18, 2004

• On the Design of a Domain-Specific Language for OS Process-Scheduling Extensions

J. L. Lawall, A.-F. Le Meur, G. Muller
In ACM SIGPLAN and SIGSOFT Third International Conference on Generative Programming and Component Engineering (GPCE'04), pages 436-455, Vancouver, Canada, October 24-28, 2004

• Modularity for the Bossa Process-Scheduling Language

J. L. Lawall, A.-F. Le Meur, G. Muller
In ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS'2004), Oslo, Norway, June 15, 2004
Technical report TR-ICS-04-22, Donald Bren School of Information and Computer Science, University of California, Irvine. pages 1-5

• A Tour of Tempo: A Program Specializer for the C Language

C. Consel, J. L. Lawall, A.-F. Le Meur
In Science of Computer Programming, Vol 52, pages 341-370, 2004

• Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization

A.-F. Le Meur, J. L. Lawall, C. Consel
In Higher-Order and Symbolic Computation, Vol. 17, Issue 1, pages 47-92, 2004
(Revised and extended version of Towards Bridging the Gap Between Programming Languages and Partial Evaluation (PEPM'02))

• On the automatic evolution of an OS kernel using temporal logic and AOP

R.A. Åberg, J. L. Lawall, M. Südholt, G. Muller, A.-F. Le Meur
In IEEE Automated Software Engineering 2003 (ASE 2003), pages 196-204, Montreal, Canada, October, 2003

• A Declarative Approach to C Program Specialization (in French)

A.-F. Le Meur
PhD Thesis, University of Rennes 1, December 2002

• An Environment for Building Customizable Software Components

A.-F. Le Meur, C. Consel, B. Escrig
In IFIP/ACM Conference on Component Deployment, pages 1-14, Berlin, Germany, June 20-21 2002

• Towards Bridging the Gap Between Programming Languages and Partial Evaluation

A.-F. Le Meur, J. L. Lawall, C. Consel
In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), pages 9-18, Portland, OR, USA, January 14-15 2002

• Configurabilité des composants garantie par les modules de spécialisation

A.-F. Le Meur, C. Consel
Journées composants : flexibilité du système au langage, Besançon, France, October 2001

• Guaranteed Configurability of Components Via Specialization Modules

A.-F. Le Meur, C. Consel, B. Escrig
LaBRI Research Report 1256-01, April 2001

• Generic Software Component Configuration Via Partial Evaluation

A.-F. Le Meur, C. Consel
In SPLC'2000 Workshop on Product Line Architecture, Denver, USA, August 2000

---

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

---