1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.SE2025
Preguss: It Analyzes, It Specifies, It Verifies
Zhongyi Wang, Tengjie Lin, Mingshuai Chen +5
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language models (LLMs) have recently demonstrated thei…
cs.SE2025
PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
Zhongyi Wang, Mingshuai Chen, Tengjie Lin +6
We launch Parf - a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. Parf models various types of external parameters (e…
cs.LO2024★ 1 cited
Parf: Adaptive Parameter Refining for Abstract Interpretation
Zhongyi Wang, Linyu Yang, Mingshuai Chen +6
The core challenge in applying abstract interpretation lies in the configuration of abstraction and analysis strategies encoded by a large number of external parameters of static a…