Some of it is: https://plv.mpi-sws.org/rustbelt/popl18/