BinRec Source code for the EUROSYS 2020 publication titled, "BinRec: Dynamic Binary Lifting and Recompilation" is now available here.