Junwei Xu

2 papers · 2016–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (15)

Conferences

AAAI (1) NSDI (1)

Top co-authors

Yang Wang (1) Haochuan Fan (1) Zhengping Qian (1) Wei LIN (1) Sen Yang (1) Dongming Xiang (1) Zuohua Ding (1) Lidong Zhou (1) Xiongqi Zhang (1) Jingren Zhou (1)

Keywords

formal verification (1) cyber-physical system (1) kolmogorov-arnold network (1) formal synthesis (1) neural network (1) barrier certificate (1)

Papers

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025

StreamScope: Continuous Reliable Distributed Processing of Big Data Streams NSDI 2016