I work at INRIA Bordeaux - Sud-Ouest as a Research Scientist. I'm a member of the Phoenix project team.
Scientific interests
- Programming Languages
- Domain Specific Languages
- Term and Graph Rewriting
- Program Transformation and Analysis
- Digital Assistance
Projects
- Coordinator of the SERUS ARC (join-project with the TSF-LAAS and the ADAM research groups)
- DiaSuite: a Development Environment for Pervasive Computing Application
- Tom: a Java Language Extension for defining Transformations
- Former member of the ANR Ravaj project (Rewriting and Approximations for Java Applications Verification)
Events
- SLE 2012: 5th International Conference on Software Language Engineering
- WRLA 2012: 9th International Workshop on Rewriting Logic and its Applications (Co-located with ETAPS 2012)
- PEPM 2012: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (Co-located with POPL 2012)
- LDTA 2012: 12th Workshop on Language Descriptions, Tools and Applications (Co-located with ETAPS 2012)
- DSL 2011: 2th IFIP Working Conference on Domain Specific Languages
- WASDeTT 2011: 4th International Workshop on Academic Software Development Tools and Techniques (Co-located with ECOOP 2011)
- LDTA 2011: 11th Workshop on Language Descriptions, Tools and Applications (Co-located with ETAPS 2011)
Contact
- Address : Bureau 204 A - Bâtiment A29 - INRIA Bordeaux-Sud Ouest 351 cours de la Libération 33405 Talence
- Phone Number : +33 (0)5 24 57 41 11
- E-mail : emilie.balland_at_inria_dot_fr
Publications
2011
Articles in peer-reviewed journal
- Titre
- Towards a Tool-based Development Methodology for Pervasive Computing Applications
- Auteurs
- Damien Cassou
; Julien Bruneau; Charles Consel; Emilie Balland - Détail
- IEEE TSE: Transactions on Software Engineering, IEEE Computer Society, 2011
- Accès au texte intégral et bibtex
-
Peer-reviewed conferences/proceedings
- Titre
- Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
- Auteurs
- Damien Cassou; Emilie Balland; Charles Consel; Julia Lawall
- Détail
- ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. ACM, pp. 431-440
- Accès au texte intégral et bibtex
-
- Titre
- A Step-wise Approach for Integrating QoS throughout Software Development
- Auteurs
- Stéphanie Gatti; Emilie Balland; Charles Consel
- Détail
- FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, Mar 2011, Sarrebruck, Germany. Springer, 6603, pp. 217-231, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
- Auteurs
- Damien Cassou; Charles Consel; Emilie Balland; Julia Lawall
- Détail
- GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Jun 2011, Lille, France. pp. 33-34
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- Design-driven Development of Safety-critical Applications: A Case Study In Avionics
- Auteurs
- Julien Bruneau; Quentin Enard; Stéphanie Gatti; Emilie Balland; Charles Consel
- Détail
- [Technical Report], 2011
- Accès au texte intégral et bibtex
-
2010
Peer-reviewed conferences/proceedings
- Titre
- Towards a Tool-based Development Methodology for Sense/Compute/Control Applications (Poster)
- Auteurs
- Damien Cassou; Julien Bruneau; Julien Mercadal; Quentin Enard; Emilie Balland; Nicolas Loriant; Charles Consel
- Détail
- SPLASH'10: Proceedings of the 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2010, Reno/Tahoe, United States. ACM, pp. 1-2
- Accès au texte intégral et bibtex
-
- Titre
- Open Platforms: New Challenges for Software Engineering
- Auteurs
- Emilie Balland; Charles Consel
- Détail
- PSIEtA'10: Proceedings of the International Workshop on Programming Support Innovations for Emerging Distributed Applications, Oct 2010, Reno, United States. ACM Digital Library
- Accès au texte intégral et bibtex
-
- Titre
- The Third Rewrite Engines Competition
- Auteurs
- Francisco Durán; Manuel Roldan; Jean-Christophe Bach; Emilie Balland; Mark Van Den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje De Jonge; Karl Trygve Kalleberg; Lennart C.L. Kats; Pierre-Etienne Moreau; Eelco Visser
- Détail
- Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, Rewriting Logic and Its Applications, 6381, pp. 243-261, Lecture Notes in Computer Science
- Accès au bibtex
-
2009
Peer-reviewed conferences/proceedings
- Titre
- The Second Rewrite Engines Competition
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau; Mark Van Den Brand; Eelco Visser; Francisco Duran; Manuel Roldan; Steven Eker; Karl Trygve Kalleberg; Lennart C. L. Kats; Ruslan Schevchenko
- Détail
- WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary. 2009
- Accès au bibtex
-
Research reports
- Titre
- Tom Manual
- Auteurs
- Jean-Christophe Bach; Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
- Détail
- [Technical Report], 2009, pp. 155
- Accès au texte intégral et bibtex
-
Thesis
- Titre
- Conception d'un langage dédié à l'analyse et la transformation de programmes
- Auteurs
- Emilie Balland
- Détail
- informatique. Université Henri Poincaré - Nancy I, Mar. 2009. French
- Accès au texte intégral et bibtex
-
2008
Peer-reviewed conferences/proceedings
- Titre
- Term-graph rewriting in Tom using relative positions
- Auteurs
- Emilie Balland; Paul Brauner
- Détail
- Ian Mackie. 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. Elsevier, TERMGRAPH 2007, 203, pp. 3-17, 2008, Electronic Notes in Theoretical Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Term-graph rewriting via explicit paths
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau
- Détail
- Andrei Voronkov. RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. Springer, RTA, 5117, pp. 32-47, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Towards an Efficient Implementation of Tree Automata Completion
- Auteurs
- Emilie Balland; Yohan Boichut; Thomas Genet; Pierre-Etienne Moreau
- Détail
- José Meseguer and Grigore Rosu. 12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. Springer, 5140, pp. 67-82, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
2007
Peer-reviewed conferences/proceedings
- Titre
- Bytecode rewriting in Tom
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles
- Détail
- Marieke Huisman and Fausto Spoto. Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. ELSEVIER, BYTECODE 2007, 190, pp. 19-33, ENTCS
- Accès au texte intégral et bibtex
-
- Titre
- Tom: Piggybacking rewriting on java
- Auteurs
- Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
- Détail
- Conference on Rewriting Techniques and Applications - RTA'07, Jun 2007, Paris/France, France. Springer-Verlag, Proceedings of the 18th Conference on Rewriting Techniques and Applications, 4533, pp. 36-47, LNCS
- Accès au texte intégral et bibtex
-
- Titre
- Rewriting Strategies in Java
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau; Antoine Reilles
- Détail
- The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France. ENTCS
- Accès au texte intégral et bibtex
-
2006
Peer-reviewed conferences/proceedings
- Titre
- Optimizing pattern matching compilation by program transformation
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau
- Détail
- Reiko Heckel and Jean-Marie Favre and Tom Mens. 3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil. EASST, Software Evolution through Transformations 2006, 3, Electronic Communications of EASST
- Accès au texte intégral et bibtex
-
- Titre
- Formal Islands
- Auteurs
- Emilie Balland; Claude Kirchner; Pierre-Etienne Moreau
- Détail
- Michael Johnson and Varmo Vene. 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. Springer, Algebraic Methodology and Software Technology, 11th International Conference, 4019, pp. 51-65, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
Invited conferences
- Titre
- Modular Formal Islands: Embed theory in your practice
- Auteurs
- Emilie Balland; Claude Kirchner; Pierre-Etienne Moreau; Anderson Santana De Oliveira
- Détail
- Third Taiwanese-French Conference on Information Technology - TFIT 2006, Mar 2006, Nancy/France.
- Accès au texte intégral et bibtex
-
Research reports
- Titre
- Optimizing pattern matching compilation by program transformation
- Auteurs
- Emilie Balland; Pierre-Etienne Moreau
- Détail
- [Technical Report], 2006, pp. 19
- Accès au texte intégral et bibtex
-
2005
Research reports
- Titre
- Optimisation du filtrage par transformations de programmes
- Auteurs
- Emilie Balland
- Détail
- [Stage], 2005, pp. 43
- Accès au texte intégral et bibtex
-
Teaching
- Software Development guided by modeling and verification (ENSEIRB 2010-2012):
- Course 1: Introduction & Automata-based Modeling (slides)
- Course 2: Timed Automata (slides)
- Course 3: UPPAAL Lab (phone server)
- Course 4: Model-Checking with UPPAAL (slides)
- Course 5: Practical Lab NSPK (correction)
- Course 6: Practical Lab Exam
- Distributed applications (ESIAL 2008-2009)
- Compilation (ESIAL 2008-2009)
- Discrete Mathematics (ESIAL 2008-2009)
- Object Programming (UHP 2005-2008, ESIAL 2008-2009)
- Functional programming (UHP 2006-2007)
- Data structures and introduction to C programming (UHP 2006-2007)
- Simulator of a RISC-style processor (UHP 2005-2006)
