| Leveraging rust types for modular specification and verification V Astrauskas, P Müller, F Poli, AJ Summers Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 200 | 2019 |
| How do programmers use unsafe rust? V Astrauskas, C Matheja, F Poli, P Müller, AJ Summers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 61 | 2020 |
| Using lightweight formal methods to validate a key-value storage node in Amazon S3 J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ... Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 57 | 2021 |
| Input-Output Verification in Viper V Astrauskas Master’s thesis, Department of Computer Science, ETH Zürich, 2016 | 4 | 2016 |
| Leveraging rust types for modular specification and verification V Astrauskas, P Müller, F Poli, AJ Summers ETH Zurich, 2018 | | 2018 |
