Seguir
Vytautas Astrauskas
Vytautas Astrauskas
E-mail confirmado em inf.ethz.ch
Título
Citado por
Citado por
Ano
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
1942019
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
572020
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
552021
Input-Output Verification in Viper
V Astrauskas
Master’s thesis, Department of Computer Science, ETH Zürich, 2016
42016
Leveraging rust types for modular specification and verification
V Astrauskas, P Müller, F Poli, AJ Summers
ETH Zurich, 2018
2018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5