The Dam paper mentions compiling C code to assembly first, but not much details is given. I think there is another step not covered in this paper that connects

The Dam paper mentions compiling C code to assembly first, but not much details is given. I think there is another step not covered in this paper that connects back to the C code. Maybe they saved that for another publication?