- to call her
system a
superoptimizer,
which is
actually an
optimizer to find an
optimal program. In 1992, the GNU
Superoptimizer (GSO) was
developed to...
-
artificial intelligence pioneer Marvin Minsky. M****alin,
Henry (1987). "
Superoptimizer: A look at the
smallest program" (PDF). ACM
SIGARCH Computer Architecture...
- [presented earlier] can be
implemented as the following:[C example]" "A
Superoptimizer Analysis of
Multiway Branch Code Generation" by
Roger Anthony Sayle...
-
Retrieved 26
November 2015. Sayle,
Roger Anthony (June 17, 2008). "A
Superoptimizer Analysis of
Multiway Branch Code Generation" (PDF).
Proceedings of the...
- only at run-time. One such
static binary translator uses
universal superoptimizer peephole technology (developed by
Sorav Bansal and Alex
Aiken from Stanford...
-
pages 115–146.) M****alin,
Henry (October 1987). Katz,
Randy (ed.). "
Superoptimizer: A look at the
smallest program" (PDF). ACM
SIGOPS Operating Systems...
- specification. However,
program synthesis also has
applications to
superoptimization and
inference of loop invariants.
During the
Summer Institute of Symbolic...
-
improve the result; they have no
pretense of
producing optimal output.
Superoptimization is the
process of
finding truly optimal output.
Optimization can occur...
- Nelson, Greg; Randall,
Keith (2002-05-17). "Denali: a goal-directed
superoptimizer". ACM
SIGPLAN Notices. 37 (5): 304–314. doi:10.1145/543552.512566. ISSN 0362-1340...
-
cruft Tree
shaking Post-p****
optimization Profile-guided
optimization Superoptimizer Function multi-versioning Malavolta,
Ivano et al. “JavaScript Dead Code...
