Building expressive, area-efficient coherence directories | IEEE Conference Publication | IEEE Xplore