Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Remi Delmas
conf.researchr.org general profile
ASE 2026 profile
PLDI 2026 profile
POPL 2026 profile
Registered user since Tue 19 May 2026
Name:
Remi Delmas
Affiliation:
Amazon Web Services
Contributions
2026
Dafny
Author of ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis within the Dafny 2026-track
ASE
Author of Kani: A Model Checker for Rust within the Industry Showcase-track
EGRAPHS
Author of A Semi-Persistent E-Graph with Native AC Canonization and Leapfrog AC Matching. within the EGRAPHS-track
Share
x
Sun 20 Sep 16:28