Served on the program committee for the ASYDE Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with ASE 2024. Reviewed three papers.