1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2015★ 1 cited
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…
cs.LO2013★ 1 cited
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…