Author

Zhenghong Yu

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis

FlowLog is demonstrated, a Datalog compiler that turns Souffl\'e-style programs into Differential Dataflow executables for efficient and extensible static analysis and consistently outperforms state-of-the-art engines in runtime while remaining memory-efficient and scaling better.

Zhenghong Yu, Hangdong Zhao, Wanzhu Hou et al. · arXiv.org · 0 citations