František Farka
where else to find them
what they talk about
where they keep going back
- PriSC2 editions2024–2026
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| WP-Preserving Compilation -- Preserving Weakest Preconditions For End-to-End Verification | PriSC 2026 | 2026-01-11 |
Claims a compilation chain that preserves weakest preconditions by proving source and compiled programs denote bisimilar interaction trees interpreted in Iris… | ||
| Modularizing CPU Semantics for Virtualization | PriSC 2024 | 2024-01-20 |
Proposes a concrete decomposition of ARM ASL into an unprivileged core and a small privileged handler so one common unprivileged semantics can be reused across… | ||
| On Algebraic Abstractions for Concurrent Separation Logics | POPL 2021 | 2021-01-17 |
Defines morphisms of PCMs and separating relations as the concrete algebraic machinery that preserves ownership across parallel composition, then uses them to… | ||
| nothing matches | ||