Ruotong Cheng

Orcid: 0009-0004-1857-7251

According to our database1, Ruotong Cheng authored at least 3 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Complete Local Reasoning About Parameterized Programs Over Topologies.
CoRR, May, 2026

Symmetric Proofs of Parameterized Programs.
CoRR, January, 2026

2025
Products of Recursive Programs for Hypersafety Verification.
Proc. ACM Program. Lang., 2025


  Loading...