Quote: superoptimizer culls bad programs by testing function for some set of inputs; manually inspect what passes

Quotation Skeleton

The idea behind the probabilistic test is simple: … inputs and check whether the outputs match those … It was found in practice that a program … … We can dispense with the boolean test and … programs. This manual check is not difficult since … the author has yet to find an incorrect …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: code optimization by special case analysis (22 items)
Topic: man-machine symbiosis (46 items)