Benchmarking, measuring, and optimizing : first benchcouncil international symposium, Bench 2018, Seattle, WA, USA, december 10-13, 2018, revised selected papers (2019)