Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving.
Fangke YeJisheng ZhaoJun ShirakoVivek SarkarPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- machine learning
- combinatorial optimization
- discrete optimization
- quadratic programming
- pattern recognition
- nonlinear programming
- optimization method
- convex optimization problems
- optimization approaches
- explanation based learning
- optimization process
- probabilistic inference
- global optimization
- statistical methods
- bayesian networks
- optimization problems
- support vector machine
- learning problems
- statistical inference
- statistical machine translation
- reinforcement learning
- computer vision
- learning tasks
- information extraction
- natural language processing
- machine learning methods
- optimization algorithm
- dual decomposition
- convex optimization
- learning algorithm
- feature selection
- genetic algorithm
- decision trees
- computer science
- inductive logic programming
- data mining
- machine learning algorithms
- linear programming