Revised Selected Papers of the First Workshop on Specifying Big Data Benchmarks - Volume 8163