Antero Mejr

According to our database, Antero Mejr authored at least 1 paper in 2026.

Collaborative distances:

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

2026

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs.

Aleksandr Fedchin, Antero Mejr, Hari Sundar, Jeffrey S. Foster

Proc. ACM Program. Lang., 2026