https://xfabian.github.io/publication/2021-formal_verf_spectre 2021-12-07T00:00:00-08:00 https://xfabian.github.io/publications/2022-ccs-automatic-detection-of-speculative-combinations/ 2022-11-07T00:00:00-08:00 https://xfabian.github.io/publication/2024-PriSC-lifting_comp_sec 2024-01-20T00:00:00-08:00 https://xfabian.github.io/publication/2025-POPL-lifting_comp 2025-01-20T00:00:00-08:00 https://xfabian.github.io/ https://xfabian.github.io/categories/ https://xfabian.github.io/collection-archive/ https://xfabian.github.io/page-archive/ https://xfabian.github.io/projects/ https://xfabian.github.io/publications/ https://xfabian.github.io/sitemap/ https://xfabian.github.io/tags/ https://xfabian.github.io/year-archive/ https://xfabian.github.io/markdown_generator/ https://xfabian.github.io/files/ccs22.pdf 2026-11-10T11:48:34-08:00 https://xfabian.github.io/files/ccs22_slides.pdf 2026-11-10T11:48:34-08:00 https://xfabian.github.io/files/plas21.pdf 2026-11-10T11:48:34-08:00 https://xfabian.github.io/files/popl25.pdf 2026-11-10T11:48:34-08:00 https://xfabian.github.io/files/popl25_slides.pdf 2026-11-10T11:48:34-08:00 https://xfabian.github.io/files/prisc24.pdf 2026-11-10T11:48:34-08:00