Remi Delmas
Identifiers
- name variant Remi Delmas 0.60 · backfill
Papers (2)
- Teaching LLMs Program Semantics via Symbolic Execution Traces cs.SE · 2026 · author #4
- 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