Semantic Conflict Detection for Transactional Data Structure Libraries. - Yaodong Sheng; Ahmed Hassan; Michael F. Spear (SPAA, 2021)

Separating Mechanism from Policy in STM. - Yaodong Sheng; Ahmed Hassan; Michael F. Spear (PACT, 2023)

Transactional Data Structures with Orthogonal Metadata. - Yaodong Sheng; Ahmed Hassan; Michael F. Spear (PPoPP, 2025)