OASIcs, Volume 63, WCET 2018