Great read. Reminds me of this checklist: https://www.sigplan.org/Resources/EmpiricalEvaluation/

There is a bunch of overlap with what Gernot talks about, but I think it's more general, and certainly useful to have a checklist!