Conference. ESOP '22: 31st European Symposium on Programming [esop22]April 2022Munich, Germany10.1007/978-3-030-99336-8https://etaps.org/2022/esop Held as Part of the European Joint Conferences on Theory and Practice of Software.