Ling Zhang

Orcid: 0000-0001-7190-6983

According to our database¹, Ling Zhang authored at least 9 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

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

2024

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

2023

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

[BibT_eX]

[DOI]

Dataset, November, 2023

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

[BibT_eX]

[DOI]

Dataset, October, 2023

A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Verified compilation of C programs with a nominal memory model.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Verified Compilation of C Programs with a Nominal Memory Model (Artifact).

[BibT_eX]

[DOI]

Dataset, October, 2021

Verified Compilation of C Programs with a Nominal Memory Model (Artifact).

[BibT_eX]

[DOI]

Dataset, October, 2021

Ling Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...