• Sign in
  • Sign up
conf.researchr.org / Remy Willems
  • ICSE 2025 profile
  • POPL 2025 profile
No Photo

Registered user since Wed 15 Jan 2025

Name:Remy Willems
Affiliation:Amazon

Contributions

2025

ICSE

  • Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

Dafny

  • Author of Helping users to reduce Brittleness in their Dafny programs - a success story within the Dafny 2025-track
Share
xThu 22 May 16:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up