Pages that link to "Item:Q924672"
From MaRDI portal
The following pages link to Atomizer: A dynamic atomicity checker for multithreaded programs (Q924672):
Displaying 6 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Dependence analysis for safe futures (Q436391) (← links)
- Verification of STM on relaxed memory models (Q453508) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (Q2988639) (← links)
