Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. - Kartik Nagar; Anmol Sahoo; Romit Roy Chowdhury; Suresh Jagannathan (Proc. ACM Program. Lang., 2024)