Our work on the Protocols DSL was accepted to the FMCAD ’25 Student Forum, where I presented in October.