Follow
Aurel Bílý
Aurel Bílý
PhD Student, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
The prusti project: Formal verification for rust
V Astrauskas, A Bílý, J Fiala, Z Grannan, C Matheja, P Müller, F Poli, ...
NASA Formal Methods Symposium, 88-108, 2022
242022
Modular specification and verification of closures in Rust
F Wolff, A Bílý, C Matheja, P Müller, AJ Summers
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
212021
Flexible refinement proofs in separation logic
A Bílý, C Matheja, P Müller
arXiv preprint arXiv:2110.13559, 2021
12021
Modern garbage collector for HashLink and its formal verification
A Bílý, S Eisenbach, S Drossopoulou
12020
Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
A Bílý, J Hansen, P Müller, AJ Summers
arXiv preprint arXiv:2210.09857, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–5