Verified tensor-program optimization via high-level scheduling rewrites.
Amanda LiuGilbert Louis BernsteinAdam ChlipalaJonathan Ragan-KelleyPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- high level
- low level
- scheduling problem
- optimization algorithm
- dynamic optimization
- higher level
- higher order
- vehicle routing
- intermediate level
- high order
- global optimization
- optimization process
- constrained optimization
- multiple objectives
- optimization problems
- test cases
- resource allocation
- low level features
- lower level
- parallel machines
- computer programs
- programming language
- flexible manufacturing systems