Shuanglong Kan
Identifiers
No identifiers captured yet.
Papers (2)
- Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification cs.PL · 2026 · author #1
- Executable Operational Semantics of Solidity cs.PL · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- David Sanan 1 shared papers
- Jiao Jiao 1 shared papers
- Jun Sun 1 shared papers
- Sebastian Ertel 1 shared papers
- Shang-Wei Lin 1 shared papers
- Yang Liu 1 shared papers