Verifying safety and accuracy of approximate parallel programs via canonical sequentialization
Abstract
We present Parallely, a programming language and a system for verification of approximations in parallel message-passing programs. Parallely's language can express various software and hardware level approximations that reduce the computation and communication overheads at the cost of result accuracy.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 10, 2019
- Source ID
- 10.1145/3360545
Entities
People
- Keyur Joshi
- Sasa Misailovic
- Vimuth Fernando
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Illinois Urbana–Champaign