Jérémie Koenig
where else to find them
what they talk about
where they keep going back
- POPL3 editions2022–2025
on a stage with
all 8 in the filters
who talks about the same things
- Ling Zhang4 talks
- Yuting Wang5 talks
- Zhong Shao19 talks
- Youngju Song6 talks
- Adam Chlipala23 talks
- Chung-Kil Hur10 talks
| title | conference | date |
|---|---|---|
| Unifying compositional verification and certified compilation with a three-dimensional(…) | POPL 2025 | 2025-01-19 |
A concrete claim: a three-dimensional algebra of refinement composes module interfaces, abstraction levels, and state views so compiler correctness, linking… | ||
| 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… | ||
| Layered and Object-Based Game Semantics | POPL 2022 | 2022-01-16 |
Presents a concrete game-semantics model where a layer interface is an object type plus an object strategy, implementations are regular maps from underlay to… | ||
| nothing matches | ||