search-icon
Workshop: 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)
Event TypeWorkshop
Registration Categories
W
Tags
Correctness
Debugging
Verification
TimeMonday, November 12th9am - 5:30pm
LocationD171
Presentations
9:00am - 9:05amIntroduction - 2nd International Workshop on Software Correctness for HPC Applications (Correctness 2018)
9:05am - 10:00amMaking Formal Methods for HPC Disappear
Correctness
Debugging
Verification
10:00am - 10:30amWorkshop Morning Break
10:30am - 10:50amHybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software
Author/Presenters
Applications
Correctness
Verification
10:50am - 11:10amHPC Software Verification in Action: A Case Study with Tensor Transposition
Applications
Correctness
Verification
11:10am - 11:30amCorrectness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems
Correctness
Runtime Systems
11:30am - 11:50amVerifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?
Author/Presenter
Correctness
Runtime Systems
11:50am - 12:10pmIncremental Static Race Detection in OpenMP Programs
Author/Presenters
Correctness
Debugging
OpenMP
Tools
12:10pm - 12:30pmUsing Polyhedral Analysis to Verify OpenMP Applications Are Data Race Free
Correctness
Debugging
OpenMP
Tools
12:30pm - 2:00pmWorkshop Lunch (on your own)
2:00pm - 3:00pmCorrectness of Floating Point Programs - Exception Handling and Reproducibility
Presenter
Correctness
Debugging
Floating Point
3:00pm - 3:30pmWorkshop Afternoon Break
3:30pm - 3:50pmCompiler-Aided Type Tracking for Correctness Checking of MPI Applications
Correctness
Debugging
MPI
Verification
3:50pm - 4:10pmToward Deductive Verification of Message-Passing Parallel Programs
Correctness
Debugging
MPI
Verification
4:10pm - 4:30pmPARCOACH Extension for a Full-Interprocedural Collectives Verification
Correctness
Debugging
MPI
Verification
4:30pm - 5:30pmFacilitating the Adoption of Correctness Tools in HPC Applications
Back To Top Button