Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
probabilistic algorithms
Parf: Adaptive Parameter Refining for Abstract Interpretation
Abstract interpretation is a key formal method for the static analysis of programs. The core challenge in applying abstract …
Zhongyi Wang
,
Linyu Yang
,
Mingshuai Chen
,
Yixuan Bu
,
Zhiyang Li
,
Qiuye Wang
,
Shengchao Qin
,
Xiao Yi
,
Jianwei Yin
Cite
Code
Cite
×
