Vytautas Astrauskas

According to our database, Vytautas Astrauskas authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs.

Vytautas Astrauskas

PhD thesis, 2024

2022

The Prusti Project: Formal Verification for Rust.

Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers

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.

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020

How do programmers use unsafe rust?

Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers

Proc. ACM Program. Lang., 2020

2019

Leveraging rust types for modular specification and verification.

Vytautas Astrauskas, Peter Müller, Federico Poli, Alexander J. Summers

Proc. ACM Program. Lang., 2019