Login / Signup

Static serializability analysis for causal consistency.

Lucas BrutschyDimitar K. DimitrovPeter MüllerMartin T. Vechev
Published in: PLDI (2018)
Keyphrases
  • data mining
  • quantitative analysis
  • database
  • data analysis
  • logic programs