The fine-grained and parallel complexity of andersen's pointer analysis. - Anders Alnor Mathiasen; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2021)

Reasoning about Weak Isolation Levels in Separation Logic. - Anders Alnor Mathiasen; Léon Gondelman; Léon Ducruet; Amin Timany; Lars Birkedal (CoRR, 2025)