Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anders Alnor Mathiasen
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
POPL 2021 profile
Registered user since Wed 20 Aug 2025
Name:
Anders Alnor Mathiasen
Country:
Denmark
Affiliation:
Aarhus University
Contributions
2025
ICFP
Author of Reasoning about Weak Isolation Levels in Separation Logic within the ICFP Papers-track
2022
PLDI
Author of (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis within the SIGPLAN Track-track
2021
POPL
Author of The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis within the POPL-track
Share
x
Mon 27 Oct 16:08