Ling Zhang

Orcid: 0000-0001-7190-6983

Affiliations:

Shanghai Jiao Tong University, China

According to our database¹, Ling Zhang authored at least 10 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

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

[BibT_eX]

[DOI]

Dataset, 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...