https://paulkrog.github.io/ https://paulkrog.github.io/assets/cv-2-page-limited.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/assets/cv.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/CoqPL18.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/DSLSynth.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/DecAccPOPL21.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/DecUnintSynthArxiv.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/DecUnintSynthCav20.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/LasOOPSLA22.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/LearningFormulasPOPL22.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/MemSafePOPL20.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/MetaTheorem.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/changed.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/main-1-24.pdf 2026-01-27T14:16:29+00:00 https://paulkrog.github.io/papers/vdp.pdf 2026-01-27T14:16:29+00:00