39 citations · 39 across the 1 of their papers we have counts for
2 papers
gr-qc2026★ 39 cited
Waveform Modelling for the Laser Interferometer Space Antenna
LISA Consortium Waveform Working Group, Niayesh Afshordi, Sarp Akçay +144
LISA, the Laser Interferometer Space Antenna, will usher in a new era in gravitational-wave astronomy. As the first anticipated space-based gravitational-wave detector, it will exp…
cs.PL2025
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Aleksandr Fedchin, Antero Mejr, Hari Sundar +1
The Message Passing Interface (MPI) is widely used in parallel, high-performance programming, yet writing bug-free software that uses MPI remains difficult. We introduce DafnyMPI,…