117 citations
- Université de RennesFR10 papers
- KTH Royal Institute of TechnologySE8 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR7 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Centre Inria de l'Université de RennesFR5 papers
- SPIRALS: Self-adaptation for distributed services and large software systemsFR5 papers
- Centre Inria de l'Université de LilleFR4 papers
- Université de LilleFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut National des Sciences Appliquées de RennesFR3 papers
- Delft University of TechnologyNL2 papers
- Institut Universitaire de FranceFR2 papers
17 papers · 1 filter
Imperfect Visual Verification for Code Edition : A Case Study on TikZ
Charly Reux, Mathieu Acher, Djamel Eddine Khelladi +2
LLMs have significantly advanced code generation, enabling the synthesis of functional programs. While recent systems achieve strong performance on many coding benchmarks, tasks in…
Small Yet Configurable: Unveiling Null Variability in Software
Xhevahire Tërnava, Georges Aaron Randrianaina, Luc Lesoil +1
Many small-scale software systems, that is, with limited codebase or binary size, are widely used in everyday tasks, yet their configurability remains largely unexplored. At the sa…
Software Frugality in an Accelerating World: the Case of Continuous Integration
Quentin Perez, Romain Lefeuvre, Thomas Degueule +2
The acceleration of software development and delivery requires rigorous continuous testing and deployment of software systems, which are being deployed in increasingly diverse, com…
Exploring Performance Trade-offs in JHipster
Edouard Guégain, Alexandre Bonvoisin, Clément Quinton +2
The performance of software systems remains a persistent concern in the field of software engineering. While traditional metrics like binary size and execution time have long been…
A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties
Aymeric Blot, Justyna Petke
Performance is a key quality of modern software. Although recent years have seen a spike in research on automated improvement of software's execution time, energy, memory consumpti…
API Beauty is in the eye of the Clients: 2.2 Million Maven Dependencies reveal the Spectrum of Client-API Usages
Nicolas Harrand, Amine Benelallam, César Soto-Valero +3
Hyrum's law states a common observation in the software industry: "With a sufficient number of users of an API, it does not matter what you promise in the contract: all observable…