Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Xin-Tao Niu

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.

#software testing Book Open access Oct 2026

Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds

SIBS is the first semantics-aware scheduling framework for incremental builds across configurations, addressing both inaccurate cost estimation and the limitations of greedy scheduling, and demonstrates that semantics-aware cost modeling and global scheduling provide substantial and robust efficiency gains across diver...

Xiao-Long Dai, Shan-Shan Li, Jun Lyu et al. · 0 citations
Open access Oct 2026

Automated Debugging of Datalog Programs

Datalog has become a widely adopted language in program analysis, security, and data-intensive systems. However, debugging Datalog programs remains fundamentally challenging due to their declarative semantics, lack of explicit control flow, and massive scale of derived facts. Existing approaches, such as inspecting pro...

Jia-Shen Wei, Bao-Yuan Luo, Run-Shuo Xie 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.