2025‌Activity reportProject-TeamEVREF‌​‌

Main​ Objective.

EVREF explores 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​ take place in the​‌ context of the Pharo​​ virtual machines and its​​​‌ associated production chain.

• A​ transpilation chain. Based on​‌ our current architecture, we​​ design a transpilation chain​​​‌ that 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​​ 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 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:​​​‌
  Nicolas Anquetil
• 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,​​​‌ Cyril Ferlicot-Delbecque
• Partners:
  Reveal,​ Inceptive, Feenk, GemTalk Systems,​‌ Greyc Université de Caen​​ - Basse-Normandie, Yesplan, Sensus,​​​‌ Université de Bretagne Occidentale,​ École des Mines de​‌ Douai, ENSTA, Uqbar foundation​​ Argentina, ZWEIDENKER, LifeWare, KnowRoaming,​​​‌ ENIT, Spesenfuchs, FINWorks, Esug,​ FAST, Ingenieubüro Schmidt, Projector​‌ Software, Inspired.org, 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 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​‌ and 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.4​​ 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.5 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.1.6‌ 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.7 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.8 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.9 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.10 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.11 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.12​ Ranger

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

  Modern language implementations using​ Virtual Machines feature diverse​‌ execution engines such as​​ byte-code interpreters and machine-code​​​‌ dynamic translators, a.k.a. JIT​ compilers. Validating such engines​‌ requires not only validating​​ each in isolation, but​​​‌ also that they are​ functionally equivalent. Tests should​‌ be duplicated for each​​ execution engine exercising the​​​‌ same execution paths on​ each of them.

  Ranger​‌ presents a novel automated​​ testing approach for virtual​​​‌ machines featuring byte-code interpreters.​ Ranger uses concolic meta-interpretation:​‌

  it applies concolic testing​​ to a byte-code interpreter​​​‌ to explore all possible​ execution interpreter paths and​‌ obtain a list of​​ concrete values that explore​​​‌ such paths. it then​ uses such values to​‌ apply differential testing on​​ the VM interpreter and​​​‌ JIT compiler.

  This solution​ is based on two​‌ insights: (1) both the​​ interpreter and compiler implement​​​‌ the same language semantics​ and (2) interpreters are​‌ simple executable specifications of​​ those semantics and thus​​​‌ promising targets to (meta-)​ interpretation using concolic testing.​‌ We validated it on​​ 4 different compilers of​​​‌ the open-source Pharo Virtual​ Machine and found 468​‌ differences between them, produced​​ by 91 different causes,​​​‌ organized in 6 different​ categories.

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

7.1.13 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.14 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.15 Compleshion

• Name:​​​‌
  Compleshion: a code completion‌ framework
• Keywords:
  Pharo, Code‌​‌ completion
• Functional Description:
  Compleshion​​ is a software architecture​​​‌ that supports lazzily code‌ completion. It offers the‌​‌ possibility to assemble different​​ approaches to code completion​​​‌ in Pharo.
• URL:
  https://­www.­pharo.­org‌
• Contact:
  Stephane Ducasse

7.1.16‌​‌ Coypu

• Keywords:
  Music, Live​​ Programming, Object-Oriented Programming
• Functional​​​‌ Description:

  Coypu is a‌ live coding package and‌​‌ domain-specific language for Pharo,​​ designed to be easy​​​‌ to install, simple to‌ learn, and fun to‌​‌ use. It follows the​​ principles of:

  - Iconicity​​​‌ : code that resembles‌ its meaning

  - Economy‌​‌ : minimal syntax, maximal​​ clarity

  - Synonymic Equivalence​​​‌ : flexibility in expression‌

  The goal: code that‌​‌ feels more like natural​​ human language.

• URL:
  https://­github.­com/­lucretiomsp/­Coypu​​​‌
• Publications:
  hal-05341056v1, hal-05306163v1‌
• Contact:
  Domenico Cipriani

7.1.17‌​‌ Phausto

• Keywords:
  Music, Object-Oriented​​ Programming, Live Programming
• Functional​​​‌ Description:
  Phausto is a‌ library and API for‌​‌ Pharo that enables sound​​ generation and audio Digital​​​‌ Signal Processing programming in‌ Pharo. Phausto leverages a‌​‌ dynamic library accessed via​​ Foreign Function Interface (FFI)​​​‌ calls within Pharo. This‌ library processes synthesizers and‌​‌ effects defined in Phausto​​ with the help of​​​‌ an embedded FAUST compiler,‌ which handles real-time audio‌​‌ computation.
• Publications:
  hal-04813572v1,​​ hal-04837510v1, hal-04826894v1
• Contact:​​​‌
  Domenico Cipriani

7.1.18 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
• Participants:‌
  Marcus Denker, Norbert Hartl‌​‌
• Partner:
  ApptiveGrid GmbH

7.2.1 Pharo

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

In 2025, Pharo​​​‌ was a recipient of​ the Prix science ouverte​‌ du logiciel libre de​​ recherche.

Participants: Pablo Tesone​​​‌, Esteban Lorenzano,​ Christophe Demarey, Stéphane​‌ Ducasse, Guillermo Polito​​, Marcus Denker,​​​‌ Steven Costiou, Martin​ Dias, Carolina Hernandez​‌.

7.2.2 Moose

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

Participants: Nicolas Anquetil,​​​‌ Anne Etien, Imen​ Sayar, Laria Safina​‌, Clotilde Toullec,​​ Cyril Ferlicot-Delbecque.

10.1.1​ Visits of international scientists​‌

10.1.2 Other european programs/initiatives​

University of Novi Sad,​‌ Serbia

Participants: Stéphane Ducasse​​, Balša Šarenac.​​​‌

We collaborate with two​ groups of the University​‌ of Novi Sad lead​​ by Gordana Rakic and​​​‌ Gordana Milosavljevic on improving​ the Refacoring features of​‌ Pharo.

Balša Šarenac visited​​ once in 2025.

University​​ of Zurich, Switzerland

Participants:​​​‌ Steven Costiou, Valentin‌ Bourcier.

Zurich Empirical‌​‌ Software Engineering Team (ZEST),​​ from 2020.

We collaborate​​​‌ with Alberto Bacchelli on‌ large-scale evaluations of debugging‌​‌ tools. This collaboration involves​​ 3 researchers and 2​​​‌ PhD students.

Pharo for‌ Live Coding Music

Partners:‌​‌ Domenico Cipriani , EVREF,​​ MINT, GRAME, Pharo Association​​​‌

Participants: Domenico Cipriani,‌ Nahuel Palumbo, Sebastian‌​‌ Jordan Montaño, Stéphane​​ Ducasse, Marcus Denker​​​‌, Florent Berthaut,‌ Enzo Demeulenaere, Oceane‌​‌ Dubois.

With Domenico​​ Cipriani (Italy) we are​​​‌ exploring how to create‌ a live music coding‌​‌ environment with Pharo. 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. The‌​‌ Focus of 2025 was​​ Coypu, a live coding​​​‌ package and domain-specific language‌ for Pharo. Three papers‌​‌ have been published 22​​1421.

Domenico​​​‌ Cipriani visited the team‌ in 2025 three times.‌​‌

Events for 2025:

• February​​ 25th: Online talk for​​​‌ the Audio Programmer YouTube‌ Channel "DSP Made Accessible:‌​‌ Fast Plug-in Development with​​ Phausto". Video
• April 14th:​​​‌ Live Sound Synthesis with‌ Phausto at Lunprovisé -‌​‌ Muzzix at La Malterie,​​ Lille (France) muzzix.info/LUN19h-Lunprovise-2345
• April​​​‌ 18th: Audio-Visual Live Coding‌ Performance with TurboPhausto at‌​‌ Maison des Etudiants, Villneuve​​ d'Ascq (France).
• April 17th:​​​‌ Workshop for Electronic Fog‌ Collective at CSO Pedro,‌​‌ Padova (Italy) "Live Coding​​ Music with Pharo and​​​‌ Coypu".
• May 10th+11th: Workshop‌ for children and teenagers‌​‌ at Festival della Robotica,​​ Pisa (Italy). "Introduzione al​​​‌ Live Coding con Pharo,‌ Coypu e Phausto" roboticafestival.it‌​‌
• May 10th: Music Performance​​ with Pharo(Coypu) and a​​​‌ MIDI synthesizer. Algorave at‌ Teatro Sant'Andrea, Pisa (Italy)‌​‌ . "Programmare musica al​​ volo con Pharo". roboticafestival.it​​​‌
• May 31st: Workshop at‌ Canòdrom Barcelona (Spain), for‌​‌ the "International Live Coding​​ Conference 2025""Music on-the-fly​​​‌ with Pharo".
• May 31st:‌ Audiovisual Live Coding with‌​‌ Coypu, Phausto and Bloc​​ at Laut Club Barcelona​​​‌ (Spain), for the International‌ Live Coding Conference 2025.‌​‌ Galloping the Mooflod
• ESUG​​ 2025: The Code in​​​‌ the Corridor - audio-visual‌ performance with Pharo for‌​‌ Coypu, Phausto and Bloc​​ - July 2nd 2025.​​​‌
• ESUG 2025: (Turbo)Phausto: news‌ from the pit lane‌​‌ - Talk on new​​ music features for Pharo​​​‌ . July 3rd 2025.‌
• September 26th: Online tal‌​‌ for ADC-x Gather (online​​ Audio Developer Conference) "Sound​​​‌ Over Boilerplate: Accessible Plug-ins‌ Development with Phausto and‌​‌ Cmajor". Video
• October 10th:​​ Workshop at ROBOT Festival,​​​‌ Bologna (Italy) "Creare Musica‌ Programmando!". roboticafestival.it
• November 10th:‌​‌ Workshop at the Audio​​ Developer Conference (ADC) in​​​‌ Bristol (UK) Programming Music‌ and Synthesizers On-The-Fly with‌​‌ Pharo
• November 11th: Music​​ performance with Pharo and​​​‌ ChuGL at ADC25 social‌ event at Zero Degrees,‌​‌ Bristol (UK). conference.audio.dev
• November​​ 12th: Poster session at​​​‌ ADC25, Bristol (UK). "Phausto:‌ Fast and Accessible DSP‌​‌ Programming in Pharo".23​​

Three student projects have​​​‌ been supervised:

• Pharo Automated‌ Mouth
  a Text-To-Speech Tool‌​‌ for Pharo Google Summer​​ of Code project -​​​‌ student: Neerja Doshi /‌ mentors Domenico Cipriani and‌​‌ Nahuel Palumbo . The​​​‌ goal of the project​ is to develop a​‌ text-to-speech (TTS) tool for​​ Pharo, leveraging Phausto's formant​​​‌ and subtractive synthesis capabilities​ as the audio backend.​‌ There is a previous​​ work done in Squeak​​​‌ to take as reference.​ gsoc.pharo.org/pam
• The PharoJamSession project​‌
  conducted by Oceane Dubois​​ (intern) mentored by Stéphane​​​‌ Ducasse , Domenico Cipriani​ and Enzo Demeulenaere A​‌ graphical environment to play​​ with customs synthesisers and​​​‌ effects, modelled after Faust​ online playground built in​‌ Pharo with Phausto and​​ Bloc.
• Extending the Pharo​​​‌ Playground
  conducted by Antoine​ Ciric (intern), mentored by​‌ Marcus Denker Experiments to​​ extend the Pharo Playground​​​‌ to support live music​ coding.

11.1.1 Scientific events:​ organisation

• The International European​‌ Smalltalk Usergroup Conference 2025​​ (ESUG), Gdanzk, Poland (85​​​‌ PP, 4 Days)
• International​ Workshop on Smalltalk Technologies​‌ (IWST) 2025 (as part​​ of ESUG).
• GT DevX​​​‌ (Steven Costiou ,​ Valentin Bourcier )

11.1.2 Scientific events:​​​‌ selection

11.1.3 Journal‌

11.1.4 Invited talks​​​‌

Guillermo Polito : Invited‌ Speaker International Conference FAST‌​‌ Smalltalks 2025

11.1.5 Leadership​​ within the scientific community​​​‌

• Stéphane Ducasse : overall‌ Leadership of the Pharo‌​‌ Project.
• Larisa Safina​​ : Ethics Committee Member​​​‌ of Microservices Community
• Steven‌ Costiou and Valentin Bourcier‌​‌ created the DevX (​​gt-devx.github.io) group of​​​‌ the GDR Sciences du‌ Logiciel, with Benoît Combemale‌​‌ from the DIVERSE team,​​ INRIA Rennes. This working​​​‌ group is is dedicated‌ to all topics related‌​‌ to the developer experience​​ research area, and regroups​​​‌ about 30 industrial and‌ academic members. Two national‌​‌ meetings were held in​​ 2025.

11.1.6 Scientific expertise​​​‌

• Anne Etien : Evaluation‌ for the Natural Sciences‌​‌ and Engineering Research Council​​ of Canada NSERC

11.1.7​​​‌ Research administration

• Anne Etien‌ : Elected as a‌​‌ Member of CNU (section​​ 27).
• Anne Etien :​​​‌ Directrice des Études de‌ la L3 MIAGE, Université‌​‌ de Lille
• Guillermo Polito​​ : Member of CER​​​‌ at Inria Lille -‌ Commission Emploi Recherche
• Steven‌​‌ Costiou : Staff representative​​ at Formation Specialisée de​​​‌ Site (Lille)
• Steven Costiou‌ : Member of Inria‌​‌ working group for researchers​​ individual evaluation
• Marcus Denker​​​‌ : HAL Referent EVREF‌
• Marcus Denker : Corresponding‌​‌ author and general coordinator​​ for the yearly Inria​​​‌ (RADAR) and Cristal reports‌ of the EVREF team‌​‌

11.2.1‌ Teaching

• Master: Steven Costiou‌​‌ , Debugging, Université de​​ Brest, 24hTD
• Master: Steven​​​‌ Costiou , Conception Objet,‌ Polytech Lille, 22hTD
• Master:‌​‌ Stéphane Ducasse , Meta,​​ Université de Lille, 12hTD​​​‌
• Master: Stéphane Ducasse ,‌ Conception avancée, Université de‌​‌ Lille, 60hTD
• Licence: Cyril​​ Ferlicot-Delbecque , Génie logiciel,​​​‌ 18hTD, L3, Université de‌ Lille
• Licence: Anne Etien‌​‌ , Conception orientée objet,​​ 18h, L3, Université de​​​‌ Lille
• Licence: Anne Etien‌ , Bases de données‌​‌ relationnelles, 16h, L3, Université​​ de Lille
• Licence: Anne​​​‌ Etien , Génie Logiciel,‌ 27h, L3, Université de‌​‌ Lille
• Licence: Anne Etien​​ , Projet, 20h, L2,​​​‌ Université de Lille
• Master:‌ Anne Etien , Bases‌​‌ de données relationnelles, 24h,​​​‌ M1, Université de Lille​
• Master: Anne Etien ,​‌ Metamodelisation, 30h, M2, Université​​ de Lille
• Licence: Soufyane​​​‌ Labsari , Génie logiciel,​ 18hTD, L3, Université de​‌ Lille
• Master: Marcus Denker​​ , 2 hours, Advanced​​​‌ Reflection, VUB Brussels, Belgium.​
• Licence: Nour Ayachi ,​‌ Technologies du Web, L1,​​ FST Université de Lille,​​​‌ 32h TD
• Master: Imen​ Sayar , Introduction à​‌ la Sécurité Informatique (ISI),​​ Master 1, FST Université​​​‌ de Lille, 18h TD​
• Licence: Imen Sayar ,​‌ Génie logiciel (GL), L3,​​ FST Université de Lille,​​​‌ 36h TD
• Licence: Imen​ Sayar , Programmation des​‌ systèmes (PDS), L3, FST​​ Université de Lille, 18h​​​‌ TD
• Licence: Imen Sayar​ , Conception orientée objet​‌ (COO), L3, FST Université​​ de Lille, 36 TD​​​‌
• Licence: Imen Sayar ,​ Projet, FST Université de​‌ Lille, L2, 48h TD​​
• Licence: Imen Sayar ,​​​‌ Bases de données 1​ (BDD1), L2, FST Université​‌ de Lille, 21h TD​​
• Licence: Imen Sayar ,​​​‌ Bases de données 1​ (BDD1), L2 info, L3​‌ Info Math, L2 PEIP,​​ Master 1, FST Université​​​‌ de Lille, 6h CM​
• Licence: Imen Sayar ,​‌ Bases de données 2​​ (BDD2), L2, FST Université​​​‌ de Lille, 18h TD​
• Master: Guillermo Polito ,​‌ Analyse et Verification de​​ Logiciel, Université de Lille,​​​‌ 32h CM
• Master: Guillermo​ Polito , Conception et​‌ Paradigmes de Programmation par​​ la Pratique, Université de​​​‌ Lille, 48hTD
• Licence: Marius​ Mignard , ODI, Université​‌ de Lille, 18hTD
• Licence:​​ Larisa Safina , Métaprogrammation,​​​‌ construction d’interpréteurs, Université de​ Lille, 27h TD-TP

11.2.2​‌ Supervision

• Defended PhD: Gabriel​​ Darbord , Approche indépendante​​​‌ du langage fondée sur​ des métamodèles pour la​‌ génération de tests unitaires​​ à partir de traces​​​‌ d’exécution, Anne Etien ,​ and Nicolas Anquetil ,​‌ December 5th 2025, 17​​
• Defended PhD: Valentin Bourcier​​​‌ , Empirical Evaluation and​ Novel Design of Object-Centric​‌ Debuggers to Improve the​​ Debugging of Object-Oriented Programs,​​​‌ Steven Costiou , ANR-21-CE25-0004,​ October 30d 2025, 16​‌
• Defended PhD: Nahuel Palumbo​​ , Virtual Machine Generation​​​‌ Techniques, Stéphane Ducasse ,​ Guillermo Polito . November​‌ 27th 2025, 18
• 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 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: Fouazi Rayane Mokhefi​​ , Inria / IMT​​​‌ started oct. 2024, Stéphane​ Ducasse . Luc Fabreze​‌ , Pablo Tesone .​​
• PhD in progress: Megha​​​‌ Sudheendran , "Experimentation with​ LLMs for Fortran migration",​‌ Inria, started may 2025,​​ Nicolas Anquetil , Larisa​​ Safina .
• PhD in​​​‌ progress: Omar Abedelkader Inria‌ / Labri / Cirad‌​‌ started oct. 2024, Stéphane​​ Ducasse , Romain Robbes​​​‌ , Oleks Zaitsev
• PhD‌ in progress: Marius Mignard‌​‌ , Abstraction d'un profil​​ de machine learning ou​​​‌ comment intégrer de la‌ sémantique dans les analyses‌​‌ statiques, started sep. 2025,​​ Steven Costiou , Anne​​​‌ Etien .
• PhD in‌ progress: Romain Degrave ,‌​‌ Deserialization Attacks, Inria +​​ Région HDF, started oct.​​​‌ 2025, Guillermo Polito ,‌ Imen Sayar .

Apprentices‌​‌

• Léo Defossez supervised by​​ Imen Sayar - Extraction​​​‌ of attack call stacks‌ in Moose
• Pol Durieux‌​‌ supervised by Guillermo Polito​​ — Mutation testing
• Alexis​​​‌ Cnockaert supervided by Stéphane‌ Ducasse — Refactorings

Student‌​‌ interns

• Quentin Moutte supervised​​ by Stéphane Ducasse -​​​‌ Improving the noteTaker
• Faniry‌ Emmanuelle RANDRIAMIHAJARIVO supervised by‌​‌ Stéphane Ducasse - Book​​ testing
• Hanitriniala Nicole RAKOTOSON​​​‌ supervised by Stéphane Ducasse‌ - NLP in Pharo‌​‌
• Antoine Ciric supervised by​​ Marcus Denker - Extending​​​‌ the Pharo Playground
• 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
• Matias‌ Demare supervised by Guillermo‌​‌ Polito — Branch Optimizations​​
• Léo Defossez supervised by​​​‌ Imen Sayar - Extraction‌ of attack call stacks‌​‌ in Moose
• Oceane Dubois​​ supervised by Domenico Cipriani​​​‌ and Stéphane Ducasse PharoJamSession‌

External Students

• Pablo Herrero‌​‌ : A Compression Scheme​​ for Reflective Methods Universidad​​​‌ de Buenos Aires, Master‌ (restarted 2025). Supervised by‌​‌ Marcus Denker .

11.2.3​​ Juries

• Anne Etien :​​​‌ Alice Loizeau, PhD Comprendre‌ et concevoir avec l'erreur‌​‌ dans les systèmes interactifs​​, 9 décembre 2025,​​​‌ Université de Lille, as‌ president
• Anne Etien :‌​‌ Alexandre Bonvoisin, PhD Concilier​​ performance et utilisation efficiente​​​‌ des ressources matérielles: le‌ cas des services logiciels‌​‌ configurables, 5 décembre​​ 2025, Université de Lille,​​​‌ as president
• Anne Etien‌ : Hugo Monfleur, PhD‌​‌ Architecture à Microservice Orientée​​ sur les Préoccupations: Langage,​​​‌ Bibliothèque, Boîte à Outils‌ et Evaluation, 28‌​‌ novembre 2025, Université de​​ Lille, as president
• Stéphane​​​‌ Ducasse : Arthur Navarro,PhD‌ Choreography projection and extraction‌​‌ for the verification and​​ the optimization of reactive​​​‌ distributed systems: a language-runtime‌ continuum, Université de‌​‌ Lyon, (France), 10/11/2025.
• Stéphane​​ Ducasse : Patrick Fortier,​​​‌ PhD Programming language abstractions‌ for the Internet of‌​‌ Things era, Université​​ de Lyon, (France), 14/01/2024.​​​‌
• Guillermo Polito : Adam‌ Chadler, PhD Collecting very‌​‌ large heaps with teleGC​​, 11 Décembre 2025,​​​‌ Telecom Sud Paris, Examinateur‌
• Larisa Safina : Arthur‌​‌ Navarro, PhD: Choreography projection​​ and extraction for the​​​‌ verification and the optimization‌ of reactive distributed systems:‌​‌ a language-runtime continuum,​​ 10/11/2025 Université de Lyon,​​​‌ France, as an examinator.‌

11.2.4 Educational and pedagogical‌​‌ outreach

• The MOOC Advanced​​ object oriented design and​​​‌ development with Pharo,‌ originally realeased in 2023,‌​‌ is being run by​​ fun-mooc. 1031 registerered articipants​​​‌ fun-mooc.fr
• May 10th+11th: Workshop‌ for children and teenagers‌​‌ at Festival della Robotica,​​ Pisa (Italy). "Introduzione al​​​‌ Live Coding con Pharo,‌ Coypu e Phausto" roboticafestival.it‌​‌. Domenico Cipriani
• EVREF​​​‌ was involved in the​ Google Summer of Code​‌ (GSOC) 2025 both organizational​​ as well as mentoring​​​‌ some projects summerofcode.withgoogle.com
• We​ organized the International School​‌ on Live Object-Oriented Programming​​ (isLoop) 2025 Stéphane Ducasse​​​‌ , Marcus Denkerisloop.pharo.org​

11.2.5 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

11.2.6​‌ Participation in Live events​​

• April 14th: Domenico Cipriani​​​‌ : Live Sound Synthesis​ with Phausto at Lunprovisé​‌ - Muzzix at La​​ Malterie, Lille (France) muzzix.info​​​‌
• April 18th: Audio-Visual Live​ Coding Performance with TurboPhausto​‌ at Maison des Etudiants,​​ Villneuve d'Ascq (France). Domenico​​​‌ Cipriani
• May 10th: Music​ Performance with Pharo(Coypu) and​‌ a MIDI synthesizer. Algorave​​ at Teatro Sant'Andrea, Pisa​​​‌ (Italy) . "Programmare musica​ al volo con Pharo".​‌ roboticafestival.it. Domenico Cipriani​​

11.2.7 Others science outreach​​​‌ relevant activities

• We are​ maintainig a social media​‌ presence for EVREF and​​ Pharo. We stopped using​​​‌ Twitter and now are​ on:
  • EVREF Bluesky evref.bsky.social​‌
  • EVREF Mastodon: @evref_inria mastodon.social​​
  • Pharo Bluesky: pharoproject.bsky.social
  • Pharo​​​‌ Mastodon: @pharoproject mastodon.social
  • Pharo​ LinkedIn
  • Pharo Facebook: www.facebook.com/PharoProject​‌
• EVREF organizes Public Pharo​​ Sprints every last Friday​​​‌ of the month.

International journals

• 3​ articleL.Louay Khrouf​‌, A.Anas Shatnawi​​, R.Romain Rouvoy​​​‌, B.Benoit Verhaeghe​ and B.Boubou Thiam​‌ Niang. Energy Consumption​​ of Web Applications: Measurement​​​‌ Challenges in Practice.​IEEE SoftwareSpecial Issue​‌ on Green Clean Software​​ SustainabilityMarch 2026.​​​‌ In press. HALDOI​back to text
• 4​‌ articleN.Nahuel Palumbo​​, G.Guillermo Polito​​​‌, S.Stéphane Ducasse​ and P.Pablo Tesone​‌. Meta-compilation of Baseline​​ JIT Compilers with Druid​​​‌.The Art, Science,​ and Engineering of Programming​‌February 2025HALback​​ to text

International peer-reviewed​​​‌ conferences

• 5 inproceedingsN.​Nour Ayachi, B.​‌Benoit Verhaeghe, C.​​Christopher Fuhrman and N.​​​‌Nicolas Anquetil. From​ Textual Descriptions to Code:​‌ A Filtering Approach for​​ Locating Business Rules.​​SANER 2026 - 33rd​​​‌ IEEE International Conference on‌ Software Analysis, Evolution and‌​‌ ReengineeringLimassol, CyprusMarch​​ 2026HALback to​​​‌ text
• 6 inproceedingsV.‌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.‌​‌Proc. ACM Softw. Eng.​​FSE 2025 - The​​​‌ ACM International Conference on‌ the Foundations of Software‌​‌ Engineering2FSETrondheim​​ (Norvège), NorwayAssociation for​​​‌ Computing MachineryJune 2025‌, 914-935HALDOI‌​‌back to text
• 7​​ inproceedingsD.Domenico Cipriani​​​‌ and G.Gabriel Darbord‌. Pharo Sound Design:‌​‌ Adding Auditory Feedback to​​ a Live Programming Environment​​​‌.Proceedings of the‌ 32th Journées d’Informatique Musicale‌​‌Journées d'Informatique MusicaleLyon,​​ FranceJune 2025HAL​​​‌back to text
• 8‌ 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, Canada‌March 2025HALback‌​‌ to text
• 9 inproceedings​​R.Rémi Dufloer,​​​‌ I.Imen Sayar,‌ A.Anne Etien and‌​‌ S.Steven Costiou.​​ Divergence-Driven Debugging: Understanding Behavioral​​​‌ Changes Between Two Program‌ Versions.ICPC 2025‌​‌ - 33rd IEEE/ACM International​​ Conference on Program Comprehension​​​‌Ottawa, CanadaApril 2025‌HALback to text‌​‌
• 10 inproceedingsN.Nicolas​​ Hlad, B.Benoit​​​‌ Verhaeghe and K.Kilian‌ Bauvent. GitProjectHealth: an‌​‌ Extensible Framework for Git​​ Social Platform Mining.​​​‌2025 IEEE/ACM 22nd International‌ Conference on Mining Software‌​‌ Repositories (MSR)2025 IEEE/ACM​​ 22nd International Conference on​​​‌ Mining Software Repositories (MSR)‌Ottawa, FranceIEEEApril‌​‌ 2025, 596-600HAL​​DOIback to text​​​‌
• 11 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​​​‌back to text
• 12‌ inproceedingsB. T.Boubou‌​‌ Thiam Niang, I.​​Ilyes Alili, B.​​​‌Benoit Verhaeghe, N.‌Nicolas Hlad and A.‌​‌Anas Shatnawi. Enhancing​​ AI-Generated Code Accuracy: Leveraging​​​‌ Model-Based Reverse Engineering for‌ Prompt Context Enrichment.‌​‌Proceedings of the 20th​​ International Conference on Software​​​‌ Technologies ICSOFT20th International‌ Conference on Software Technologies‌​‌1346-354Bilbao, France​​SCITEPRESS - Science and​​​‌ Technology PublicationsJune 2025‌, 346-354HALDOI‌​‌back to text
• 13​​ inproceedingsN.Nahuel Palumbo​​​‌, G.Guillermo Polito‌, S.Stéphane Ducasse‌​‌ and P.Pablo Tesone​​. Are Abstract-interpreter Baseline​​​‌ JITs Worth it? An‌ Empirical Evaluation through Metacompilation‌​‌.CGO 2026 -​​ IEEE/ACM International Symposium on​​​‌ Code Generation and Optimization‌Sydney, AustraliaJanuary 2026‌​‌HALback to text​​

Conferences without proceedings

• 14​​​‌ inproceedingsD.Domenico Cipriani‌, S. J.Sebastian‌​‌ Jordan Montaño and N.​​Nahuel Palumbo. Coypu:​​​‌ Gnawing Music On-The-Fly With‌ Pharo.ICLC 2025‌​‌ - International Conference on​​​‌ Live CodingBarcelona, Spain​March 2025HALback​‌ to textback to​​ text
• 15 inproceedingsJ.​​​‌Julián Grigera, S.​Steven Costiou, J.​‌ C.Juan Cruz Gardey​​ and S.Stéphane Ducasse​​​‌. It's Alive! What​ a Live Object Environment​‌ Changes in Software Engineering​​ Practice.IDE 2026​​​‌ - 3rd International Workshop​ on Integrated Development Environments​‌Rio de Janeiro, Brazil​​April 2026HALback​​​‌ to text

Doctoral dissertations​ and habilitation theses

• 16​‌ thesisV.Valentin Bourcier​​. Empirical evaluation and​​​‌ novel design of object-centric​ debuggers to improve debugging​‌ of object-oriented programs.​​Université de LilleOctober​​​‌ 2025HALback to​ text
• 17 thesisG.​‌Gabriel Darbord. Metamodel-Based​​ Language-Agnostic Approach to Unit​​​‌ Test Generation From Execution​ Traces.Université de​‌ lilleDecember 2025HAL​​DOIback to text​​​‌
• 18 thesisN.Nahuel​ Palumbo. DRUID -​‌ Metacompilation of Baseline JIT​​ Compilers.Université de​​​‌ LilleNovember 2025HAL​back to text

Reports​‌ & preprints

• 19 misc​​Y.Younoussa Sow,​​​‌ N.Nicolas Anquetil,​ L.Léandre Brault and​‌ S.Stéphane Ducasse.​​ Migrating Esope to Fortran​​​‌ 2008 using model transformations​.January 2026HAL​‌back to text

Other​​ scientific publications

• 20 misc​​​‌O.Omar Abedelkader,​ S.Stéphane Ducasse,​‌ O.Oleksandr Zaitsev,​​ R.Romain Robbes and​​​‌ G.Guillermo Polito.​ Package-Aware Approach for Repository-Level​‌ Code Completion in Pharo​​.December 2025HAL​​​‌back to text
• 21​ miscD.Domenico Cipriani​‌, S. J.Sebastian​​ Jordan Montaño, N.​​​‌Nahuel Palumbo and S.​Stéphane Ducasse. Composing​‌ and Performing Electronic Music​​ on-the-Fly with Pharo and​​​‌ Coypu.December 2025​HALback to text​‌back to text
• 22​​ inproceedingsD.Domenico Cipriani​​​‌, N.Nahuel Palumbo​ and S.Sebastian Jordan​‌ Montaño. Coypu: Music​​ on-the-fly with Pharo.​​​‌ICLC 2025 - International​ Conference on Live Coding​‌Barcelone, SpainMarch 2025​​HALback to text​​​‌back to text
• 23​ inproceedingsD.Domenico Cipriani​‌. Phausto: Fast and​​ Accessible DSP Programming in​​​‌ Pharo.ADC 2025​ - Audio Developer Conference​‌Bristol, UK, United Kingdom​​November 2025HALback​​​‌ to text
• 24 misc​F.Federico Lochbaum and​‌ G.Guillermo Polito.​​ Towards better assessing performance​​​‌ effectiveness: A first analysis​ with mutation testing.​‌December 2025HALback​​ to text
• 25 misc​​​‌M.Marius Mignard,​ S.Steven Costiou,​‌ N.Nicolas Anquetil and​​ A.Anne Etien.​​​‌ Analysing Python Machine Learning​ Notebooks with Moose.​‌December 2025HALback​​ to text
• 26 misc​​​‌F.Faouzi Mokhefi,​ S.Stéphane Ducasse,​‌ P.Pablo Tesone and​​ L.Luc Fabresse.​​​‌ Static Escape Analysis in​ Pharo: Towards Minimizing Object​‌ Allocations.October 2025​​HALback to text​​​‌
• 27 miscN.Nahuel​ Palumbo and M.Marcus​‌ Denker. Clean Blocks​​ at the Opal Compiler​​​‌.December 2025HAL​back to textback​‌ to text
• 28 misc​​L.Larisa Safina,​​​‌ J.Jan Blizničenko and​ R.Robert Pergl.​‌ Even Lighter Than Lightweight:​​ Augmenting Type Inference with​​ Primitive Heuristics.December​​​‌ 2025HALback to‌ text
• 29 miscB.‌​‌Balša Šarenac, S.​​Stéphane Ducasse, G.​​​‌Guillermo Polito and G.‌Gordana Rakic. Building‌​‌ Blocks for Object-Oriented Refactoring​​ Engines.December 2025​​​‌HALback to text‌

Software

• 30 softwareS.‌​‌Stéphane Ducasse, S.​​Steven Costiou, M.​​​‌Marcus Denker, C.‌Christophe Demarey, E.‌​‌Esteban Lorenzano, G.​​Guillermo Polito, P.​​​‌Pablo Tesone and C.‌Cyril Ferlicot-Delbecque. Pharo‌​‌.April 2025 lic:​​ MIT License.HAL​​​‌Software HeritageVCS
• 31‌ softwareN.Norbert Hartl‌​‌ and M.Marcus Denker​​. Soil.v3​​​‌July 2025ApptiveGrid; INRIA‌ lic: MIT License.‌​‌HALSoftware HeritageVCS​​back to text