Remi Delmas

Identifiers

• name variant Remi Delmas 0.60 · backfill

Papers (2)

1. Teaching LLMs Program Semantics via Symbolic Execution Traces cs.SE · 2026 · author #4
2. Algorithmic Based Fault Tolerance Applied to High Performance Computing cs.DC · 2008 · author #2

Mentions

• 0806.3121 #2 · backfill · confidence 0.70 Remi Delmas

Frequent Coauthors

• George Bosilca 1 shared papers
• Jack Dongarra 1 shared papers
• Jonas Bayer 1 shared papers
• Julien Langou 1 shared papers
• Michael Tautschnig 1 shared papers
• Olivier Bouissou 1 shared papers
• Soonho Kong 1 shared papers
• Stefan Zetzsche 1 shared papers