Popl Aec

Member of POPL 2020 Artifact Evaluation Committee.