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

Kai Ma, Cheng Li, Enzuo Zhu, Ruichuan Chen, Feng Yan, Kang Chen

Browse the full EuroSys paper archive.