Vytautas Astrauskas - Concepedia

Author

Vytautas Astrauskas

Also Known As

Astrauskas, Vytautas, Vytautas Astrauskas

Publications

287

Citations

H-Index

Concepts

All Affiliations

Vytautas Astrauskas is an author at ETH Zurich specializing in formal methods, system software, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	258
2	Computer Science	3	3	258
3	Computer Engineering	1	1	61
4	Systems Engineering	1	1	129
5	Compilers	1	1	68

Vytautas Astrauskas

Publications

258

Citations

H-Index

Page 1

	Year	Citations
Leveraging rust types for modular specification and verification Vytautas Astrauskas, Péter Müller, Federico Poli, Proceedings of the ACM on Programming Languages Program CheckingEngineeringVerificationSoftware AnalysisFormal Verification	2019	129
How do programmers use unsafe rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Proceedings of the ACM on Programming Languages EngineeringInformation SecuritySoftware SystemsSoftware EngineeringInherent Safety	2020	68
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Software MaintenanceEngineeringVerificationStorage ManagementSoftware Engineering	2021	61

Page 1