Talks and presentations

• Scalable, Validated Code Translation of Entire Projects using Large Language Models
  The 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’25), Seoul, South Korea
  [Slides] [Recording]

• Contract Lenses: Reasoning about Bidirectional Programs via Calculation
  The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP’24), Milan, Italy
  [Slides] [Recording]

• Crown: Ownership Guided C to Rust Translation
  The 35th International Conference on Computer Aided Verification (CAV’23), Paris, France
  [Slides]