Anders Alnor Mathiasen

According to our database, Anders Alnor Mathiasen authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Reasoning about Weak Isolation Levels in Separation Logic - Artifact.

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

Dataset, June, 2025

Reasoning about Weak Isolation Levels in Separation Logic.

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2025

2021

The fine-grained and parallel complexity of andersen's pointer analysis.

Anders Alnor Mathiasen, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2021