2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DC2025
Enhancing Type Safety in MPI with Rust: A Statically Verified Approach for RSMPI
Nafees Iqbal, Jed Brown
The Message Passing Interface (MPI) is a fundamental tool for building high-performance computing (HPC) applications, enabling efficient communication across distributed systems. D…
cs.SE2022★ 2 cited
Characterizing Virtual Reality Software Testing
Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano +2
Virtual Reality (VR) is an emerging technique that provides a unique real-time experience for users. VR technologies have provided revolutionary user experiences in various scenari…