1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2025★ 1 cited
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…
cs.LG2024
HORAE: A Domain-Agnostic Language for Automated Service Regulation
Yutao Sun, Mingshuai Chen, Tiancheng Zhao +8
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are often tailored to specific application domai…