TY  - RPRT
TI  - Global Optimizations & Lightweight Dynamic Logic for Concurrency
AU  - Suchita Pati
AU  - Shaizeen Aga
AU  - Nuwan Jayasena
AU  - Matthew D. Sinclair
PY  - 2024
UR  - https://arxiv.org/abs/2409.02227
ID  - 2409.02227
ER  -