Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. - Giuliano Losa; Antonio Barbalace; Yuzhong Wen; Ho-Ren Chuang; Binoy Ravindran (ICDCS, 2017)

VSync: push-button verification and optimization for synchronization primitives on weak memory models. - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 2021)