Explore[Midwest PL Summit] Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical marketamerica.market1 year ago01 minsThis is a talk at the PurPL Midwest PL Summit. source Read More