2 papers
cs.LG2026
SCOPE-FL: A Strategy-proof Chain-based Optimal pareto efficient Federated Learning System
Seyed Salar Ghazi, Kaiwen Zhang, Mehdi feizi +1
Hierarchical Federated Learning (HFL) enables scalable collaborative model training across distributed devices while preserving data privacy. However, existing HFL client selection…
cs.PL2025
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
Kaiwen Zhang, Guanjun Liu
Rust's memory safety guarantees, notably ownership and lifetime systems, have driven its widespread adoption. Concurrency bugs still occur in Rust programs, and existing detection…