Yalun Liang

According to our database¹, Yalun Liang authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

CompCertOC: Verified Compositional Compilation of Multi-Threaded Programs with Shared Stacks.

[BibT_eX]

[DOI]

Dataset, March, 2025

CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2023

A Coq Library of Sets for Teaching Denotational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023