• Sign in
  • Sign up
conf.researchr.org / Gabriel Poesia
  • POPL 2025 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

Name:Gabriel Poesia
Affiliation:Stanford University

Contributions

2025

Dafny

  • Author of dafny-annotator: AI-Assisted Verification of Dafny Programs within the Dafny 2025-track

2020

SPLASH

  • Author of Dynamic Dispatch of Context-Sensitive Optimizations within the OOPSLA-track
Share
xThu 8 May 19:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up