3 citations · 9 across the 5 of their papers we have counts for
5 papers
Locality and Singularity for Store-Atomic Memory Models
Egor Derevenetc, Roland Meyer, Sebastian Schweizer
Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with se…
Lazy TSO Reachability
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc +1
We address the problem of checking state reachability for programs running under Total Store Order (TSO). The problem has been shown to be decidable but the cost is prohibitive, na…
Robustness against Power is PSPACE-complete
Egor Derevenetc, Roland Meyer
Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWER processors. The architecture features a relaxed memory mo…
A Theory of Partitioned Global Address Spaces
Georgel Calin, Egor Derevenetc, Rupak Majumdar +1
Partitioned global address space (PGAS) is a parallel programming model for the development of applications on clusters. It provides a global address space partitioned among the cl…
Checking Robustness against TSO
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computati…