Ling Zhang
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2022–2024
on a stage with
all 6 in the filters
who talks about the same things
- Yuting Wang5 talks
- Jérémie Koenig4 talks
- Zhong Shao19 talks
- Youngju Song6 talks
- Yu Zhang15 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared(…) | PLDI 2025 | 2025-06-16 |
Claim: a verified compiler that compositionally preserves semantics for cooperative multi-threaded C programs that share stack data. Key techniques are… | ||
| Fully Composable and Adequate Verified Compilation with Direct Refinements betwe... | POPL 2024 | 2024-01-14 |
Claims a Kripke Memory Relation (called NGP) that is transitive and absorbs per-pass rely/guarantee conditions so a single direct refinement relates Clight… | ||
| Verified Compilation of C Programs with a Nominal Memory Model | POPL 2022 | 2022-01-16 |
The paper claims a drop-in generalization of CompCert’s block memory model into a nominal memory model that uses atoms/supports to rename and separate blocks… | ||
| Vault Fastly Secret Engine Design and Integration | HashiTalks 2019 | 2019-02-21 |
NYT replaces dozens of static Fastly tokens with a Vault secret engine plugin that generates dynamic short-lived tokens on demand via the Fastly API using an… | ||
| nothing matches | ||