Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Heng-Feng Wei

View on Semantic Scholar

2 papers 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.

Preprint Sep 2026

Distribution-Aware Distributed Database Testing (Extended Version)

DAT (Distribution-Aware Testing) is proposed, a novel automated approach for detecting query-processing bugs related to distribution strategies and distributed optimizations in DDBMSs, by systematically leveraging distribution-aware information throughout the testing pipeline.

Zhou Zhou, Si Liu, Heng-Feng Wei et al. · 0 citations
Book Open access Sep 2026

I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols

Distributed protocols are notoriously difficult to verify correctly. Proving safety typically requires inductive invariants that both imply the desired property and are preserved by every protocol transition; yet inferring such invariants remains a major bottleneck: existing approaches either restrict the protocol mode...

Wei-Ning Cao, Guang-Yuan Wu, Yuan Yao et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.