Natalia Gavrilenko

According to our database, Natalia Gavrilenko authored at least 2 papers between 2019 and 2024.

Collaborative distances:

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

2024

Towards Unified Analysis of GPU Consistency.

Haining Tong, Natalia Gavrilenko, Hernán Ponce de León, Keijo Heljanko

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2019

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.

Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Computer Aided Verification - 31st International Conference, 2019