Vytautas Astrauskas

According to our database1, Vytautas Astrauskas authored at least 4 papers between 2019 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The Prusti Project: Formal Verification for Rust.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020
How do programmers use unsafe rust?
Proc. ACM Program. Lang., 2020

2019
Leveraging rust types for modular specification and verification.
Proc. ACM Program. Lang., 2019


  Loading...