[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…) | ACM SIGPLAN | Podwise