24 papers
Power in Liquid Democracy: A Network Centrality Approach
Davide Grossi, Andreas Nitsche, Georgios Papasotiropoulos +3
This paper develops a computationally tractable framework for measuring voters' power in collective decision-making platforms that support transitive and suspendable delegations---…
Trusting-Trust Attack against an Entire Linux Distribution through Binary Manipulation
Julien Malka, Aman Sharma, Martin Monperrus +2
Ken Thompson's trusting-trust attack, in which a compromised compiler backdoors the programs it builds and reproduces the backdoor in subsequent rebuilds of itself, is widely regar…
Latent Programming Horizons in Coding Agents
André Silva, Han Tu, Martin Monperrus
A coding agent solving a software-engineering task spends dozens of steps reasoning, editing code, and running tests, yet little is known about what the underlying language model i…
AICID: Unique Identifiers for AI Scientists
Clément Vidal, Martin Monperrus
AI scientists are now a reality, with the ability to generate complete research papers, maintain scholarly profiles, receive citations, and attract peer review invitations. Yet no…
Agentic Generation of AST Transformation Rules for Fixing Breaking Updates
Frank Reyes, Benoit Baudry, Martin Monperrus
Modern software projects depend on third-party libraries that evolve continuously, introducing breaking API changes that prevent client code from compiling after a dependency updat…
N-Version Programming with Coding Agents
Javier Ron, Benoit Baudry, Martin Monperrus
This paper revisits the classical concept on N-version programming in the setting of contemporary AI coding agents. Revisiting the seminal Knight-Leveson experiment, we study wheth…