AliveInLean: A Verified LLVM Peephole Optimization Verifier.
Juneyoung LeeChung-Kil HurNuno P. LopesPublished in: CAV (2) (2019)
Keyphrases
- optimization problems
- optimization algorithm
- combinatorial optimization
- optimization strategies
- constrained optimization
- global optimization
- objective function
- three dimensional
- search algorithm
- artificial neural networks
- probabilistic model
- optimization method
- information retrieval
- machine learning
- optimization process
- databases
- optimization scheme
- data sets