All Stories

  1. The Complexity of Testing Message-Passing Concurrency

    Article • Proceedings of the ACM on Programming Languages, January 2026, ACM (Association for Computing Machinery)

    Umang Mathur, Lasse Møldrup

  2. Supercharging the Testing of Database Software

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Lasse Møldrup