Pages that link to "Item:Q1888204"
From MaRDI portal
The following pages link to Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204):
Displaying 6 items.
- Transparent partial order reduction (Q453518) (← links)
- Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs (Q1268806) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- Space-reduction strategies for model checking dynamic software (Q2845504) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Dynamic Reductions for Model Checking Concurrent Software (Q2961569) (← links)