Paper Accepted by J. Comput. Sci. Technol.

Our paper has been accepted by Journal of Computer Science and Technology.

Our paper titled “Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis” by Zhongyi Wang, Mingshuai Chen, Tengjie Lin, Linyu Yang, Junhao Zhuo, Qiuye Wang (Fermat Labs, Huawei Inc.), Shengchao Qin (Fermat Labs, Huawei Inc.), Xiao Yi (Fermat Labs, Huawei Inc.), and Jianwei Yin has been accepted for publication at the Journal of Computer Science and Technology. This article launches Parf – a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner.