Login / Signup

Noctua: Towards Automated and Practical Fine-grained Consistency Analysis.

Kai MaCheng LiEnzuo ZhuRuichuan ChenFeng YanKang Chen
Published in: EuroSys (2024)
Keyphrases
  • fine grained
  • coarse grained
  • tightly coupled
  • databases
  • access control
  • automated analysis