52 citations · 158 across the 17 of their papers we have counts for
18 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…
Did You Forkget It? Detecting One-Day Vulnerabilities in Open-source ForksWith Global History Analysis
Romain Lefeuvre, Charly Reux, Stefano Zacchiroli +2
Tracking vulnerabilities inherited from third-party open-source software is a well-known challenge, often addressed by tracing the threads of dependency information. However, vulne…
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,…
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…
On the Feasibility of Cross-Language Detection of Malicious Packages in npm and PyPI
Piergiorgio Ladisa, Serena Elisa Ponta, Nicola Ronzoni +2
Current software supply chains heavily rely on open-source packages hosted in public repositories. Given the popularity of ecosystems like npm and PyPI, malicious users started to…
The Hitchhiker's Guide to Malicious Third-Party Dependencies
Piergiorgio Ladisa, Merve Sahin, Serena Elisa Ponta +3
The increasing popularity of certain programming languages has spurred the creation of ecosystem-specific package repositories and package managers. Such repositories (e.g., npm, P…