Anders Alnor Mathiasen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Amin Timanyonce
- Andreas Pavlogiannisonce
- Lars Birkedalonce
all 5 in the filters
who talks about the same things
- Andreas Pavlogiannis18 talks
- Anders Møller6 talks
- Amin Timany16 talks
- Simon Oddershede Gregersen9 talks
- Léon Gondelman4 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| Reasoning about Weak Isolation Levels in Separation Logic | ICFP 2025 | 2025-10-12 |
Paper formalizes three weak isolation levels for key-value transactions and mechanizes them in Rocq on Iris, giving atomic-style separation-logic specs for… | ||
| The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis | POPL 2021 | 2021-01-17 |
Establishes an O(n^3) optimal algorithm for Andersen-style inclusion-based pointer analysis and a matching Ω(n^3) lower bound for even on-demand queries via a… | ||
| nothing matches | ||