Session - SC18

Session

· Presenters · Organizations · Search Program · Flagged · Happening Now · Maps · Notifications

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

Session Chairs

Cindy Rubio-González

University of California, Davis

Lawrence Livermore National Laboratory

Lawrence Livermore National Laboratory

Event TypeWorkshop

Registration Categories

Tags

TimeMonday, November 12th9am - 5:30pm

LocationD171

Presentations

9:00am - 9:05am	Introduction - 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018) Organizers Ignacio Laguna Cindy Rubio-González
9:05am - 10:00am	Making Formal Methods for HPC Disappear Presenter Ganesh L. Gopalakrishnan	Correctness Debugging Verification
10:00am - 10:30am	Workshop Morning Break
10:30am - 10:50am	Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software Author/Presenters Alper Altuntas John Baugh	Applications Correctness Verification
10:50am - 11:10am	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	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	Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? Author/Presenter Noah Evans	Correctness Runtime Systems
11:50am - 12:10pm	Incremental Static Race Detection in OpenMP Programs Author/Presenters Bradley Swain Jeff Huang	Correctness Debugging OpenMP Tools
12:10pm - 12:30pm	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	Workshop Lunch (on your own)
2:00pm - 3:00pm	Correctness of Floating Point Programs - Exception Handling and Reproducibility Presenter James Demmel	Correctness Debugging Floating Point
3:00pm - 3:30pm	Workshop Afternoon Break
3:30pm - 3:50pm	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	Toward Deductive Verification of Message-Passing Parallel Programs Author/Presenters Ziqing Luo Stephen F. Siegel	Correctness Debugging MPI Verification
4:10pm - 4:30pm	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	Facilitating the Adoption of Correctness Tools in HPC Applications Panelists Ganesh L. Gopalakrishnan Marcus Schordan Mike Lam