Get started
Author

Lasse Møldrup

Observed name: Møldrup, Lasse
Institution: Aarhus University
Observed institution: Aarhus University
ORCID: 0009-0005-9670-7039
Observed ORCID: 0009-0005-9670-7039
OpenAlex ID: A5118196328
AWDIT: An Optimal Weak Database Isolation Tester
2025 · Lasse Møldrup, Andreas Pavlogiannis · Proceedings of the ACM on Programming Languages · 5
PDF
The Complexity of Testing Message-Passing Concurrency
2026 · Zheng Shi, Lasse Møldrup, et al. · Proceedings of the ACM on Programming Languages · 2
AWDIT: An Optimal Weak Database Isolation Tester
2025 · Møldrup, Lasse, Pavlogiannis, Andreas · arXiv (Cornell University)
PDF
Works count: 6
Citation count: 9
H-index: 2
I10-index:
Year
Topic
Type