Paper Accepted by J. Comput. Sci. Technol.

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.