Lasse Møldrup

According to our database, Lasse Møldrup authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

The Complexity of Testing Message-Passing Concurrency.

Zheng Shi, Lasse Møldrup, Umang Mathur, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2026

2025

Testing Message-Passing Concurrency.

Zheng Shi, Lasse Møldrup, Umang Mathur, Andreas Pavlogiannis

CoRR, May, 2025

AWDIT: An Optimal Weak Database Isolation Tester.

Lasse Møldrup, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2025