Session • SC21

· Contributors · Organizations · Search Program

Workshop: Correctness 2021: 5th International Workshop on Software Correctness for HPC Applications

Session Chairs

Lawrence Livermore National Laboratory

Cindy Rubio-González

University of California, Davis

Event TypeWorkshop

Tags

Registration Categories

TimeFriday, 19 November 20218:30am - 12pm CST

LocationOnline

Presentations

8:30am - 8:40am CST	Correctness 2021: 5th International Workshop on Software Correctness for HPC Applications Organizers Ignacio Laguna Cindy Rubio-González
8:40am - 9:00am CST	Finding Large Poisson Polynomials Using Four-Level Variable Precision Author/Presenter David H. Bailey	Correctness
9:00am - 9:20am CST	Guarding Numerics Amidst Rising Heterogeneity Author/Presenters Ganesh Gopalakrishnan Ignacio Laguna Ang Li Pavel Panchekha Cindy Rubio-Gonzalez Zachary Tatlock	Correctness Heterogeneous Systems
9:20am - 9:40am CST	The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation Author/Presenters Mathieu Laurent Emmanuelle Saillard Martin Quinson	Correctness Parallel Programming Languages and Models
9:40am - 10:00am CST	OpenRace: An Open Source Framework for Statically Detecting Data Races Author/Presenters Bradley Swain Jeff Huang Bozhen Liu Peiming Liu Yanze Li Addison Crump Rohan Khera	Correctness Parallel Programming Languages and Models
10:00am - 10:30am CST	Correctness Workshop: Morning Break Presenter Ignacio Laguna
10:30am - 10:50am CST	Performance of Dynamic Data Race Detection Author/Presenters Joachim Protze Isabel Thärigen Jonas Wahle	Correctness Parallel Programming Languages and Models
10:50am - 11:10am CST	High-Precision Evaluation of Both Static and Dynamic Tools Using DataRaceBench Author/Presenters Pei-Hung Lin Chunhua Liao	Correctness Parallel Programming Languages and Models
11:10am - 12:00pm CST	Building a Bug Hunting Competition for HPC Correctness Moderator Ignacio Laguna Panelists Cindy Rubio-Gonzalez Martin Quinson Chunhua Liao Joachim Protze Markus Schordan