Noctua: Towards Automated and Practical Fine-grained Consistency Analysis

Published in Eurosys, 2024