38 citations · 74 across the 10 of their papers we have counts for
8 papers · 1 filter
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…
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
Javier Ron, Martin Monperrus
Verifying that a compiled binary originates from its claimed source code is a fundamental security requirement, called source code provenance. Achieving verifiable source code prov…
Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks
Javier Ron, Zheyuan He, Martin Monperrus
Client diversity is a cornerstone of blockchain resilience, yet most networks suffer from a dangerously skewed distribution of client implementations. This monoculture exposes the…
Galapagos: Automated N-Version Programming with LLMs
Javier Ron, Diogo Gaspar, Javier Cabrera-Arteaga +2
N-Version Programming is a well-known methodology for developing fault-tolerant systems. It achieves fault detection and correction at runtime by adding diverse redundancy into pro…
Generative AI to Generate Test Data Generators
Benoit Baudry, Khashayar Etemadi, Sen Fang +7
Generating fake data is an essential dimension of modern software testing, as demonstrated by the number and significance of data faking libraries. Yet, developers of faking librar…
Highly Available Blockchain Nodes With N-Version Design
Javier Ron, César Soto-Valero, Long Zhang +2
As all software, blockchain nodes are exposed to faults in their underlying execution stack. Unstable execution environments can disrupt the availability of blockchain nodes interf…
Challenges of Producing Software Bill Of Materials for Java
Musard Balliu, Benoit Baudry, Sofia Bobadilla +7
Software bills of materials (SBOM) promise to become the backbone of software supply chain hardening. We deep-dive into 6 tools and the accuracy of the SBOMs they produce for compl…
Chaos Engineering of Ethereum Blockchain Clients
Long Zhang, Javier Ron, Benoit Baudry +1
In this paper, we present ChaosETH, a chaos engineering approach for resilience assessment of Ethereum blockchain clients. ChaosETH operates in the following manner: First, it moni…