| 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 | 47 | 2022 |
| Leveraging Rust Types for Program Synthesis J Fiala, S Itzhaky, P Müller, N Polikarpova, I Sergey Proceedings of the ACM on Programming Languages 7 (PLDI), 1414-1437, 2023 | 7 | 2023 |
