CryptOpt: Automatic Optimization of Straightline Code.
Joel KuepperAndres ErbsenJason GrossOwen ConolyChuyue SunSamuel TianDavid WuAdam ChlipalaChitchanok ChuengsatiansupDaniel GenkinMarkus WagnerYuval YaromPublished in: CoRR (2023)
Keyphrases
- optimization problems
- optimization algorithm
- evolution strategy
- data driven
- fully automatic
- global optimization
- optimization procedure
- optimization methods
- optimization method
- combinatorial optimization
- joint optimization
- database
- optimal design
- optimization process
- source code
- software engineering
- hidden markov models
- decision trees
- information systems
- real time