Provably Correct Peephole Optimizations with Alive [pdf]cs.utah.edu4 points·ksherlock··0 commentsOpen articleSaveView on HN