Published September 10, 2023
| Version v1.0.0
Software
Open
Code for the Paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving"
Description
Code for the paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving".
Files
fkye/cti-ml-smt-v1.0.0.zip
Files
(3.4 MB)
Name | Size | Download all |
---|---|---|
md5:9d0ee0df5e78679e8fbea76ecd100d8c
|
3.4 MB | Preview Download |
Additional details
Related works
- Is derived from
- https://github.com/fkye/cti-ml-smt/tree/v1.0.0 (URL)
- Is supplement to
- 10.1145/3622825 (DOI)
- References
- 10.5281/zenodo.8330329 (DOI)