Carnegie Mellon and UCLA preprint AgRefactor: refactor C/C++ before high-level synthesis, claim 6.51x over AutoDSE — type0 | type0