Vytautas Astrauskas
Vytautas Astrauskas
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
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
332019
Leveraging rust types for modular specification and verification
V Astrauskas, P Müller, F Poli, AJ Summers
ETH Zurich, 2018
52018
Input-Output Verification in Viper
V Astrauskas
MasterĘs thesis, Department of Computer Science, ETH Zürich, 2016
22016
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
2020
The system can't perform the operation now. Try again later.
Articles 1–4