Session - SC17

· Presenters · Organizations · Search Program

Workshop: Correctness 2017: First International Workshop on Software Correctness for HPC Applications

Session Chairs

Cindy Rubio-Gonzalez

University of California, Davis

Ignacio Laguna

Lawrence Livermore National Laboratory

Event TypeWorkshop

Tags

TimeSunday, November 12th9am - 12:30pm

Location501

Presentations

9:00am - 9:10am	Introduction - 1st International Workshop on Software Correctness for HPC Applications (Correctness 2017) Author/Presenters Ignacio Laguna Cindy Rubio González
9:10am - 10:00am	A Verification Language for High Performance Computing Presenter Stephen Siegel
10:00am - 10:30am	Break
10:30am - 10:47am	Verifying Concurrency in an Adaptive Ocean Circulation Model Author/Presenters Alper Altuntas John Baugh
10:47am - 11:04am	Quality Assurance and Error Identification for the Community Earth System Model Author/Presenters Allison H. Baker Daniel J. Milroy Dorit M. Hammerling Haiying Xu
11:04am - 11:21am	A Family of Provably Correct Algorithms for Exact Triangle Counting Author/Presenters Matthew Lee Tze Meng Low
11:21am - 11:38am	Verifying MPI Applications with SimGridMC Author/Presenters The Anh Pham Thierry Jéron Martin Quinson
11:38am - 11:55am	Runtime Correctness Checking for Emerging Programming Paradigms Author/Presenters Joachim Protze Christian Terboven Matthias S. Müller Serge Petiton Nahid Emad Hitoshi Murai Taisuke Boku
11:55am - 12:12pm	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code Author/Presenters Markus Schordan Jan Huckelheim Pei-Hung Lin Harshitha Menon
12:12pm - 12:29pm	Towards Self-Verification in Finite Difference Code Generation Author/Presenters Jan Huckelheim Ziqing Luo Fabio Luporini Navjot Kukreja Michael Lange Gerard Gorman Stephen Siegel Matthew Dwyer Paul Hovland
12:29pm - 12:30pm	Adjourn

Navigation