NAUTILE: a safe environment for silicon compilation | IEEE Conference Publication | IEEE Xplore