| 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 | 57 | 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 | 11 | 2023 |
