Autolocker

swMATH9532MaRDI QIDQ21513FDOQ21513

Author name not available (Why is that?)

Cited In (4)

• Using Abstract Interpretation to Correct Synchronization Faults
• Adaptive locks: combining transactions and locks for efficient concurrency
• A Deadlock-Free Semantics for Shared Memory Concurrency
• A shape analysis for optimizing parallel graph programs

This page was built for software: Autolocker