Abstract is missing.
- The MPI Bugs Initiative: a Framework for MPI Verification Tools EvaluationMathieu Laurent, Emmanuelle Saillard, Martin Quinson. 1-9 [doi]
- Finding large Poisson polynomials using four-level variable precisionDavid H. Bailey. 1-8 [doi]
- High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBenchPei-Hung Lin, Chunhua Liao. 1-8 [doi]
- Guarding Numerics Amidst Rising HeterogeneityGanesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock. 9-15 [doi]
- OpenRace: An Open Source Framework for Statically Detecting Data RacesBradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang 0001. 25-32 [doi]
- Understanding the Performance of Dynamic Data Race DetectionJoachim Protze, Isabel Thärigen, Jonas Wahle. 33-40 [doi]