Synchronized-by-Default Concurrency for Shared-Memory Systems. - Martin Bättig; Thomas R. Gross (PPoPP, 2017)

Encapsulated open nesting for STM: fine-grained higher-level conflict detection. - Martin Bättig; Thomas R. Gross (PPoPP, 2019)

Dynamic one-to-one mapping of ownership records for STM using versioned weak references. - Martin Bättig; Thomas R. Gross (MPLR, 2019)

Efficient Synchronized-by-Default Concurrency. - Martin Bättig (2019)