Fu Song

Identifiers

No identifiers captured yet.

Papers (6)

1. Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction cs.CR · 2026 · author #4
2. Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences cs.SE · 2019 · author #2
3. Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks cs.CR · 2019 · author #4
4. Making Agents' Abilities Explicit cs.AI · 2018 · author #2
5. KRust: A Formal Executable Semantics of Rust cs.PL · 2018 · author #2
6. LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Taolue Chen 4 shared papers
• Jun Zhang 2 shared papers
• Pengfei Gao 2 shared papers
• Chundong Wang 1 shared papers
• Feng Wang 1 shared papers
• Hongyi Xie 1 shared papers
• Min Zhang 1 shared papers
• Tayssir Touili 1 shared papers
• Ting Su 1 shared papers
• Xiaoran Zhu 1 shared papers
• Xi Yang 1 shared papers
• Yao Zeng 1 shared papers
• Yedi Zhang 1 shared papers
• Yuqi Chen 1 shared papers
• Zhilin Wu 1 shared papers