3 ms·
This technique is only as good as the objective function. In most real world scenarios there is no canonical objective function, nor a comprehensive test suite
by cnkal 10y ago
This technique is only as good as the objective function. In most real world scenarios there is no canonical objective function, nor a comprehensive test suite exercising all branches of the code.
- sanxiyn 10y agoWhile your point about objective function is correct, optimizing compilers still manage just fine with imperfect objective function, and superoptimizers do better. So "as good as objective function" is good enough. This work proves functional equivalence, so no test suite is necessary.
- cnkal 10y ago> optimizing compilers still manage just fine with imperfect objective function, Imperfect or not, optimizing compilers do not require an objective function at all. The majority of computer programs do not have an objective function.
- GFK_of_xmaspast 10y ago> In most real world scenarios there is no canonical objective function How does this claim mesh with this quote from the paper: """Stoke (Schkufza et al., 2013) performs black-box optimization of a cost function on the space of programs, represented as a series of instructions. Each instruction is composed of an opcode, specifying what to execute, and some operands, specifying the corresponding registers. Each given input program T defines a cost function. For a candidate program R called rewrite, the goal is to optimize the following cost function"""