• Sign in
  • Sign up
conf.researchr.org / Aurea Bílá
  • ICFP/SPLASH 2025 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Aurea Bílá

Registered user since Tue 26 Aug 2025

Name:Aurea Bílá
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.thenet.sk/
GitHub: https://github.com/Aurel300
Research interests:Rust, formal methods, compilers, reverse engineering

Contributions

2025

SPLASH

  • Author of A Refinement Methodology for Distributed Programs in Rust within the OOPSLA-track
  • Author of Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees within the OOPSLA-track

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
xSat 25 Oct 18:07
using conf.researchr.org (v1.72.1)
Support page
Sign Up