| 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 | 46 | 2022 |
| 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 | 29 | 2021 |
| 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 | 1 | 2022 |
| Flexible refinement proofs in separation logic A Bílý, C Matheja, P Müller arXiv preprint arXiv:2110.13559, 2021 | 1 | 2021 |
| Modern garbage collector for HashLink and its formal verification A Bílý, S Eisenbach, S Drossopoulou | 1 | 2020 |
| Refinement Proofs in Rust Using Ghost Locks A Bílý, JC Pereira, J Schär, P Müller arXiv preprint arXiv:2311.14452, 2023 | | 2023 |
| Compositional Reasoning about Advanced Iterator Patterns in Rust A Bílý, J Hansen, P Müller, AJ Summers IWACO 2023, 2023 | | 2023 |
