Keeping Science on Keel When Software Moves
An approach to reproducibility problems related to porting software across machines and compilers.
Keeping Science on Keel When Software Moves
Formal Analysis of MPI-Based Parallel Programs
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved