Talks and presentations

• Crown: Ownership Guided C to Rust Translation
  35th International Conference on Computer Aided Verification, Maison de la Chimie, Paris
  [Slides] [Video (to appear)]