Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication. - Yuri Ismailov; Karl Palmskog; Micael Widell; Petter Arvidsson; YaoShuang Wang (ECUMN, 2007)

Secure distributed top-k aggregation. - Kristján Valur Jónsson; Karl Palmskog; Ymir Vigfusson (ICC, 2012)

Efficient and fully abstract routing of futures in object network overlays. - Mads Dam; Karl Palmskog (AGERE!@SPLASH, 2013)

ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. - Karl Palmskog; Mads Dam; Andreas Lundblad; Ali Jafari (ICE, 2013)

Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management. - Karl Palmskog (2014)

A Case Study on Executing Instrumented Code in Java PathFinder. - Karl Palmskog; Farah Hariri; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2015)

Location-independent routing in process network overlays. - Mads Dam; Karl Palmskog (Serv. Oriented Comput. Appl., 2015)

iCoq: regression proof selection for large-scale verification projects. - Ahmet Çelik; Karl Palmskog; Milos Gligoric 001 (ASE, 2017)

Inferring Formal Properties of Production Key-Value Stores. - Edgar Pek; Pranav Garg 001; Muntasir Raihan Rahman; Karl Palmskog; Indranil Gupta; P. Madhusudan (CoRR, 2017)

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. - Gul Agha; Karl Palmskog (Principles of Modeling, 2018)

A regression proof selection tool for coq. - Ahmet Çelik; Karl Palmskog; Milos Gligoric 001 (ICSE (Companion Volume), 2018)

piCoq: parallel regression proving for large-scale verification projects. - Karl Palmskog; Ahmet Çelik; Milos Gligoric 001 (ISSTA, 2018)

A Survey of Statistical Model Checking. - Gul Agha; Karl Palmskog (ACM Trans. Model. Comput. Simul., 2018)

Types for Progress in Actor Programs. - Minas Charalambides; Karl Palmskog; Gul Agha (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Towards a Verified Model of the Algorand Consensus Protocol in Coq. - Musab A. Alturki; Jing Chen; Victor Luchangco; Brandon M. Moore; Karl Palmskog; Lucas Peña; Grigore Rosu (FM Workshops (1), 2019)

Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. - Faria Kalim; Karl Palmskog; Jayasi Mehar; Adithya Murali; Indranil Gupta; P. Madhusudan (FMCAD, 2019)

Mutation Analysis for Coq. - Ahmet Çelik; Karl Palmskog; Marinela Parovic; Emilio Jesús Gallego Arias; Milos Gligoric 001 (ASE, 2019)

QED at Large: A Survey of Engineering of Formally Verified Software. - Talia Ringer; Karl Palmskog; Ilya Sergey; Milos Gligoric 001; Zachary Tatlock (Found. Trends Program. Lang., 2019)

Deep Generation of Coq Lemma Names Using Elaborated Terms. - Pengyu Nie 001; Karl Palmskog; Junyi Jessy Li; Milos Gligoric 001 (IJCAR (2), 2020)

mCoq: mutation analysis for Coq verification projects. - Kush Jain; Karl Palmskog; Ahmet Çelik; Emilio Jesús Gallego Arias; Milos Gligoric 001 (ICSE (Companion Volume), 2020)

Practical Machine-Checked Formalization of Change Impact Analysis. - Karl Palmskog; Ahmet Çelik; Milos Gligoric 001 (TACAS (2), 2020)

Learning to Format Coq Code Using Language Models. - Pengyu Nie 001; Karl Palmskog; Junyi Jessy Li; Milos Gligoric 001 (CoRR, 2020)

Specification of the Giskard Consensus Protocol. - Elaine Li; Karl Palmskog; Mircea Sebe; Grigore Rosu (CoRR, 2020)

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. - Pengyu Nie 001; Karl Palmskog; Junyi Jessy Li; Milos Gligoric 001 (ICSE (Companion Volume), 2021)

HOL4P4: semantics for a verified data plane. - Anoud Alshnakat; Didrik Lundberg; Roberto Guanciale; Mads Dam; Karl Palmskog (EuroP4@CoNEXT, 2022)

Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. - Karl Palmskog; Xiaomo Yao; Ning Dong; Roberto Guanciale; Mads Dam (FMCAD, 2022)

VLSM: Validating Labelled State Transition and Message Production Systems. - Vlad Zamfir; Mihai Calancea; Denisa Diaconescu; Brandon M. Moore; Karl Palmskog; Traian-Florin Serbanuta; Michael Stay (CoRR, 2022)

Reliably Reproducing Machine-Checked Proofs with the Coq Platform. - Karl Palmskog; Enrico Tassi; Théo Zimmermann (CoRR, 2022)

Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report. - Gustav Ung; Jesper Amilon; Dilian Gurov; Christian Lidström; Mattias Nyberg; Karl Palmskog (RE, 2024)

Machine-Checked Compositional Specification and Proofs for Embedded Systems. - Karl Palmskog; Mattias Nyberg; Dilian Gurov (TASE, 2025)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA. - Karl Palmskog; Andreas Lindner; Scott Constable; Roberto Guanciale; Hamed Nemati (CoRR, 2025)

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. - Ana de Almeida Borges; Annalí Casanueva Artís; Jean-Rémy Falleri; Emilio Jesús Gallego Arias; Érik Martin-Dorel; Karl Palmskog; Alexander Serebrenik; Théo Zimmermann (J. Autom. Reason., 2025)