OASIcs, Volume 57, WCET 2017