R\'emi Delmas

Identifiers

• name variant R\'emi Delmas 0.60 · backfill

Papers (1)

1. Kani: A Model Checker for Rust cs.SE · 2026 · author #1

Mentions

• 2607.01504 #1 · arxiv_oai · confidence 0.70 R\'emi Delmas

Frequent Coauthors

• Adri\'an Palacios 1 shared papers
• Carolyn Zech 1 shared papers
• Celina Val 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Felipe R. Monteiro 1 shared papers
• Justus Adam 1 shared papers
• Michael Tautschnig 1 shared papers
• Qinheping Hu 1 shared papers
• Rahul Kumar 1 shared papers
• Thanh Nguyen 1 shared papers
• Zyad Hassan 1 shared papers