https://research.spec.org/icpe-proceedings/