Autolocker

MaRDI QIDQ21513swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1111068

Cited in

(7)

• A Deadlock-Free Semantics for Shared Memory Concurrency
• Using abstract interpretation to correct synchronization faults
• Adaptive locks: combining transactions and locks for efficient concurrency
• SNZI
• Feather-Trace
• PhTM
• A shape analysis for optimizing parallel graph programs

This page was built for software: Autolocker