Session – SC18

· Presenters · Organizations · Search Program

Workshop

: 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)

Session Chairs

Lawrence Livermore National Laboratory (LLNL)

Cindy Rubio-González

University of California, Davis

Event Type

Workshop

Tags

Registration Categories

TimeMonday, November 12th9:00am - 5:30pm CST

LocationD171

Presentations

9:00am - 9:05am CST	Introduction - 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018) Organizers Ignacio Laguna Cindy Rubio-González
9:05am - 10:00am CST	Making Formal Methods for HPC Disappear Presenter Ganesh L. Gopalakrishnan	Correctness Debugging Verification
10:00am - 10:30am CST	Workshop Morning Break
10:30am - 10:50am CST	Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software Author/Presenters Alper Altuntas John Baugh	Applications Correctness Verification
10:50am - 11:10am CST	HPC Software Verification in Action: A Case Study with Tensor Transposition Author/Presenters Erdal Mutlu Ajay Panyala Sriram Krishnamoorthy	Applications Correctness Verification
11:10am - 11:30am CST	Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems Author/Presenters Wonchan Lee George Stelle Patrick McCormick Alex Aiken	Correctness Runtime Systems
11:30am - 11:50am CST	Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? Author/Presenter Noah Evans	Correctness Runtime Systems
11:50am - 12:10pm CST	Incremental Static Race Detection in OpenMP Programs Author/Presenters Bradley Swain Jeff Huang	Correctness Debugging OpenMP Tools
12:10pm - 12:30pm CST	Using Polyhedral Analysis to Verify OpenMP Applications Are Data Race Free Author/Presenters Fangke Ye Markus Schordan Chunhua Liao Pei-Hung Lin Ian Karlin Vivek Sarkar	Correctness Debugging OpenMP Tools
12:30pm - 2:00pm CST	Workshop Lunch (on your own)
2:00pm - 3:00pm CST	Correctness of Floating Point Programs - Exception Handling and Reproducibility Presenter James Demmel	Correctness Debugging Floating Point
3:00pm - 3:30pm CST	Workshop Afternoon Break
3:30pm - 3:50pm CST	Compiler-Aided Type Tracking for Correctness Checking of MPI Applications Author/Presenters Alexander Hück Jan-Patrick Lehr	Correctness Debugging MPI Verification
3:50pm - 4:10pm CST	Toward Deductive Verification of Message-Passing Parallel Programs Author/Presenters Ziqing Luo Stephen F. Siegel	Correctness Debugging MPI Verification
4:10pm - 4:30pm CST	PARCOACH Extension for a Full-Interprocedural Collectives Verification Author/Presenters Emmanuelle Saillard Pierre Huchant Denis Barthou Hugo Brunie Patrick Carribault	Correctness Debugging MPI Verification
4:30pm - 5:30pm CST	Facilitating the Adoption of Correctness Tools in HPC Applications Panelists Ganesh L. Gopalakrishnan Marcus Schordan Mike Lam