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"

  • 1. Georgia Institute of Technology

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)