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

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

Conference Dates: November 12-17, 2017 • Exhibition Dates: November 13-16, 2017
Colorado Convention Center

Navigation

Conference Overview
Technical Program
Exhibition
Attendees
Students@SC
Inclusivity
SCinet
Press
Register
- SC17 Schedule

Presenter

Full Program · Presenters · Organizations · Search Program

Michael Lange

Imperial College, London

Presentations

Workshop

Towards Self-Verification in Finite Difference Code Generation

People with a Workshop pass can attend

Applications

Correctness

Debugging

Reliability

SIGHPC Workshop

Verification

About SC17 · Contact Us · SC17 Planning Committee · SC Steering Committee · Volunteer · SC Conference