[hpc-announce] Correctness 2018 @ SC18 - Call for Participation

Laguna Peralta, Ignacio lagunaperalt1 at llnl.gov
Mon Nov 5 17:58:36 CST 2018

Correctness 2018: Second International Workshop on Software
Correctness for HPC Applications

Held in conjunction with SC18 - November 12, 2018

Ensuring correctness in HPC applications is one of the fundamental 
challenges that the HPC community faces today. While significant 
advances in debugging, verification, and testing have been made to 
isolate software defects in the context of non-HPC software, several 
factors make achieving correctness in HPC applications and systems much 
more challenging than in general systems: growing heterogeneity, massive 
scale computations, use of combined parallel programing models, new 
scalable numerical algorithms, and aggressive compiler 

The goal of the Correctness Workshop is to bring together researchers 
and developers to present and discuss novel ideas to address the problem 
of correctness in HPC. The workshop will feature contributed papers and 
invited talks.

Location: Kay Bailey Hutchison Convention Center, Room D171 (Level 1)

== Workshop Schedule ==

== Keynote 1 ==
09:00am - 09:05am: Opening remarks
09:05am - 10:00am: Keynote Speaker 1: "Making Formal Methods for HPC 
Disappear", Ganesh L. Gopalakrishnan

== Break ==
10:00am - 10:30am: Break (coffee provided by SC18)

== Applications Correctness ==
10:30am - 10:50am: Hybrid Theorem Proving as a Lightweight Method for 
Verifying Numerical Software
10:50am - 11:10am: HPC Software Verification in Action: A Case Study 
with Tensor Transposition

== Parallel Tasking ==
11:10am - 11:30am: Correctness of Dynamic Dependence Analysis for 
Implicitly Parallel Tasking Systems
11:30am - 11:50am: Verifying Qthreads: Is Model Checking Viable for User 
Level Tasking Runtimes?

== OpenMP Data Race Detection ==
11:50am - 12:10pm: Incremental Static Race Detection in OpenMP Programs
12:10pm - 12:30pm: Using Polyhedral Analysis to Verify OpenMP 
Applications are Data Race Free

== Lunch Break ==
12:30pm - 02:00pm: Lunch (on your own)

== Keynote 2 ==
02:00pm - 03:00pm: Keynote Speaker 2: "Correctness of Floating Point 
Programs - Exception Handling and Reproducibility", James Demmel

== Break ==
03:00pm - 03:30pm: Break (coffee provided by SC18)

== Message-Passing Correctness ==
03:30pm - 03:50pm: Compiler-Aided Type Tracking for Correctness Checking 
of MPI Applications
03:50pm - 04:10pm: Towards Deductive Verification of Message-Passing 
Parallel Programs
04:10pm - 04:30pm: PARCOACH Extension for a Full-Interprocedural 
Collectives Verification

== Panel ==
04:30pm - 05:30pm: Facilitating the Adoption of Correctness Tools in HPC 
Alper Altuntas, National Center for Atmospheric Research
Ganesh Gopalakrishnan, University of Utah
Mike Lam, James Madison University
Markus Schordan, LLNL

=== More Information ===


Ignacio Laguna, Lawrence Livermore National Laboratory, ilaguna at llnl.gov
Cindy Rubio-González, University of California, Davis, crubio at ucdavis.edu
Workshop Organizers

More information about the hpc-announce mailing list