Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,670,836 papers from all fields of science
Search
Sign In
Create Free Account
Superoptimization
Superoptimization is the process of finding the optimal code sequence for one, loop-free sequence of instructions. It is performed in and by a type…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Answer set programming
Binary translation
Brute-force search
Clojure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Precondition Inference for Peephole Optimizations in LLVM
David Menendez
,
Santosh Nagarakatte
arXiv.org
2016
Corpus ID: 6240432
Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole…
Expand
2015
2015
Superoptimizer Construction Framework with Efficient Hybrid Search
Aditya V. Thakur
,
R. Bodík
,
Dinakar Dhurjati
2015
Corpus ID: 5714439
A superoptimizer searches for an optimal implementation for a given input program in a target instruction set architecture (ISA…
Expand
2015
2015
Application-Specific Memory Subsystems
Joseph G. Wingbermuehle
2015
Corpus ID: 15332300
OF THE DISSERTATION Application-Specific Memory Subsystems by Joseph G. Wingbermuehle Doctor of Philosophy in Computer Science…
Expand
2011
2011
Using Binary Decision Diagrams to Determine Program Equivalence in a Superoptimizer.
Jesper Särnesjö
2011
Corpus ID: 7544625
A superoptimizer is a tool capable of generating an optimal program that computes a desired function. This thesis describes a…
Expand