ACM SIGPLAN Empirical Evaluation Guidelines and checklick
BenchExec - A Framework for Reliable Benchmarking and Resource Measurement
Cesar Rodriguez' CAV'18 Eval