Login / Signup
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.
Azalea Raad
Marko Doko
Lovro Rozic
Ori Lahav
Viktor Vafeiadis
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
multimedia
real time
prior knowledge
knowledge representation
path consistency
consistency checking
genetic algorithm
high level
data structure
model selection
machine learning algorithms
complex systems
statistical model