1 paper
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar +2
Compiler correctness is a cornerstone of reliable software development. However, systematic testing of compilers is infeasible, given the vast space of possible programs and the co…