Building Bug-Free Compilers. - Zdancewic, Steve (Communications of the ACM, 2018)
The article discusses the creation of bug-free compilers to be used in computer programming.