Parallelizing Sequential Programs with Statistical Accuracy Tests
We present QuickStep, a novel system for parallelizing sequential programs. Unlike standard parallelizing compilers (which are designed to preserve the semantics of the original sequential computation), QuickStep is instead designed to generate (potentially nondeterministic) parallel programs that p...
Main Authors: | Misailovic, Sasa (Contributor), Kim, Deokhwan (Contributor), Rinard, Martin C. (Contributor) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor) |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM),
2015-02-06T17:11:22Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014) -
Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012) -
Randomized accuracy-aware program transformations for efficient approximate computations
by: Misailovic, Sasa, et al.
Published: (2012) -
Accuracy-aware optimization of approximate programs
by: Misailović, Saša
Published: (2016) -
Probabilistically Accurate Program Transformations
by: Misailovic, Sasa, et al.
Published: (2012)