Vytautas Astrauskas is an author at ETH Zurich specializing in formal methods, system software, and computer science.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationVerificationSoftware DesignProgram AnalysisSoftware Engineering
Publications per year
2019–2021
3
3
How do programmers use unsafe rust?
Vytautas Astrauskas, Christoph Matheja, Federico Poli et al. · Proceedings of the ACM on Programming Languages · 2020 · 68 citations · Full text
Rows per page
1–3 of 3