Ruotong Cheng

Orcid: 0009-0004-1857-7251

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Complete Local Reasoning About Parameterized Programs Over Topologies.

[DOI]

CoRR, May, 2026

Symmetric Proofs of Parameterized Programs.

[DOI]

CoRR, January, 2026

2025

Products of Recursive Programs for Hypersafety Verification.

[DOI]

Proc. ACM Program. Lang., 2025