[Midwest PL Summit] Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical



This is a talk at the PurPL Midwest PL Summit.

source

Leave a Reply

Your email address will not be published. Required fields are marked *

Optimized by Optimole