Program CommitteeOOPSLA 2025Coordination 2025ICE 2025Express/SOS 2024GandALF 2024ICE 2024Artifact Evaluation CommitteeCoordination 2024FORTE 2024External ReviewerCONCUR 2025TASE 2025CONCUR 2024CONCUR 2022CDC 2021ESOP 2021VMCAI 2021JournalsLogical Methods in Computer Science 2025Science of Computer Programming 2025