RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency. - Pavel Golovin; Michalis Kokologiannakis; Viktor Vafeiadis (Proc. ACM Program. Lang., 2025)