7 papers
Do programming languages still matter to your AI coding agent teammate? Evidence at scale from chess engines
Mathieu Acher, Jean-Marc Jézéquel
Frontier coding agents now promise end-to-end authorship of complete software systems. Two empirical questions follow: can AI coding-agent teammates program in any target language,…
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…
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…
SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
Jean-Baptiste Döderlein, Djamel Eddine Khelladi, Mathieu Acher +1
Programming environments typically separate the world of static code from the dynamic execution of programs. Developers must switch between writing code and observing its execution…
LLM Code Customization with Visual Results: A Benchmark on TikZ
Charly Reux, Mathieu Acher, Djamel Eddine Khelladi +2
With the rise of AI-based code generation, customizing existing code out of natural language instructions to modify visual results -such as figures or images -has become possible,…
Linux Kernel Configurations at Scale: A Dataset for Performance and Evolution Analysis
Heraldo Borges, Juliana Alves Pereira, Djamel Eddine Khelladi +1
Configuring the Linux kernel to meet specific requirements, such as binary size, is highly challenging due to its immense complexity-with over 15,000 interdependent options evolvin…