Karl Palmskog
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
12
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | VMCAI | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. | Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2025 | TASE | Machine-Checked Compositional Specification and Proofs for Embedded Systems. | Karl Palmskog, Mattias Nyberg, Dilian Gurov |
| 2024 | RE | Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. | Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog |
| 2023 | ITP | Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. | Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann |
| 2022 | CoNEXT | HOL4P4: semantics for a verified data plane. | Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog |
| 2022 | FMCAD | Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. | Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam |
| 2021 | ICSE | Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. | Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric |
| 2020 | CADE | Deep Generation of Coq Lemma Names Using Elaborated Terms. | Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric |
| 2020 | ICSE | mCoq: mutation analysis for Coq verification projects. | Kush Jain, Karl Palmskog, Ahmet elik, Emilio Jess Gallego Arias, Milos Gligoric |
| 2020 | TACAS | Practical Machine-Checked Formalization of Change Impact Analysis. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2019 | FM | Towards a Verified Model of the Algorand Consensus Protocol in Coq. | Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Pea, Grigore Rosu |
| 2019 | FMCAD | Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. | Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan |
| 2018 | ICSE | A regression proof selection tool for coq. | Ahmet elik, Karl Palmskog, Milos Gligoric |
| 2018 | ISSTA | piCoq: parallel regression proving for large-scale verification projects. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2014 | PDP | Location Independent Routing in Process Network Overlays. | Mads Dam, Karl Palmskog |