• Sign in
  • Sign up
conf.researchr.org / Aurel Bílý
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

Name:Aurel Bílý
Affiliation:ETH Zurich

Contributions

2023

IWACO

  • Author of Compositional Reasoning about Advanced Iterator Patterns in Rust within the IWACO 2023-track

2022

SPLASH

  • Author of Modular Specification and Verification of Closures in Rust within the COVID Time Papers In Person-track

2021

SPLASH

  • Author of Modular Specification and Verification of Closures in Rust within the OOPSLA-track
Share
xTue 20 May 07:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up