Karl Palmskog

According to our database, Karl Palmskog authored at least 30 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

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

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Reliably Reproducing Machine-Checked Proofs with the Coq Platform.

Karl Palmskog, Enrico Tassi, Théo Zimmermann

CoRR, 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

Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution.

Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

HOL4P4: semantics for a verified data plane.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog

Proceedings of the 5th International Workshop on P4 in Europe, 2022

2021

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

Specification of the Giskard Consensus Protocol.

Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu

CoRR, 2020

Learning to Format Coq Code Using Language Models.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

CoRR, 2020

Practical Machine-Checked Formalization of Change Impact Analysis.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Deep Generation of Coq Lemma Names Using Elaborated Terms.

Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

QED at Large: A Survey of Engineering of Formally Verified Software.

Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

Found. Trends Program. Lang., 2019

Mutation Analysis for Coq.

Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.

Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan

Proceedings of the 2019 Formal Methods in Computer Aided Design, 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

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Types for Progress in Actor Programs.

Minas Charalambides, Karl Palmskog, Gul Agha

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

A Survey of Statistical Model Checking.

Gul Agha, Karl Palmskog

ACM Trans. Model. Comput. Simul., 2018

piCoq: parallel regression proving for large-scale verification projects.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

A regression proof selection tool for coq.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces.

Gul Agha, Karl Palmskog

Proceedings of the Principles of Modeling, 2018

2017

Inferring Formal Properties of Production Key-Value Stores.

Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan

CoRR, 2017

iCoq: regression proof selection for large-scale verification projects.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2015

Location-independent routing in process network overlays.

Mads Dam, Karl Palmskog

Serv. Oriented Comput. Appl., 2015

A Case Study on Executing Instrumented Code in Java PathFinder.

Karl Palmskog, Farah Hariri, Darko Marinov

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management.

Karl Palmskog

PhD thesis, 2014

2013

ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects.

Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Efficient and fully abstract routing of futures in object network overlays.

Mads Dam, Karl Palmskog

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Secure distributed top-k aggregation.

Kristján Valur Jónsson, Karl Palmskog, Ymir Vigfusson

Proceedings of IEEE International Conference on Communications, 2012

2007

Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication.

Yuri Ismailov, Karl Palmskog, Micael Widell, Petter Arvidsson, YaoShuang Wang

Proceedings of the Fourth European Conference on Universal Multiservice Networks (ECUMN 2007), 2007