[PLDI'23] Fair Operational Semantics | ACM SIGPLAN | Podwise