Jiang, Jianfeng
- RULF: Rust Library Fuzzing via API Dependency Graph Traversal
2021/04/25 by Jiang, Jianfeng, Xu, Hui, Zhou, Yangfan · 5 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Flavor Physics at the CEPC: a General Perspective
2024/12/27 by X. Ai, Ai, Xiaocong, Wolfgang Altmannshofer +234 · 10 citations
Physics and Astronomy · Engineering · #Particle physics theoretical and experimental studies #Particle Detector Development and Performance #Particle Accelerators and Free-Electron Lasers
- New Physics Search at the CEPC: a General Perspective
2025/05/30 by Ai, Xiaocong, Antusch, Stefan, Athron, Peter +211 · 13 citations
#FOS: Physical sciences #High Energy Physics - Experiment (hep-ex) #High Energy Physics - Phenomenology (hep-ph)
- Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
2025/06/04 by Yuke Peng, Peng, Yuke, Hongliang Tian +23 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Operating Systems (cs.OS) #Real-Time Systems Scheduling #Security and Verification in Computing