Login / Signup

Optimal Reads-From Consistency Checking for C11-Style Memory Models.

Hünkar Can TunçParosh Aziz AbdullaSoham ChakrabortyShankaranarayanan KrishnaUmang MathurAndreas Pavlogiannis
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • consistency checking
  • probabilistic model
  • multi agent
  • database
  • computer vision
  • knowledge discovery
  • simulated annealing
  • model selection
  • query answering