Presenter

Full Program · · Organizations · Search Program

Stephen Siegel

University of Delaware

Presentations

Workshop

A Verification Language for High Performance Computing

ACM Student Research Competition

Poster

Reception

P83: Contracts for Message-Passing Programs

Workshop

Towards Self-Verification in Finite Difference Code Generation