The International Conference for High Performance Computing, Networking, Storage and Analysis

Presentation

· Presenters · Organizations · Search Program

Workshop

: A Verification Language for High Performance Computing

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

Presenter

Stephen Siegel

Event Type

Workshop

Tags

TimeSunday, November 12th9:10am - 10am

Location501

Description

Presenter

Stephen Siegel

University of Delaware