Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. - Moine, Alexandre; Charguéraud, Arthur; Pottier, François (ACM Transactions on Programming Languages & Systems, 2025)