CryptOpt: Automatic Optimization of Straightline Code.
Joel KuepperDavid WuAndres ErbsenJason GrossOwen ConolyChuyue SunSamuel TianAdam ChlipalaChitchanok ChuengsatiansupDaniel GenkinMarkus WagnerYuval YaromPublished in: ICSE Companion (2023)
Keyphrases
- optimization algorithm
- fully automatic
- optimization method
- global optimization
- optimization process
- source code
- data driven
- optimization strategies
- data sets
- discrete optimization
- joint optimization
- multiple objectives
- constrained optimization
- semi automatic
- optimization problems
- information systems
- artificial intelligence