6 papers
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…
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
Jean-Baptiste Döderlein, Nguessan Hermann Kouadio, Mathieu Acher +2
Language models are promising solutions for tackling increasing complex problems. In software engineering, they recently gained attention in code assistants, which generate program…
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,…
Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs
Djamel Eddine Khelladi, Charly Reux, Mathieu Acher
Large language model (LLM)-based test generation has gained attention in software engineering, yet most studies evaluate LLMs' ability to generate unit tests in a single attempt fo…
PolyDebug: A Framework for Polyglot Debugging
Philémon Houdaille, Djamel Eddine Khelladi, Benoit Combemale +2
As software grows increasingly complex, the quantity and diversity of concerns to be addressed also rises. To answer this diversity of concerns, developers may end up using multipl…