default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLing Zhang 0012
Person information
- affiliation: Shanghai Jiao Tong University, China
Other persons with the same name
- Ling Zhang — disambiguation page
- Ling Zhang 0001 — Anhui University, Department of Computer Science, China (and 1 more)
- Ling Zhang 0002
![[0000-0001-8371-5252]](/https://anthro-https-dblp.org/img/orcid-mark.12x12.png "0000-0001-8371-5252")
— Nvidia Corporation, Bethesda, MD, USA (and 1 more) - Ling Zhang 0003 — Ocean University of China, College of Engineering, Qingdao, China
- Ling Zhang 0004 — Guangdong University of Technology, Faculty of Computer Science and Technology, Guangzhou, China
- Ling Zhang 0005 — South China University of Technology, School of Computer Science and Engineering, Guangzhou, China
- Ling Zhang 0006 — Jilin University, College of Geo-Exploration Science and Technology / Key Laboratory of Applied Geophysics, Changchun, China
- Ling Zhang 0007 — Pennsylvania State University, Department of Statistics, University Park, PA, USA
- Ling Zhang 0008 — China Electronics Technology Group Corporation, 30th Research Institute, China
- Ling Zhang 0009 — Nanjing Normal University, MoE Key Laboratory of Virtual Geographic Environment, China
- Ling Zhang 0010 — ShanghaiTech University, School of Information Science and Technology, China (and 1 more)
- Ling Zhang 0011 — Zhejiang University, College of Information Science and Electronic Engineering, Hangzhou, China (and 1 more)
- Ling Zhang 0013 — Wuhan University of Science and Technology, School of Computer Science and Technology, China
- Ling Zhang 0014 — Yunnan University, Institute of Technology, Dianchi College, Kunming, China
- Ling Zhang 0015 — University of North Carolina at Chapel Hill, School of Education, NC, USA (and 1 more)
- Ling Zhang 0016 — Shanghai Jiao Tong University, Department of Electronic Engineering, China
- Ling Zhang 0017 — Wuhan University of Science and Technology, School of Computer Science, China (and 1 more)
- Ling Zhang 0018 — University of Sydney, Faculty of Medicine and Health, School of Nursing, NSW, Australia
Other persons with a similar name
- Zhang-Ling Chen (aka: Zhangling Chen) — Tianjin University, Center for Applied Mathematics, China
- Chengling Zhang (aka: Cheng-Ling Zhang) — disambiguation page
- Junling Zhang (aka: Jun-ling Zhang, Jun-Ling Zhang) — disambiguation page
- Ling-Xiao Zhang
- Lingyu Zhang (aka: Ling-Yu Zhang) — disambiguation page
- Min-Ling Zhang
- Xiao-Ling Zhang
- Xiuling Zhang (aka: Xiu-Ling Zhang) — disambiguation page
- Yaling Zhang (aka: Ya-Ling Zhang) — disambiguation page
- Qingling Zhang 0001 (aka: Qing-Ling Zhang 0001) — Northeastern University, State Key Laboratory of Synthetical Automation for Process Industries, Shenyang, China (and 1 more)
- show all similar names
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
2020 – today
- 2025
[j3]Ling Zhang, Yuting Wang, Yalun Liang, Zhong Shao:
CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks. Proc. ACM Program. Lang. 9(PLDI): 651-674 (2025)- [d6]Ling Zhang, Yuting Wang, Yalun Liang, Zhong Shao:
CompCertOC: Verified Compositional Compilation of Multi-Threaded Programs with Shared Stacks. Version 1. Zenodo, 2025 [all versions]
- [d5]Ling Zhang, Yuting Wang, Yalun Liang, Zhong Shao:
CompCertOC: Verified Compositional Compilation of Multi-Threaded Programs with Shared Stacks. Version 2. Zenodo, 2025 [all versions] - 2024
- [j2]Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao:
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Proc. ACM Program. Lang. 8(POPL): 2160-2190 (2024) - 2023
- [d4]Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao:
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Version 1. Zenodo, 2023 [all versions] - [d3]Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao:
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Version 2. Zenodo, 2023 [all versions] - [i1]Ling Zhang, Yuting Wang, Jérémie Koenig, Zhong Shao:
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation. CoRR abs/2302.12990 (2023) - 2022
- [j1]Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig:
Verified compilation of C programs with a nominal memory model. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - 2021
- [d2]Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig:
Verified Compilation of C Programs with a Nominal Memory Model (Artifact). Version 0.1. Zenodo, 2021 [all versions] - [d1]Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig:
Verified Compilation of C Programs with a Nominal Memory Model (Artifact). Version 0.2. Zenodo, 2021 [all versions]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-07-12 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
