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 001 (CAV (1), 2019)

Towards Unified Analysis of GPU Consistency. - Haining Tong; Natalia Gavrilenko; Hernán Ponce de León; Keijo Heljanko (ASPLOS (4), 2024)