3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…