Safe couplings: coupled refinement types. - Elizaveta Vasilenko; Niki Vazou; Gilles Barthe (Proc. ACM Program. Lang., 2022)

OBRA: Oracle-Based, Relational, Algorithmic Type Verification. - Elizaveta Vasilenko; Niki Vazou; Gilles Barthe (APLAS, 2024)