Youngju Song
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
all 15 in the filters
who talks about the same things
- Minki Cho6 talks
- Chung-Kil Hur10 talks
- Dongjae Lee5 talks
- Michael Sammler16 talks
- Lennard Gäher7 talks
- Zhong Shao19 talks
| title | conference | date |
|---|---|---|
| Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting | POPL 2025 | 2025-01-19 |
Archmage defines a memory model that uses lazy valuation for int→ptr casts so the integer keeps its value until a pointer interpretation is required, allowing… | ||
| Stuttering for Free | OOPSLA 2023 | 2023-10-23 |
Presents FreeSim, a new stuttering-simulation technique mechanized in Coq that replaces the usual “synchronous progress” requirement with asynchronous… | ||
| Fair Operational Semantics | PLDI 2023 | 2023-06-17 |
Proposes FOS, an operational semantics that can encode arbitrary fairness notions and gives a concrete proof technique: a fairness counter that drops on bad… | ||
| Conditional Contextual Refinement | POPL 2023 | 2023-01-15 |
A new refinement notion, Conditional Contextual Refinement (CCR), combines separation-logic pre/post conditions with transitive contextual refinement by… | ||
| DimSum: A Decentralized Approach to Multi-language Semantics and Verification | POPL 2023 | 2023-01-15 |
DimSum presents a decentralized method that avoids fixing a source language, memory model, or closed set of languages by giving each language a… | ||
| nothing matches | ||