Read a paper: Checking system rules using system-specific, programmer-written compiler extensions

Published --