Main Objective.

EVREF will explore how Virtual Machines are designed as a whole, and how they are optimised for a large range of concerns that include not only execution speed but also energy and space consumption, for applicability in security, green computing, IoT and robotics. Such research effort will take place in the context of the Pharo virtual machines and its associated production chain.

• A transpilation chain. Based on our current architecture, we will design a transpilation chain that will take into account heuristics (memory, concurrency, shipset, speed).
• Metamodeling and DSL for VM building. VM optimisations are complex and spread over many aspects of the logic, we will evaluate how such optimisations can be represented and extracted to be recomposed using a domain specific language.
• JIT compilers and optimizers. Building modern Just in time compilers and native dynamic optimizers is a difficult task but key to support modern language execution, we want to assess the design and architecture of alternative dynamic optimizers.
• New Evaluation Methodologies. A VM is a complex piece of software with adaptative behavior. We will work on ways to measure performance to be able to gather actionable information.

5.2.1 Environment

Work on the execution environment of the Pharo programming language allows us to both improve performance and lower energy consumption. Having the expertise and responsibility over the virtual machine puts EVREF in a position where the team can easily make performance-efficiency tradeoffs where necessary. These options would not be available for EVREF if the team used a more traditional software stack.

Reengineering, in the context of software development, can be comprehended as a form of “recycling”. This process is akin to giving a new lease of life to existing systems. Our innovative tools enable companies to extend the lifecycle of their software systems significantly. By doing so, they can continue utilizing their current systems for a more extended period, thereby curtailing the need to invest in entirely new projects. This approach not only optimizes resource utilization but also substantially lessens the environmental footprint associated with software development. The reduced frequency of creating new software from scratch means less energy consumption and waste generation during the development process. Moreover, this practice aligns seamlessly with sustainable development goals, as it promotes efficient use of resources and minimizes the ecological impact of technological advancement. In essence, through reengineering, companies can achieve a dual objective: enhancing the longevity and functionality of their software while contributing positively to environmental conservation.

5.2.2 Social

All software we develop as part of our research is released as Open Source, all our publications are available in the HAL archive.

7.1.1 Moose

• Name:
  Moose: Software Analysis and Re-engineering Platform
• Keywords:
  Software engineering, Meta model, Software visualisation, Parsing, Software quality, Code analysis
• Scientific Description:

  Moose is a program manipulation platform based on a generic meta-model of programming languages.

  A collection of atomic properties of programming languages ​​(eg. an entity has a name, it can be invoked, it has a type, ...) allows to build specialized meta-models for each programming language.

  The Moose analysis platform is based on these atomic properties to offer generic tools independent of the programming languages ​​handled.

• Functional Description:

  Moose is an open and extensible platform for software analysis and re-engineering.

  It integrates language models, metrics, analysis algorithms, and visualization and navigation engines. Moose's development has been estimated at 200 man-years.

• URL:
  https://­modularmoose.­org
• Publication:
  hal-02972159v1
• Contact:
  Stephane Ducasse
• Participants:
  Anne Etien, Nicolas Anquetil, Stephane Ducasse
• Partners:
  Université de Berne, Sensus, Pleiad, USI, Vrije Universiteit Brussel, Berger-Levrault

7.1.2 Pharo

• Name:
  The platform Pharo
• Keywords:
  Live programmation objet, Reflective system, Web Application, Test, Virtual Machine Image, Object-Oriented Programming
• Functional Description:
  Pharo is a pure object reflective and dynamic language inspired by Smalltalk. In addition, Pharo comes with a full advanced programming environment developed under the MIT License. It provides a platform for innovative development both in industry and research. By providing a stable and small core system, excellent developer tools, and maintained releases, Pharo's goal is to be a platform to build and deploy mission critical applications, while at the same time continue to evolve.
• Release Contributions:
  Better, faster, cleaner
• URL:
  http://­www.­pharo.­org
• Publication:
  hal-03687932v1
• Contact:
  Marcus Denker
• Participants:
  Steven Costiou, Christophe Demarey, Esteban Lorenzano, Marcus Denker, Stephane Ducasse, Guillermo Polito, Pablo Tesone
• Partners:
  BetaNine, Reveal, Inceptive, Netstyle, Feenk, ObjectProfile, GemTalk Systems, Greyc Université de Caen - Basse-Normandie, Université de Berne, Yesplan, RMod, Sensus, Université de Bretagne Occidentale, École des Mines de Douai, ENSTA, Uqbar foundation Argentina, ZWEIDENKER, LifeWare, JPMorgan Chase, KnowRoaming, ENIT, Spesenfuchs, FINWorks, Esug, FAST, Ingenieubüro Schmidt, Projector Software, HRWorks, Inspired.org, Palantir Solutions, High Octane, Soops, Osoco, Ta Mère SCRL, University of Yaounde 1, Software Quality Laboratory, Software Institute Università della Svizzera italiana, Universdad Nacional de Quilmes, UMMISCO IRD, Université technique de Prague

7.1.3 Soil

• Name:
  Soil DB
• Keywords:
  Object-Oriented Programming, Databases
• Functional Description:
  Soil is an object oriented database in pharo. It is transaction based having ACID transactions. It has binary search capabilities with SkipList and BTree+ indexes. It aims to be a simple yet powerful database making it easy to develop with, easy to debug with, easy to inspect,...
• URL:
  https://­github.­com/­ApptiveGrid/­Soil
• Publication:
  hal-04726251
• Contact:
  Marcus Denker
• Participant:
  Marcus Denker
• Partner:
  ApptiveGrid GmbH

7.1.4 Microdown

• Name:
  Microdown: a minimal but extensible markdown
• Keyword:
  Document
• Functional Description:
  Microdown is the definition and implementation of a minimal markdown that is extensible. It integrates into the Pillar document compilation chain.
• URL:
  https://­github.­com/­pillar-markup/­Microdown
• Contact:
  Stephane Ducasse

7.1.5 Illimani Memory Profiler

• Name:
  Illimani Memory Profiler
• Keywords:
  Non volatile memory, Smalltalk, Object-Oriented Programming
• Functional Description:
  Illimani is a library of memory profilers. It provides a memory allocation profiler and a finalization profiler. The allocation profiler gives you information about the allocation sites and where the objects where produced in your application. The finalization profiler gives you information about how much time did the objects lived, and about how many GC cycles (both scavenges and full GC) they survived.
• URL:
  https://­github.­com/­jordanmontt/­illimani-memory-profiler
• Contact:
  Sebastian Jordan Montano

7.1.6 Pillar

• Keywords:
  HTML, LaTeX, HTML5
• Functional Description:

  Pillar is a markup syntax and associated tools to write and generate documentation and books.

  Pillar is currently used to write several books and other documentation.

• URL:
  https://­github.­com/­Pillar-markup/­pillar
• Contact:
  Stephane Ducasse

7.1.7 Reflectivity

• Keywords:
  Object-Oriented Programming, Reflective system, Metaprogramming
• Functional Description:

  Reflectivity is a framework for behavioral reflection.

  Using Reflectivity, developers annotate Abstract Syntax Tree (AST) nodes with meta-behavior which is taken into account by the compiler to produce behavioral variations. Reflectivity brings a practical way of working at the AST level, which is a high-level representation of the source code manipulated by software developers. It enables a powerful way of dynamically add and modify behavior. Reflectivity is also a flexible mean to bridge the gap between the expression of the meta-behavior and the source code. This ability to apply unanticipated adaptation and to provide behavioral reflection led to many experiments and projects during this last decade by external users. Existing work use Reflectivity to implement reflective libraries or languages extensions, featherweight code instrumentation, dynamic software update, debugging tools and visualization and software analysis tools.Grounding. Reflectivity is actively used in research projects.

  Reflectivity is part of Pharo and shipped with the default Pharo download.

• URL:
  http://­pharo.­org
• Publication:
  hal-02480136
• Contact:
  Marcus Denker
• Participants:
  Marcus Denker, Steven Costiou

7.1.8 Chest

• Keywords:
  Debug, Object-Oriented Programming
• Functional Description:
  Chest is a Pharo tool providing an API and a Graphical User Interface (GUI) to store and access objects from anywhere in the Pharo system.
• URL:
  https://­github.­com/­pharo-spec/­Chest
• Contact:
  Steven Costiou
• Participants:
  Steven Costiou, Adrien Vanegue

7.1.9 Debugging Spy

• Keyword:
  Debug
• Functional Description:
  A tool to spy on debugging actions for research experiments conducted with Pharo.
• URL:
  https://­github.­com/­Pharo-XP-Tools/­DebuggingSpy
• Contact:
  Steven Costiou
• Participants:
  Adrien Vanegue, Steven Costiou

7.1.10 Phex

• Name:
  PHaro EXperience toolbox
• Keyword:
  Debug
• Functional Description:
  A tool to define, build, drive and conduct empirical experiments with Pharo.
• URL:
  https://­github.­com/­Pharo-XP-Tools/­Phex
• Contact:
  Steven Costiou
• Participant:
  Steven Costiou

7.1.11 Sindarin

• Keywords:
  Object-Oriented Programming, Software engineering, Debug
• Functional Description:
  Sindarin is a versatile and interactive debugger scripting API for object-oriented programming languages. Sindarin is designed to help building dedicated debugging tools targeting specific problems or domains. To do this, Sindarin attaches to a running process then exposes stepping and introspection operations to control, manipulate and observe that process’ execution. It simplifies the creation of personalized debugging scripts by providing an AST-based API, thus also proposing different stepping granularity over the debugging session. Once written, scripts are extensible and reusable on other scenario, and can be used to build more complex debugging tools.
• URL:
  https://­github.­com/­pharo-spec/­ScriptableDebugger
• Publications:
  hal-04850901, hal-02280915
• Contact:
  Steven Costiou
• Participants:
  Steven Costiou, Adrien Vanegue, Stephane Ducasse, Guillermo Polito

7.1.12 Scopeo

• Keywords:
  Debug, Object-Oriented Programming
• Functional Description:
  Scopeo is an omniscient debugger that allows developers to ask questions in the form of queries that collect objects and events related to those objects. Scopeo allows developers to save subsets of a query's results so that they can be reused as subjects for new, more refined queries. This supports the refinement of hypotheses that developers make during debugging. Thanks to the omniscient backend that Scopeo relies on (Seeker), Scopeo provides the ability to navigate back and forth in the execution and, more specifically, to jump to any point in time where a collected object-related event was triggered.
• URL:
  https://­github.­com/­scopeo-project/­ScopeoExampleERA
• Publication:
  hal-04627606
• Contact:
  Valentin Bourcier
• Participants:
  Valentin Bourcier, Steven Costiou

7.1.13 Druid

• Name:
  Druid Meta-Compilation Infrastructure
• Keywords:
  Compilers, Source-to-source compiler, Optimizing compiler, Interpreter, Software engineering
• Functional Description:

  JIT (Just-in-Time) compilers are an optimization technique often used for interpreted languages and virtual machines. They allow to spend time optimizing only frequently used code, while falling back in slower execution engines for non-frequent code. For example, the Pharo and the Java VM run on a bytecode interpreter and eventually compile machine code for methods that are frequently called.

  Nowadays, the Pharo Virtual Machine is implemented in a subset of the Pharo language called Slang. The Virtual Machine developers then benefit from the high-level tools used to work with Pharo code, such as the code editors, testing frameworks and debuggers. In a later stage, the Virtual Machine code written in Slang is transpiled to C and then compiled to the target architectures.

  The current Pharo JIT compiler that is part of the Virtual Machine, aka Cogit, implements an architecture based on templates of native code per bytecode. When a method is compiled, each bytecode is mapped to its corresponding template. All templates are concatenated to form a single machine code method. This architecture has as drawback that the behavior of the Pharo language is duplicated in both the bytecode interpreter and their corresponding machine code templates.

  The Druid project explores the automatic generation of machine code templates from bytecode interpreters using an abstract interpreter on the existing bytecode interpreter (a meta-interpreter).

• URL:
  https://­github.­com/­Alamvic/­druid/
• Contact:
  Guillermo Polito

7.1.14 Ranger

• Keywords:
  Symbolic testing, Software testing, Concolic Execution, Interpreter, Compilation
• Functional Description:

  Les implémentations de langages modernes utilisant des machines virtuelles comportent divers moteurs d'exécution tels que des interprètes de code-octet et des traducteurs dynamiques de code-machine, c'est-à-dire des compilateurs JIT. Pour valider ces moteurs, il faut non seulement valider chacun d'entre eux de manière isolée, mais aussi s'assurer qu'ils sont fonctionnellement équivalents. Les tests doivent être dupliqués pour chaque moteur d'exécution en exerçant les mêmes chemins d'exécution sur chacun d'entre eux.

  Ranger présente une nouvelle approche de test automatisé pour les machines virtuelles dotées d'interpréteurs de code à octets. Ranger utilise la méta-interprétation concolique :

  il applique des tests concoliques à un interpréteur de code à octets afin d'explorer tous les chemins d'exécution possibles de l'interpréteur et d'obtenir une liste de valeurs concrètes qui explorent ces chemins. Il utilise ensuite ces valeurs pour appliquer des tests différentiels à l'interpréteur VM et au compilateur JIT.

  Cette solution est basée sur deux idées : (1) l'interprète et le compilateur implémentent la même sémantique du langage et (2) les interprètes sont de simples spécifications exécutables de cette sémantique et donc des cibles prometteuses pour une (méta-) interprétation à l'aide de tests concoliques. Nous l'avons validé sur 4 compilateurs différents de la machine virtuelle open-source Pharo et avons trouvé 468 différences entre eux, produites par 91 causes différentes, organisées en 6 catégories différentes.

• URL:
  https://­github.­com/­Alamvic/­ranger
• Contact:
  Guillermo Polito

7.1.15 Mutalk

• Keywords:
  Mutation analysis, Mutation testing, Software testing
• Functional Description:

  During the 70s, mutation testing emerged as a technique to assess the fault-finding effectiveness of a test suite. It works mutating objects' behavior and looking for tests to “kill” those mutants. The surviving mutants are the starting point to writing better tests. Thus, this technique is an interesting alternative to code coverage regarding test quality.

  However, so far it is a “brute force” technique that takes too long to provide useful results. This characteristic has forbidden its widespread and practical use regardless the existence of new techniques, such as schema-based mutation and selective mutation. Additionally, there are no mutation testing tools (to our knowledge) that work on meta-circular and dynamic environments, such as Smalltalk, so compile and link time are the current technique's bottleneck.

  This Smalltalk-based tool was developed at the University of Buenos Aires (Argentina) in the context of the final thesis work. The tool uses Smalltalk's dynamic and meta-programming facilities to notably reduce the time to get valuable output and help to understand and implement new tests due to its integration with the rest of the environment.

• URL:
  https://­github.­com/­pharo-contributions/­mutalk
• Contact:
  Guillermo Polito

7.1.16 PharoVM

• Name:
  Pharo Virtual Machine
• Keywords:
  Compilation, Interpreter, Virtual Machine, Garbage Collection, Interoperability
• Functional Description:

  The current implementation presents the following core features:

  - an indirect threaded bytecode compiler using GNU extensions - a generational scavenger garbage collector: semi-space + nursery for the young generation, a mark-compact collecting for the old generation - a space for permanent objects that need not to be scanned by the GC - a baseline JIT compiler that - translates primitive operations using IR templates - translates bytecode methods using a simple abstract interpretation approach to reduce memory pressure (less loads/stores) - FFI through the well-known libFFI, and support for non-blocking FFI using worker threads

• URL:
  https://­github.­com/­pharo-project/­pharo-vm/
• Contact:
  Guillermo Polito

7.1.17 HeapFuzzer

• Keywords:
  Fuzzing, Memory Allocation, Garbage Collection
• Functional Description:
  Fuzzer directement un gestionnaire de mémoire nous permet de contrôler des aspects tels que l'emplacement où les objets sont alloués, et des événements de bas niveau tels que les invocations du GC et leurs paramètres. Notre solution génère de grandes séquences d'événements aléatoires sur le tas qui exercent les algorithmes de ramassage des ordures pour générer des pannes de VM et trouver des bogues. Nous combinons le fuzzing avec un algorithme de réduction des tests qui trouve le plus petit sous-ensemble d'événements reproduisant un problème.
• URL:
  https://­github.­com/­Alamvic/­heapFuzzer
• Contact:
  Guillermo Polito

7.1.18 OpalCompiler

• Keywords:
  Compilation, Compilers, Bytecode, Object, Object-Oriented Programming
• Functional Description:

  Opal is the compiler that compiles source code to bytecode in Pharo.

  Opal uses the Parser and AST of Pharo as input (which is used for syntax highlighting, refactoring and other tools). It does name analysis, annotating this AST before generating an Intermediate Representation (IR) with bytecode level abstractions. The IR is then used to generate bytecode and create a Pharo method.

  Opal is part of Pharo and shipped with Pharo by default.

• URL:
  http://­pharo.­org
• Contact:
  Marcus Denker

7.2.1 Pharo

Pharo pharo.org - Pharo is a dynamic reflective language and its environment 7.1.2.

Participants: P. Tesone, E. Lorenzano, C. Demarey, S. Ducasse, G. Polito, M. Denker, S. Costiou, H. Morales, M. Dias, C. Hernandez.

7.2.2 Moose

Moose modularmoose.org - Moose is meta environment to build analyses and tools of software systems 7.1.1.

Participants: N. Anquetil, A. Etien, I. Sayar, L. Safina, C. Toullec, C. Ferlicot-Delbecque.

10.1.1 Inria associate team not involved in an IIL or an international program

10.2.1 Visits of international scientists

10.2.2 Visits to international teams

10.3.1 H2020 projects

EVREF was part of the COST project CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society. From 29/09/2020 to the end of the project 28/09/2024 (see www.cost.eu/actions/CA19135).

10.3.2 Other european programs/initiatives

University of Novi Sad, Serbia

Participants: Anne Etien, Nicolas Anquetil, Balša Šarenac, Stéphane Ducasse.

We collaborate with two groups of the University of Novi Sad (G. Rakic and G. Milosavljevic) on improving the Refacoring features of Pharo.

In 2024, Balša Šarenac visited four times. We published two papers: 7, 18.

University of Zurich, Switzerland

Participants: Steven Costiou, Stéphane Ducasse, Valentin Bourcier.

We collaborate since 2020 with Alberto Bacchelli from the Zurich Empirical Software Engineering Team (ZEST) on large-scale evaluations of debugging tools. This collaboration involves 3 researchers and 2 PhD students.

In 2024, Valentin Bourcier visited ZEST to prepare a submission for The ACM International Conference on the Foundations of Software Engineering (FSE).

Pharo for Live Coding Music

Partners: Dominico Cipriani , EVREF, MINT, GRAME, Pharo Association

Participants: Dominico Cipriani, Nahuel Palumbo, Sebastian Jordan Montaño, Stéphane Ducasse, Marcus Denker, Stéphane Sletz, Florent Berthaut, Enzo Demeulenaere, Redwane Engels, Alexis Cnockaert.

With Dominico Cipriani (Italy) we are exploring how to create a live music coding envrionment with Pharo.

We embedded the Faust Language in with Pharo (with Stéphane Sletz of GRAME Lyon). We developed better abstractions to support live coding and musical shows. The work on user interaction was done in collaboration with Florent Berthaut of the Cristal MINT Team.

Dominico Cipriani visited the team in 2024 three times. Notable results:

• Workshop Music with Domenico Cipriano - Lille - 15 November 2024
• Concert the 17th October at the Maison des Etudiants using Pharo
• Dominico Cipriani joined an improvisation session of Muzzix 14/10 using Pharo as his instrument
• We published two papers: 12, 11
• Experimental Audio-Visual Live Coding Performance at ESUG 2024: Riding the MOOFLOD (see video)
• Dominico Cipriani performed together with The Analogue Cops at the first Algorave at Ohm Berlin, using Pharo to compose live music on MIDI synthesiser
• Dominico Cipriani performed at System Shangai for the International Live Coding Conference 2024, using Pharo to compose music with Kyma and control visuals made with Processing

11.1.1 Scientific events: organisation

• The International European Smalltalk Usergroup Conference 2024 (ESUG), Lille, France (124 PP, 4 Days)
• International Workshop on Smalltalk Technologies (IWST) 2024 (as part of ESUG).
• co-organized the nation GT DevX launch day at Rennes, December 4th (Steven Costiou , Valentin Bourcier ).

11.1.2 Scientific events: selection

11.1.3 Journal

11.1.4 Invited talks

HCERES evaluation of CRIStAL:

• Sebastian Jordan Montaño : Memory Profiling in Pharo
• Gabriel Darbord : Automatic Test Generation
• Guillermo Polito : Interpreter-guided JIT Compiler Unit Testing

11.1.5 Leadership within the scientific community

• Stéphane Ducasse : overall Leadership of the Pharo Project.
• Steven Costiou is leader of the GT Debugging working group of the CNRS GDR GPL. This working group aims to gather any researcher, engineer or GDR team interested in software debugging problems. (from 2020) GDR GPL
• Steven Costiou and Valentin Bourcier are working with Benoît Combemale from the DIVERSE team, INRIA Rennes, to define a new GDR GPL working group on developer experience, the DevX. This workgroup will replace the former debugging workgroup. And by broadening the topic, we expect to gather more participants in the group, from several disciplines, in order to have open discussions on the scientific problems related to the developers' needs and possible solutions. (from June 2024) GDR GPL
• Steven Costiou : Program Committee member Prix de thèse du GDR-GPL 2024
• Larisa Safina : Ethics Committee Member Microservices Community

11.1.6 Scientific expertise

• Anne Etien : Evaluation for Agence Nationale de la RechercheANR
• Anne Etien : Evaluation for the Natural Sciences and Engineering Research Council of CanadaNSERC
• Anne Etien : Evaluation for Association Nationale de la Recherche et de la TechnologieANRT

11.1.7 Research administration

• Anne Etien animates the CRIStAL thematic group of Software Engineering.
• Anne Etien : Directrice des Études de la L3 MIAGE, Université de Lille
• Anne Etien : Elected as a Member of CNU (section 27).
• Anne Etien is elected member of the center committee of the Inria Lille center.
• Anne Etien is elected member of the Computer Science Department council of University of Lille
• Anne Etien is member of the Scientific council of CRIStAL
• Marcus Denker was a member of the AGOS board (Section culture) of Inria Lille till 2024

11.2.1 Supervision

• Finished PhD: Iona Thomas , Elements of Language Strenghtening, Stéphane Ducasse , Pablo Tesone , Guillermo Polito . November 7th, 2024, 25
• Finished PhD: Aless Hosry , Model transformations for automatic source code modification, Nicolas Anquetil . December 6, 2024, 24
• PhD in progress: Gabriel Darbord , Automatic Test Generation, since october 2022, Inria through the EPC with BL, Anne Etien , Nicolas Anquetil .
• PhD in progress: Valentin Bourcier , Reducing the cost of debugging with the first generation of object-centric debuggers, since october 2022, Inria, Steven Costiou
• PhD in progress: Nahuel Palumbo , Virtual Machine Generation Techniques, since november 2022, Inria, Stéphane Ducasse , Guillermo Polito .
• PhD in progress: Sebastian Jordan Montaño , Memory Profiling and Instrumentation, Inria + Région HDF, started oct. 2023, Stéphane Ducasse , Guillermo Polito , Pablo Tesone .
• PhD in progress: Federico Lochbaum , Performance Test Generation, ANR JCJC, started nov. 2024, Guillermo Polito .
• PhD in Progress: Soufyane Labsari , DSL et cartes scriptables pour la cartographie de systèmes patrimoniaux, since December 2023, Inria, Anne Etien , Imen Sayar and Nicolas Anquetil
• PhD in progress: Rémi Dufloer , Echo Debugging, Inria + Région HDF, started oct. 2024, Imen Sayar , Steven Costiou , Anne Etien .
• PhD in progress: Nour Ayachi , Le traçage des règles métier dans le code source, since November 2024, Inria through the EPC with BL, Anne Etien , Nicolas Anquetil .
• PhD in progress: Faouzi Rayane , Inria / IMT started oct. 2024, Stéphane Ducasse , L. Fabresse, Pablo Tesone
• PhD in progress: Omar Abedelkader , Inria / Labri / Cirad started oct. 2024, Stéphane Ducasse , R. Robbes, O. Zaitsev

Student interns

• Ikimath Adouke Adeoye supervised by Clotilde Toullec - Improving the Moose importer
• Quentin Moutte supervised by Stéphane Ducasse - Microdown
• Redwane Engels supervised by Florent Berthaut and Stéphane Ducasse - Recoring Scores
• Alexis Cnockaert supervised by Stéphane Ducasse - UI for Music
• Sarah Tathy supervised by Stéphane Ducasse and Hernan Federico Morales - Contact manager
• Angel Hely supervised by Cyril Ferlicot-Delbecque - Improving quality rules
• Renaud Fondeur supervised by Guillermo Polito - Improving the Slang transpiler
• Pol Durieux supervised by Guillermo Polito — Mutation testing
• Ignacio Esteban Losiggio supervised by Guillermo Polito — Table-based Polymorphic Inline Caches

11.2.2 Juries

• Anne Etien : Ali Benjilany, PhD "Une approche pour la modélisation et l'évaluation de l'état d'alignement opérationnel entre processus métier et applicatifs logiciels", 19 décembre 2024, Université de Nantes, as reviewer
• Anne Etien : Matthias Pasquier, PhD "Débogage multivers de spécifications non-déterministes", 19 décembre 2024, ENSTA Brest, as reviewer
• Anne Etien : Salman Fahrat, PhD "Reconfiguration dynamique sûre des applications comportant des options fonctionnelles", 11 juillet 2024, Université de Lille, as president
• Anne Etien : Corentin Latappy, PhD "Les pratiques de code : de la documentation à la détection", juin 2024, Université de Bordeaux, as reviewer
• Anne Etien : Yassine El Amraoui, PhD "Faciliter l'inclusion humaine dans le processus de science des données : de la capture des exigences métier à la conception d'un workflow d'apprentissage automatique opérationnel", mai 2024, Université Côte d'Azur, as reviewer
• Guillermo Polito : Quentin Ducasse, PhD "Hardware security for just-in-time compilation in language virtual machines", 29 Mars 2024, ENSTA Bretagne, as invited
• Guillermo Polito : Javier Pimas, PhD "Objetos vivos a fondo: removiendo las barreras entre aplicaciones y máquinas virtuales", 12 September 2024, Universidad de Buenos Aires, as reviewer

11.3.1 Specific official responsibilities in science outreach structures

• Guillermo Polito is a member of the Argentinian Uqbar Foundation
• Guillermo Polito , Stéphane Ducasse and Marcus Denker are members of the Pharo Board
• Stéphane Ducasse , Marcus Denker , Pablo Tesone are members of the ESUG Board (European Smalltalk Usergroup)
• Stéphane Ducasse , Marcus Denker , Pablo Tesone are members of the Board of the Pharo User Association
• Sebastian Jordan Montaño organized the PhD GL students day in which the PhD students from different teams (and engineers) gathered to present their research and to exchange

11.3.2 Productions (articles, videos, podcasts, serious games, ...)

• Release of the book Application building with Spec 2.0, Koen De Hondt and Stéphane Ducasse with Esteban Lorenzano and Sebastian Jordan Montaño , ISBN 9782322478712 23
• Release of the book: Building a minimal reflective kernelStéphane Ducasse , ISBN: 9782322506187 22
• The MOOC Advanced object oriented design and development with Pharo, originally realeased in 2023, is being run by fun-mooc (From Jun 17, 2024 to Jun 16, 2025 ). 1031 registerered articipants fun-mooc.fr

11.3.3 Participation in Live events

Domenico Cipriani gave a concert the 17th October at the Maison des Etudiants using Pharo and joined an improvisation session of Muzzix 14/10 using Pharo as his instrument.

11.3.4 Others science outreach relevant activities

• EVREF organizes Public Pharo Sprints every last Friday of the month. Reponsable: Marcus Denker

International journals

• 2 articleV.Valentin Bourcier, S.Steven Costiou, M. I.Maximilian Ignacio Willembrinck Santander, A.Adrien Vanègue and A.Anne Etien. Time-traveling object-centric breakpoints.Journal of Computer LanguagesJune 2024, 101285HALDOIback to text
• 3 articleV.Valentin Bourcier, M.Maximilian Willembrinck, A.Adrien Vanègue, S.Stéphane Ducasse, A.Anne Etien and S.Steven Costiou. Time-Traveling Queries: Extensible Tools for Faster Program Comprehension..The Journal of Object Technology2312024, 1In press. HALDOIback to text
• 4 articleA.Aless Hosry, V.Vincent Aranega and N.Nicolas Anquetil. MoTion: A new declarative object matching approach in Pharo.Journal of Computer Languages81September 2024, 101290HALDOIback to text
• 5 articleP.Pierre Laborde, Y.Yann Le Goff, É.Éric Le Pors, A.Alain Plantec and S.Steven Costiou. Live Application Programming in the Defense Industry with the Molecule Component Framework.Journal of Computer LanguagesJune 2024, 101286HALDOIback to text
• 6 articleJ. P.Juan Pablo Sandoval Alcocer, H.Harold Camacho-Jaimes, G.Geraldine Galindo-Gutierrez, A.Andrés Neyem, A.Alexandre Bergel and S.Stéphane Ducasse. On the Use of Statistical Machine Translation for Suggesting Variable Names for Decompiled Code: The Pharo Case.Journal of Computer LanguagesApril 2024HALback to text
• 7 articleB.Balša Šarenac, N.Nicolas Anquetil, S.Stéphane Ducasse and P.Pablo Tesone. A New Architecture Reconciling Refactorings and Transformations.Journal of Computer LanguagesJuly 2024HALDOIback to textback to text
• 8 articleI.Iona Thomas, S.Stéphane Ducasse, P.Pablo Tesone and G.Guillermo Polito. Pharo: a reflective language -Analyzing the reflective API and its internal dependencies.Journal of Computer Languages802024, 101274HALDOIback to text

International peer-reviewed conferences

• 9 inproceedingsV.Valentin Bourcier, A.Alexandre Bergel, A.Anne Etien and S.Steven Costiou. Debugging Activity Blueprint.The twelfth IEEE Working Conference on Software Visualization (VISSOFT 2024)PharoFlagstaff (Arizona), United StatesOctober 2024HALback to text
• 10 inproceedingsV.Valentin Bourcier and S.Steven Costiou. Scopeo: an Object-Centric Debugging Approach for Exploring Object-Oriented Programs.2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)Rovaniemi, FinlandMarch 2024HALDOIback to text
• 11 inproceedingsD.Domenico Cipriani, A.Alessandro Anatrini and S.Sebastian Jordan Montaño. PHAUSTO: EMBEDDING THE FAUST COMPILER IN THE PHARO WORLD.Proceedings of the 4th International Faust Conference4th International Faust Conference (IFC 2024)Turin, ItalyNovember 2024HALback to textback to text
• 12 inproceedingsD.Domenico Cipriani, N.Nahuel Palumbo, S. J.Sebastian Jordan Montaño and S.Stéphane Ducasse. Phausto: fast and accessible DSP programming for sound and music creation in Pharo.IWST 2024: International Workshop on Smalltalk TechnologiesLille, FranceJuly 2024HALback to textback to text
• 13 inproceedingsG.Gabriel Darbord, F.Fabio Vandewaeter, A.Anne Etien, N.Nicolas Anquetil and B.Benoit Verhaeghe. Modest-Pharo: Unit Test Generation for Pharo Based on Traces and Metamodels.IWST 2024: International Workshop on Smalltalk TechnologiesLille, FranceJuly 2024HALback to text
• 14 inproceedingsP.Pierre Laborde, É.Éric Le Pors, Y.Yann Le Goff, A.Alain Plantec and S.Steven Costiou. Ergonomic evaluations of Human-Machine Interfaces in the defense business: an example of a collaborative Maritime Surveillance system.IHM'24 - 35e Conférence Internationale Francophone sur l'Interaction Humain-MachineIHM’24 : Actes étendus de la 35ème conférence Francophone sur l’Interaction Humain-MachineParis, FranceMarch 2024HALback to text
• 15 inproceedingsS. J.Sebastian Jordan Montaño, G.Guillermo Polito, S.Stephane Ducasse and P.Pablo Tesone. Evaluating Finalization-Based Object Lifetime Profiling.International Symposium on Memory ManagementCopenhagen, Denmark2024HALDOIback to text
• 16 inproceedingsS. J.Sebastian Jordan Montaño, J. P.Juan Pablo Sandoval Alcocer, G.Guillermo Polito, S.Stéphane Ducasse and P.Pablo Tesone. MethodProxies: A Safe and Fast Message-Passing Control Library.IWST 2024: International Workshop on Smalltalk Technologies, July 8-11, 2024, Lille, FranceLille, FranceJuly 2024HALback to text
• 17 inproceedingsT.Thuy Nguyen, S.Sophie Ebersold, I.Imen Sayar and J.-M.Jean-Michel Bruel. Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.Software and Systems Modeling27 th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024)Linz, AustriaSeptember 2024, à paraîtreHALDOIback to text
• 18 inproceedingsB.Balša Šarenac, S.Stéphane Ducasse, G.Guillermo Polito and G.Gordana Rakic. Modular and Extensible Extract Method.International Workshop on Smalltalk Technologies - IWST 24Lille, FranceJuly 2024HALback to textback to text
• 19 inproceedingsI.Iona Thomas, S.Stéphane Ducasse, G.Guillermo Polito and P.Pablo Tesone. Assessing Reflection Usage with Mutation Testing Augmented Analysis.21st International Conference on Software and Systems Reuse (ICSR 2024)Limassol, CyprusJune 2024HALback to text

Conferences without proceedings

• 20 inproceedingsG.Gabriel Darbord, N.Nicolas Anquetil, B.Benoit Verhaeghe and A.Anne Etien. A Multi-Language Tool for Generating Unit Tests from Execution Traces.SANER 2025Montréal, CanadaMarch 2025HALback to text
• 21 inproceedingsS.Soufyane Labsari, I.Imen Sayar, N.Nicolas Anquetil, B.Benoit Verhaeghe and A.Anne Etien. Service Extraction from Object-Oriented Monolithic Systems: Supporting Incremental Migration.2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)Montréal, CanadaMarch 2025HAL

Scientific books

• 22 bookS.Stéphane Ducasse. Building a minimal reflective kernel.December 2024HALback to text
• 23 bookK.Koen de Hondt, S.Stéphane Ducasse, S.Sebastian Jordan Montaño and E.Esteban Lorenzano. Application Building with Spec 2.0.2024HALback to text

Doctoral dissertations and habilitation theses

• 24 thesisA.Aless Hosry. External Dependencies in Programs: Specification, Detection and Incorrectness..LilleDecember 2024HALback to text
• 25 thesisI.Iona Thomas. Reflection Analysis and First Steps inIts Control.Université de LilleNovember 2024HALback to text

Reports & preprints

• 26 miscV.Valentin Bourcier, P.Pooja Rani, M. I.Maximilian Ignacio Willembrinck Santander, A.Alberto Bacchelli and S.Steven Costiou. Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs.February 2025HALDOI
• 27 reportM.Marcus Denker, N.Nicolas Anquetil, C.Christophe Bortolaso, S.Steven Costiou, S.Stéphane Ducasse, A.Anne Etien, G.Guillermo Polito, L.Larisa Safina and I.Imen Sayar. 2023 ACTIVITY REPORT Project-Team EVREF.INRIAApril 2024HAL
• 28 reportA.Anne Etien and N.Nicolas Anquetil. Automatic Recommendations for Evolving Relational Databases Schema.Université de Lille, Faculté de Sciences et TechnologiesApril 2024HALback to text

Software

• 29 softwareV.Valentin Bourcier and S.Steven Costiou. Scopeo.1.0.0March 2024INRIA Lille - Nord Europe lic: MIT License.HALSoftware HeritageVCS
• 30 softwareS.Steven Costiou. Phex.1.0December 2024Centre Inria de l'Université de Lille lic: MIT License.HALSoftware HeritageVCS
• 31 softwareS.Steven Costiou and A.Adrien Vanègue. Chest.0.5.1December 2024Centre Inria de l'Université de Lille lic: MIT License.HALSoftware HeritageVCS
• 32 softwareS.Steven Costiou and A.Adrien Vanègue. Debugging Spy.1.0December 2024Centre Inria de l'Université de Lille lic: MIT License.HALSoftware HeritageVCS
• 33 softwareS.Steven Costiou and A.Adrien Vanègue. Sindarin.12April 2024Centre Inria de l'Université de Lille lic: MIT License.HALSoftware Heritage
• 34 softwareN.Norbert Hartl and M.Marcus Denker. Soil.v2August 2024ApptiveGrid; INRIA lic: MIT License.HALSoftware HeritageVCS