4 citations · 8 across the 6 of their papers we have counts for
1 paper · 2 filters
Mark Utting, Brae J. Webb, Ian J. Hayes
We want to verify the correctness of optimization phases in the GraalVM compiler, which consist of many thousands of lines of complex Java code performing sophisticated graph trans…