Anders Alnor Mathiasen

1. Reasoning about Weak Isolation Levels in Separation Logic
   2025/01/24 by Anders Alnor Mathiasen, Mathiasen, Anders Alnor, Léon Gondelman +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
2. Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.PL
3. Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.DB